7.1 类型转换ECMAScript 语言会根据需要隐式执行自动类型转换。为了阐明某些构造的语义，定义一组转换抽象操作 抽象操作 ECMAScript 语言类型
BigInt 类型
7.1.1 ToPrimitive ( input [ , preferredType ] )抽象操作 input (ECMAScript 语言值 preferredType ((string 或 number ))；返回值：(正常完成 ECMAScript 语言值 input 参数转换为非 Object 类型 preferredType 来优先选择该类型。 调用时执行以下步骤：
如果 input 是 Object，则令 exoticToPrimitive 为 ? GetMethod input , %Symbol.toPrimitive% 如果 exoticToPrimitive 不是 undefined ，则如果不存在 preferredType ，则令 hint 为 "default" 。 否则如果 preferredType 是 string ，则令 hint 为 "string" 。 否则，断言 preferredType 是 number 。令 hint 为 "number" 。 令 result 为 ? Call exoticToPrimitive , input , « hint »)。 如果 result 不是 Object，则返回 result 。 抛出 TypeError 异常。 如果不存在 preferredType ，则将 preferredType 设置为 number 。 返回 ? OrdinaryToPrimitive input , preferredType )。 返回 input 。 注
当调用 ToPrimitive 时没有提供提示，它通常表现得如同提示为 number 。但是，对象可以通过定义 %Symbol.toPrimitive% 覆盖 21.4.4.45 20.4.3.5 覆盖 string 。
7.1.1.1 OrdinaryToPrimitive ( obj , hint )抽象操作 obj (Object) 和 hint ((string 或 number ))；返回值：(正常完成 ECMAScript 语言值
如果 hint 是 string ，则令 methodNames 为 « "toString" , "valueOf" »。 否则，令 methodNames 为 « "valueOf" , "toString" »。 对 methodNames 的每个元素 name ，执行令 method 为 ? Get obj , name )。 如果 IsCallable method ) 是 true ，则令 result 为 ? Call method , obj )。 如果 result 不是 Object，则返回 result 。 抛出 TypeError 异常。
7.1.2 ToBoolean ( arg )抽象操作 arg (ECMAScript 语言值 arg 转换为 Boolean 类型
如果 arg 是 Boolean，则返回 arg 。 如果 arg 是 undefined 、null 、+0 𝔽 、-0 𝔽 、NaN 、0 ℤ 或空 String 之一，则返回 false 。 Normative Optional
如果宿主 [[IsHTMLDDA]] 内部槽如果 arg 是 Object 且 arg 具有 [[IsHTMLDDA]] 内部槽，则返回 false 。 返回 true 。
7.1.3 ToNumeric ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 arg 。 调用时执行以下步骤：
令 primitiveValue 为 ? ToPrimitive arg , number )。 如果 primitiveValue 是 BigInt，则返回 primitiveValue 。 返回 ? ToNumber primitiveValue )。
7.1.4 ToNumber ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 arg 转换为 Number 类型
如果 arg 是 Number，则返回 arg 。 如果 arg 是 Symbol 或 BigInt，则抛出 TypeError 异常。 如果 arg 是 undefined ，则返回 NaN 。 如果 arg 是 null 或 false ，则返回 +0 𝔽 。 如果 arg 是 true ，则返回 1 𝔽 。 如果 arg 是 String，则返回 StringToNumber arg )。 断言 arg 是 Object。令 primitiveValue 为 ? ToPrimitive arg , number )。 断言 primitiveValue 不是 Object。返回 ? ToNumber primitiveValue )。
7.1.4.1 应用于 String 类型的 ToNumber抽象操作 StringToNumber Number 值
语法
StringNumericLiteral :::
StrWhiteSpace opt
StrWhiteSpace opt StrNumericLiteral StrWhiteSpace opt
StrWhiteSpace :::
StrWhiteSpaceChar StrWhiteSpace opt
StrWhiteSpaceChar :::
WhiteSpace
LineTerminator
StrNumericLiteral :::
StrDecimalLiteral
NonDecimalIntegerLiteral [~Sep]
StrDecimalLiteral :::
StrUnsignedDecimalLiteral
+
StrUnsignedDecimalLiteral
-
StrUnsignedDecimalLiteral
StrUnsignedDecimalLiteral :::
Infinity
DecimalDigits [~Sep] .
DecimalDigits [~Sep] opt ExponentPart [~Sep] opt
.
DecimalDigits [~Sep] ExponentPart [~Sep] opt
DecimalDigits [~Sep] ExponentPart [~Sep] opt
以上未显式定义的所有文法符号，都采用数值字面量词法文法（12.9.3
注
7.1.4.1.1 StringToNumber ( string )抽象操作 string (String)；返回值：Number。 调用时执行以下步骤：
令 literal 为 ParseText string , StringNumericLiteral 如果 literal 是错误的 List NaN 。 返回 literal 的 StringNumericValue
7.1.4.1.2 Runtime Semantics: StringNumericValue语法制导操作
注 它按以下产生式分别定义：
StringNumericLiteral ::: StrWhiteSpace opt
返回 +0 𝔽 。
StringNumericLiteral :::
StrWhiteSpace opt StrNumericLiteral StrWhiteSpace opt
返回 StrNumericLiteral StringNumericValue
StrNumericLiteral ::: NonDecimalIntegerLiteral
返回 𝔽 NonDecimalIntegerLiteral
StrDecimalLiteral :::
-
StrUnsignedDecimalLiteral
令 a 为 StrUnsignedDecimalLiteral StringNumericValue 如果 a 是 +0 𝔽 ，则返回 -0 𝔽 。 返回 -a 。
StrUnsignedDecimalLiteral ::: Infinity
返回 +∞ 𝔽 。
StrUnsignedDecimalLiteral :::
DecimalDigits .
DecimalDigits opt ExponentPart opt
令 a 为第一个 DecimalDigits 如果存在第二个 DecimalDigits 令 b 为第二个 DecimalDigits 令 n 为第二个 DecimalDigits 否则，令 b 为 0。 令 n 为 0。 如果存在 ExponentPart e 为 ExponentPart e 为 0。 返回 RoundMVResult a + (b × 10-n )) × 10e
StrUnsignedDecimalLiteral :::
.
DecimalDigits ExponentPart opt
令 b 为 DecimalDigits 如果存在 ExponentPart e 为 ExponentPart e 为 0。 令 n 为 DecimalDigits 返回 RoundMVResult b × 10e - n
StrUnsignedDecimalLiteral :::
DecimalDigits ExponentPart opt
令 a 为 DecimalDigits 如果存在 ExponentPart e 为 ExponentPart e 为 0。 返回 RoundMVResult a × 10e
7.1.4.1.3 RoundMVResult ( n )抽象操作 n (数学值 实现定义 n 转换为 Number。对于此抽象操作 抽象操作 数学值 的数学值 数学值
如果 n 的十进制表示具有 20 个或更少的有效数字，则返回 𝔽 n )。 令 option1 为这样一个结果所表示的数学值 n 的十进制表示中第 20 个之后的每个有效数字替换为数字 0。 令 option2 为这样一个结果所表示的数学值 n 的十进制表示中第 20 个之后的每个有效数字替换为数字 0，然后在第 20 位将其递增（必要时进行进位）。 令 chosen 为实现定义 option1 或 option2 中选择的一个值。 返回 𝔽 chosen )。
7.1.5 ToIntegerOrInfinity ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 整数 arg 转换为表示其 Number 值 整数 Number 值
令 number 为 ? ToNumber arg )。 如果 number 是 NaN 、+0 𝔽 或 -0 𝔽 之一，则返回 0。 如果 number 是 +∞ 𝔽 ，则返回 +∞。 如果 number 是 -∞ 𝔽 ，则返回 -∞。 返回 truncate ℝ number ))。 注
对于
x 的任何值，
𝔽 (ToIntegerOrInfinity(
x )) 都不会返回
-0 𝔽 。小数部分的截断是在将
x 转换为
数学值 之后执行的。
7.1.6 SnapToInteger ( arg , nonIntHandling [ , minimum [ , maximum ] ] )抽象操作 arg (ECMAScript 语言值 nonIntHandling ((reject 或 truncate ))和可选参数 minimum (整数 maximum (整数 正常完成 整数 arg 转换为表示其 Number 值 整数 整数 包含
令 number 为 ? ToNumber arg )。 如果 number 是 NaN 、+∞ 𝔽 或 -∞ 𝔽 之一，则抛出 RangeError 异常。 令 mv 为 ℝ number )。 如果 nonIntHandling 是 truncate ，则将 mv 设置为 truncate mv )。 如果 mv 不是整数 RangeError 异常。 如果存在 minimum 且 mv < minimum ，则抛出 RangeError 异常。 如果存在 maximum 且 mv > maximum ，则抛出 RangeError 异常。 返回 mv 。
7.1.7 ToFixedSizeInteger ( int , signed , bitWidth )抽象操作 int ((整数 signed ((unsigned 或 signed )) 和 bitWidth (正整数)；返回值：整数 int 映射到 2bitWidth 整数 signed 为 unsigned ，范围是从 0 到 2bitWidth 闭区间 signed 为 signed ，范围是从 -2bitWidth - 1bitWidth - 1
如果 int = +∞ 或 int = -∞，则返回 0。 令 fixedInt 为 int modulo bitWidth 注 fixedInt 的二进制补码表示。如果 signed 是 signed 且 fixedInt ≥ 2bitWidth - 1fixedInt 设置为 fixedInt - 2bitWidth 返回 fixedInt 。 注
ToFixedSizeInteger 是幂等的：对于任何 ECMAScript 语言值 x ，ToFixedSizeInteger(ToFixedSizeInteger(x , signed , bitWidth ), signed , bitWidth ) 与 ToFixedSizeInteger(x , signed , bitWidth ) 相同。实际上，因为 +∞ 和 -∞ 都映射为 0，即使反转 signed ，此不变量仍然成立（例如，ToFixedSizeInteger(ToFixedSizeInteger(x , signed , 32), unsigned , 32) 与 ToFixedSizeInteger(x , unsigned , 32) 相同）。
7.1.8 ToInt32 ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 整数 Number arg 转换为从 𝔽 31 ) 到 𝔽 31 - 1) 的闭区间 32 个整数 Number -0 𝔽 。 调用时执行以下步骤：
令 int 为 ? ToIntegerOrInfinity arg )。 返回 𝔽 ToFixedSizeInteger int , signed , 32))。
7.1.9 ToUint32 ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 整数 Number arg 转换为从 +0 𝔽 到 𝔽 32 - 1) 的闭区间 32 个整数 Number
令 int 为 ? ToIntegerOrInfinity arg )。 返回 𝔽 ToFixedSizeInteger int , unsigned , 32))。
7.1.10 ToInt16 ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 整数 Number arg 转换为从 𝔽 15 ) 到 𝔽 15 - 1) 的闭区间 16 个整数 Number -0 𝔽 。 调用时执行以下步骤：
令 int 为 ? ToIntegerOrInfinity arg )。 返回 𝔽 ToFixedSizeInteger int , signed , 16))。
7.1.11 ToUint16 ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 整数 Number arg 转换为从 +0 𝔽 到 𝔽 16 - 1) 的闭区间 16 个整数 Number
令 int 为 ? ToIntegerOrInfinity arg )。 返回 𝔽 ToFixedSizeInteger int , unsigned , 16))。
7.1.12 ToInt8 ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 整数 Number arg 转换为从 -128 𝔽 到 127 𝔽 的闭区间 8 个整数 Number -0 𝔽 。 调用时执行以下步骤：
令 int 为 ? ToIntegerOrInfinity arg )。 返回 𝔽 ToFixedSizeInteger int , signed , 8))。
7.1.13 ToUint8 ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 整数 Number arg 转换为从 +0 𝔽 到 255 𝔽 的闭区间 8 个整数 Number
令 int 为 ? ToIntegerOrInfinity arg )。 返回 𝔽 ToFixedSizeInteger int , unsigned , 8))。
7.1.14 ToUint8Clamp ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 整数 Number arg 钳制并舍入为从 +0 𝔽 到 255 𝔽 的闭区间 8 个整数 Number
令 number 为 ? ToNumber arg )。 如果 number 是 NaN ，则返回 +0 𝔽 。 令 mv 为 number 的扩展数学值 令 clamped 为将 mv 钳制在 0 和 255 之间的结果。 令 f 为 floor clamped )。 如果 clamped < f + 0.5，则返回 𝔽 f )。 如果 clamped > f + 0.5，则返回 𝔽 f + 1)。 如果 f 是偶数，则返回 𝔽 f )。 返回 𝔽 f + 1)。 注
与大多数其他 ECMAScript 整数 整数 Math.round
7.1.15 ToBigInt ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 arg 转换为 BigInt 值；如果需要从 Number 进行隐式转换，则抛出异常。 调用时执行以下步骤：
令 primitive 为 ? ToPrimitive arg , number )。 返回 表 12 primitive 对应的值。 表 12: BigInt 转换
参数类型
结果
Undefined
抛出 TypeError 异常。
Null
抛出 TypeError 异常。
Boolean
如果 primitive 是 true ，则返回 1n；如果 primitive 是 false ，则返回 0n。
BigInt
返回 primitive 。
Number
抛出 TypeError 异常。
String
令 n 为 StringToBigInt primitive )。 如果 n 是 undefined ，则抛出 SyntaxError 异常。 返回 n 。
Symbol
抛出 TypeError 异常。
7.1.16 StringToBigInt ( string )抽象操作 string (String)；返回值：(BigInt 或 undefined )。 调用时执行以下步骤：
令 literal 为 ParseText string , StringIntegerLiteral 如果 literal 是错误的 List undefined 。 令 mv 为 literal 的 MV。 断言 mv 是整数 返回 ℤ mv )。
7.1.16.1 StringIntegerLiteral 文法StringToBigInt
语法
StringIntegerLiteral :::
StrWhiteSpace opt
StrWhiteSpace opt StrIntegerLiteral StrWhiteSpace opt
StrIntegerLiteral :::
SignedInteger [~Sep]
NonDecimalIntegerLiteral [~Sep]
7.1.16.2 Runtime Semantics: MV
7.1.17 ToBigInt64 ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 arg 转换为从 ℤ 63 ) 到 ℤ 63 - 1) 的闭区间 64 个 BigInt 值之一。 调用时执行以下步骤：
令 int 为 ℝ ToBigInt arg ))。 返回 ℤ ToFixedSizeInteger int , signed , 64))。
7.1.18 ToBigUint64 ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 arg 转换为从 0 ℤ 到 ℤ 64 - 1) 的闭区间 64 个 BigInt 值之一。 调用时执行以下步骤：
令 int 为 ℝ ToBigInt arg ))。 返回 ℤ ToFixedSizeInteger int , unsigned , 64))。
7.1.19 ToString ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 arg 转换为 String 类型
如果 arg 是 String，则返回 arg 。 如果 arg 是 Symbol，则抛出 TypeError 异常。 如果 arg 是 undefined ，则返回 "undefined" 。 如果 arg 是 null ，则返回 "null" 。 如果 arg 是 true ，则返回 "true" 。 如果 arg 是 false ，则返回 "false" 。 如果 arg 是 Number，则返回 Number::toString arg , 10)。 如果 arg 是 BigInt，则返回 BigInt::toString arg , 10)。 断言 arg 是 Object。令 primitiveValue 为 ? ToPrimitive arg , string )。 断言 primitiveValue 不是 Object。返回 ? ToString primitiveValue )。 7.1.20 ToObject ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 arg 转换为 Object 类型
如果 arg 是 undefined 或 null ，则抛出 TypeError 异常。 如果 arg 是 Boolean，则返回一个新的 Boolean 对象，其 [[BooleanData]] 内部槽设置为 arg 。有关 Boolean 对象的描述，请参见 20.3 如果 arg 是 Number，则返回一个新的 Number 对象，其 [[NumberData]] 内部槽设置为 arg 。有关 Number 对象的描述，请参见 21.1 如果 arg 是 String，则返回一个新的 String 对象，其 [[StringData]] 内部槽设置为 arg 。有关 String 对象的描述，请参见 22.1 如果 arg 是 Symbol，则返回一个新的 Symbol 对象，其 [[SymbolData]] 内部槽设置为 arg 。有关 Symbol 对象的描述，请参见 20.4 如果 arg 是 BigInt，则返回一个新的 BigInt 对象，其 [[BigIntData]] 内部槽设置为 arg 。有关 BigInt 对象的描述，请参见 21.2 断言 arg 是 Object。返回 arg 。
7.1.21 ToPropertyKey ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 属性键 arg 转换为可用作属性键
令 key 为 ? ToPrimitive arg , string )。 如果 key 是 Symbol，则返回 key 。 返回 ! ToString key )。
7.1.22 ToLength ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 arg 钳制并截断为适合用作类数组对象 整数 Number
令 length 为 ? ToIntegerOrInfinity arg )。 令 clampedLength 为将 length 钳制在 0 和 253 - 1 之间的结果。 返回 𝔽 clampedLength )。
7.1.23 CanonicalNumericIndexString ( arg )抽象操作 arg (String)；返回值：(Number 或 undefined )。 如果 arg 是 "-0" ，或者与某个 Number 值 n 的 ToString n ) 完全匹配，则返回相应的 Number 值 undefined 。 调用时执行以下步骤：
如果 arg 是 "-0" ，则返回 -0 𝔽 。 令 n 为 ! ToNumber arg )。 如果 ! ToString n ) 是 arg ，则返回 n 。 返回 undefined 。 规范数值字符串 是 CanonicalNumericIndexString 抽象操作 undefined 的任何 String。
7.1.24 ToIndex ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 arg 转换为整数 整数 整数索引 整数
令 int 为 ? ToIntegerOrInfinity arg )。 如果 int 不在从 0 到 253 - 1 的闭区间 RangeError 异常。 返回 int 。
7.1.25 ToAbsoluteIndex ( value , length )抽象操作 value (ECMAScript 语言值 length (非负整数)；返回值：(正常完成 整数 value 转换为整数 length 解释负值。 调用时执行以下步骤：
令 int 为 ? ToIntegerOrInfinity value )。 如果 int 是有限值且 int < 0，则将 int 设置为 length + int 。 返回 int 。
7.1.26 ToClampedIndex ( value , length )抽象操作 value (ECMAScript 语言值 length (非负整数)；返回值：(正常完成 value 转换为整数 length 解释负值），并将结果钳制到从 0 到 length 的闭区间
令 index 为 ? ToAbsoluteIndex value , length )。 返回将 index 钳制在 0 和 length 之间的结果。
7.2 测试和比较操作7.2.1 RequireObjectCoercible ( arg )抽象操作 arg (ECMAScript 语言值 正常完成 unused ) 或 抛出完成)。 如果 arg 是无法使用 ToObject
如果 arg 是 undefined 或 null ，则抛出 TypeError 异常。 返回 unused 。
7.2.2 IsArray ( arg )抽象操作 arg (ECMAScript 语言值 正常完成
如果 arg 不是 Object，则返回 false 。 如果 arg 是 Array 异质对象 true 。 如果 arg 是 Proxy 异质对象 执行 ? ValidateNonRevokedProxy arg )。 令 proxyTarget 为 arg .[[ProxyTarget]] 。 返回 ? IsArray proxyTarget )。 返回 false 。
7.2.3 IsCallable ( arg )抽象操作 arg (ECMAScript 语言值 arg 是否是具有 [[Call]] 内部方法的可调用函数。 调用时执行以下步骤：
如果 arg 不是 Object，则返回 false 。 如果 arg 具有 [[Call]] 内部方法，则返回 true 。 返回 false 。
7.2.4 IsConstructor ( arg )抽象操作 arg (ECMAScript 语言值 arg 是否是具有 [[Construct]] 内部方法的函数对象
如果 arg 不是 Object，则返回 false 。 如果 arg 具有 [[Construct]] 内部方法，则返回 true 。 返回 false 。
7.2.5 IsExtensible ( obj )抽象操作 obj (Object)；返回值：(正常完成 obj 添加其他属性。 调用时执行以下步骤：
返回 ? obj .[[IsExtensible]]
7.2.6 IsRegExp ( arg )抽象操作 arg (ECMAScript 语言值 正常完成
如果 arg 不是 Object，则返回 false 。 令 matcher 为 ? Get arg , %Symbol.match% 如果 matcher 不是 undefined ，则返回 ToBoolean matcher )。 如果 arg 具有 [[RegExpMatcher]] 内部槽，则返回 true 。 返回 false 。
7.2.7 Static Semantics: IsStringWellFormedUnicode ( string )抽象操作 string (String)；返回值：Boolean。 它按照 6.1.4 string 解释为 UTF-16 编码的码点序列，并确定它是否是格式良好 的 UTF-16 序列。 调用时执行以下步骤：
令 length 为 string 的长度。 令 k 为 0。 当 k < length 时，重复执行令 codePoint 为 CodePointAt string , k )。 如果 codePoint .[[IsUnpairedSurrogate]] 是 true ，则返回 false 。 将 k 设置为 k + codePoint .[[CodeUnitCount]] 。 返回 true 。
7.2.8 SameType ( x , y )抽象操作 x (ECMAScript 语言值 y (ECMAScript 语言值
如果 x 是 undefined 且 y 是 undefined ，则返回 true 。 如果 x 是 null 且 y 是 null ，则返回 true 。 如果 x 是 Boolean 且 y 是 Boolean，则返回 true 。 如果 x 是 Number 且 y 是 Number，则返回 true 。 如果 x 是 BigInt 且 y 是 BigInt，则返回 true 。 如果 x 是 Symbol 且 y 是 Symbol，则返回 true 。 如果 x 是 String 且 y 是 String，则返回 true 。 如果 x 是 Object 且 y 是 Object，则返回 true 。 返回 false 。
7.2.9 SameValue ( x , y )抽象操作 x (ECMAScript 语言值 y (ECMAScript 语言值
如果 SameType x , y ) 是 false ，则返回 false 。 如果 x 是 Number，则返回 Number::sameValue x , y )。 返回 SameValueNonNumber x , y )。 注
该算法与 IsStrictlyEqual NaN 值视为等价，并区分 +0 𝔽 和 -0 𝔽 。
7.2.10 SameValueZero ( x , y )抽象操作 x (ECMAScript 语言值 y (ECMAScript 语言值 +0 𝔽 和 -0 𝔽 之间的差异）。 调用时执行以下步骤：
如果 SameType x , y ) 是 false ，则返回 false 。 如果 x 是 Number，则返回 Number::sameValueZero x , y )。 返回 SameValueNonNumber x , y )。 注
SameValueZero 与 SameValue +0 𝔽 和 -0 𝔽 视为等价。
7.2.11 SameValueNonNumber ( x , y )抽象操作 x (an ECMAScript language value, but not a Number) 和 y (an ECMAScript language value, but not a Number)；返回值：Boolean。 调用时执行以下步骤：
断言 SameType x , y ) 是 true 。如果 x 是 undefined 或 null ，则返回 true 。 如果 x 是 BigInt，则返回 BigInt::equal x , y )。 如果 x 是 String，则如果 x 和 y 长度相同，并且相同位置具有相同码元，则返回 true 。 返回 false 。 如果 x 是 Boolean，则如果 x 是 true 且 y 是 true ，则返回 true 。 如果 x 是 false 且 y 是 false ，则返回 true 。 返回 false 。 注 ECMAScript 语言值 如果 x 是 y ，则返回 true 。 返回 false 。 注 1
为了便于说明，即使没有必要，本算法中的某些情况也会单独处理。
注 2 7.2.12 IsLessThan ( x , y , leftFirst )抽象操作 x (ECMAScript 语言值 y (ECMAScript 语言值 leftFirst (Boolean)；返回值：(正常完成 undefined )) 或 抛出完成)。 它提供比较 x < y 的语义，返回 true 、false 或 undefined （后者表示操作数无法被强制转换为相同数值类型的可比较值）。leftFirst 标志用于控制对 x 和 y 执行可能具有可见副作用的操作的顺序。这是必要的，因为 ECMAScript 规定表达式从左到右求值。如果 leftFirst 是 true ，则 x 参数对应的表达式位于 y 参数对应表达式的左侧。如果 leftFirst 是 false ，情况相反，必须先对 y 执行操作，再对 x 执行。 调用时执行以下步骤：
如果 leftFirst 是 true ，则令 px 为 ? ToPrimitive x , number )。 令 py 为 ? ToPrimitive y , number )。 否则，注 令 py 为 ? ToPrimitive y , number )。 令 px 为 ? ToPrimitive x , number )。 如果 px 是 String 且 py 是 String，则令 lx 为 px 的长度。 令 ly 为 py 的长度。 对满足 0 ≤ i < min lx , ly ) 的每个整数 i ，按升序执行令 cx 为 px 中索引 i 处码元的数值。 令 cy 为 py 中索引 i 处码元的数值。 如果 cx < cy ，则返回 true 。 如果 cx > cy ，则返回 false 。 如果 lx < ly ，则返回 true 。 返回 false 。 如果 px 是 BigInt 且 py 是 String，则令 ny 为 StringToBigInt py )。 如果 ny 是 undefined ，则返回 undefined 。 返回 BigInt::lessThan px , ny )。 如果 px 是 String 且 py 是 BigInt，则令 nx 为 StringToBigInt px )。 如果 nx 是 undefined ，则返回 undefined 。 返回 BigInt::lessThan nx , py )。 注 px 和 py 是原始值，因此求值顺序不重要。令 nx 为 ? ToNumeric px )。 令 ny 为 ? ToNumeric py )。 如果 SameType nx , ny ) 是 true ，则如果 nx 是 Number，则返回 Number::lessThan nx , ny )。 断言 nx 是 BigInt。返回 BigInt::lessThan nx , ny )。 断言 nx 是 BigInt 且 ny 是 Number，或者 nx 是 Number 且 ny 是 BigInt。如果 nx 是 NaN 或 ny 是 NaN ，则返回 undefined 。 如果 nx 是 -∞ 𝔽 或 ny 是 +∞ 𝔽 ，则返回 true 。 如果 nx 是 +∞ 𝔽 或 ny 是 -∞ 𝔽 ，则返回 false 。 如果 ℝ nx ) < ℝ ny )，则返回 true 。 返回 false 。 注 1
步骤 3 + 的算法（13.15.3 1.c
注 2
String 的比较使用 UTF-16 码元值序列上的简单字典序。不会尝试使用 Unicode 规范中定义的、语义上更复杂的字符或字符串相等性以及排序顺序 注 包含 代理对 码元 字典排序与按码点 排序不同。
7.2.13 IsLooselyEqual ( x , y )抽象操作 x (ECMAScript 语言值 y (ECMAScript 语言值 正常完成 == 运算符的语义。 调用时执行以下步骤：
如果 SameType x , y ) 是 true ，那么返回 IsStrictlyEqual x , y )。 如果 x 是 null 且 y 是 undefined ，返回 true 。 如果 x 是 undefined 且 y 是 null ，返回 true 。 Normative Optional
如果宿主 [[IsHTMLDDA]] 内部槽如果 x 是 Object，x 具有 [[IsHTMLDDA]] 内部槽，并且 y 是 undefined 或 null ，返回 true 。 如果 x 是 undefined 或 null ，y 是 Object，并且 y 具有 [[IsHTMLDDA]] 内部槽，返回 true 。 如果 x 是 Number 且 y 是 String，返回 ! IsLooselyEqual x , ! ToNumber y ))。 如果 x 是 String 且 y 是 Number，返回 ! IsLooselyEqual ToNumber x ), y )。 如果 x 是 BigInt 且 y 是 String，那么令 n 为 StringToBigInt y )。 如果 n 是 undefined ，返回 false 。 返回 ! IsLooselyEqual x , n )。 如果 x 是 String 且 y 是 BigInt，返回 ! IsLooselyEqual y , x )。 如果 x 是 Boolean，返回 ! IsLooselyEqual ToNumber x ), y )。 如果 y 是 Boolean，返回 ! IsLooselyEqual x , ! ToNumber y ))。 如果 x 是 String、Number、BigInt 或 Symbol，且 y 是 Object，返回 ! IsLooselyEqual x , ? ToPrimitive y ))。 如果 x 是 Object，且 y 是 String、Number、BigInt 或 Symbol，返回 ! IsLooselyEqual ToPrimitive x ), y )。 如果 x 是 BigInt 且 y 是有限 Number x 是有限 Number y 是 BigInt，那么如果 ℝ x ) = ℝ y )，返回 true 。 返回 false 。 返回 false 。 7.2.14 IsStrictlyEqual ( x , y )抽象操作 x (ECMAScript 语言值 y (ECMAScript 语言值 === 运算符的语义。 调用时执行以下步骤：
如果 SameType x , y ) 是 false ，则返回 false 。 如果 x 是 Number，则返回 Number::equal x , y )。 返回 SameValueNonNumber x , y )。 注
该算法与 SameValue
7.3 对象上的操作
7.3.1 MakeBasicObject ( internalSlotsList )抽象操作 internalSlotsList (列表 普通对象 异质对象
将 internalSlotsList 设置为 internalSlotsList 与 « [[PrivateElements]] » 的列表连接 令 obj 为新创建的对象，该对象为 internalSlotsList 中的每个名称都具有一个内部槽。 注 Object 内部方法和内部槽 undefined 。将 obj .[[PrivateElements]] 设置为新的空 List 将 obj 的基本内部方法设置为 10.1 普通对象 断言 覆盖 obj 的 [[GetPrototypeOf]] 和 [[SetPrototypeOf]] 基本内部方法，则 internalSlotsList 包含 [[Prototype]] 。断言 覆盖 obj 的 [[SetPrototypeOf]] 、[[IsExtensible]] 和 [[PreventExtensions]] 全部三个基本内部方法，则 internalSlotsList 包含 [[Extensible]] 。如果 internalSlotsList 包含 [[Extensible]] ，则将 obj .[[Extensible]] 设置为 true 。 返回 obj 。 注
在本规范中，异质对象 ArrayCreate BoundFunctionCreate 抽象操作 覆盖 异质对象
7.3.2 Get ( obj , propertyKey )抽象操作 obj (Object) 和 propertyKey (属性键 正常完成 ECMAScript 语言值
返回 ? obj .[[Get]] propertyKey , obj )
7.3.3 GetV ( value , propertyKey )抽象操作 value (ECMAScript 语言值 propertyKey (属性键 正常完成 ECMAScript 语言值 ECMAScript 语言值
令 obj 为 ? ToObject value )。 返回 ? obj .[[Get]] propertyKey , value )
7.3.4 Set ( obj , propertyKey , value , throw )抽象操作 obj (Object)、propertyKey (属性键 value (ECMAScript 语言值 throw (Boolean)；返回值：(正常完成 unused ) 或 抛出完成)。 它用于设置对象的特定属性值。value 是该属性的新值。 调用时执行以下步骤：
令 success 为 ? obj .[[Set]] propertyKey , value , obj ) 如果 success 是 false 且 throw 是 true ，则抛出 TypeError 异常。 返回 unused 。
7.3.5 CreateDataProperty ( obj , propertyKey , value )抽象操作 obj (Object)、propertyKey (属性键 value (ECMAScript 语言值 正常完成
令 newDesc 为 PropertyDescriptor { [[Value]] : value , [[Writable]] : true , [[Enumerable]] : true , [[Configurable]] : true }。 返回 ? obj .[[DefineOwnProperty]] propertyKey , newDesc ) 注
此抽象操作 obj 不可扩展，则 [[DefineOwnProperty]] 将返回 false 。
7.3.6 CreateDataPropertyOrThrow ( obj , propertyKey , value )抽象操作 obj (Object)、propertyKey (属性键 value (ECMAScript 语言值 正常完成 unused ) 或 抛出完成)。 它用于创建对象的新自有属性。如果无法执行所请求的属性更新，则抛出 TypeError 异常。 调用时执行以下步骤：
令 success 为 ? CreateDataProperty obj , propertyKey , value )。 如果 success 是 false ，则抛出 TypeError 异常。 返回 unused 。 注
此抽象操作 obj 不可扩展，则 [[DefineOwnProperty]] 将返回 false ，从而导致此操作抛出 TypeError 异常。
7.3.7 CreateNonEnumerableDataPropertyOrThrow ( obj , propertyKey , value )抽象操作 obj (Object)、propertyKey (属性键 value (ECMAScript 语言值 unused 。 它用于创建普通对象
断言 obj 是普通、可扩展且没有不可配置属性的对象。令 newDesc 为 PropertyDescriptor { [[Value]] : value , [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : true }。 执行 ! DefinePropertyOrThrow obj , propertyKey , newDesc )。 返回 unused 。 注
此抽象操作 DefinePropertyOrThrow 正常完成
7.3.8 DefinePropertyOrThrow ( obj , propertyKey , propertyDesc )抽象操作 obj (Object)、propertyKey (属性键 propertyDesc (属性描述符 正常完成 unused ) 或 抛出完成)。 它用于调用对象的 [[DefineOwnProperty]] 内部方法，并在无法执行所请求的属性更新时抛出 TypeError 异常。 调用时执行以下步骤：
令 success 为 ? obj .[[DefineOwnProperty]] propertyKey , propertyDesc ) 如果 success 是 false ，则抛出 TypeError 异常。 返回 unused 。
7.3.9 DeletePropertyOrThrow ( obj , propertyKey )抽象操作 obj (Object) 和 propertyKey (属性键 正常完成 unused ) 或 抛出完成)。 它用于移除对象的特定自有属性。如果该属性不可配置，则抛出异常。 调用时执行以下步骤：
令 success 为 ? obj .[[Delete]] propertyKey ) 如果 success 是 false ，则抛出 TypeError 异常。 返回 unused 。
7.3.10 GetMethod ( value , propertyKey )抽象操作 value (ECMAScript 语言值 propertyKey (属性键 正常完成 函数对象 undefined )) 或 抛出完成)。 当预期 ECMAScript 语言值
令 func 为 ? GetV value , propertyKey )。 如果 func 是 undefined 或 null ，则返回 undefined 。 如果 IsCallable func ) 是 false ，则抛出 TypeError 异常。 返回 func 。
7.3.11 HasProperty ( obj , propertyKey )抽象操作 obj (Object) 和 propertyKey (属性键 正常完成 属性键
返回 ? obj .[[HasProperty]] propertyKey )
7.3.12 HasOwnProperty ( obj , propertyKey )抽象操作 obj (Object) 和 propertyKey (属性键 正常完成 属性键
令 propertyDesc 为 ? obj .[[GetOwnProperty]] propertyKey ) 如果 propertyDesc 是 undefined ，则返回 false 。 返回 true 。
7.3.13 Call ( func , thisValue [ , argList ] )抽象操作 func (ECMAScript 语言值 thisValue (ECMAScript 语言值 argList (列表 ECMAScript 语言值 正常完成 ECMAScript 语言值 函数对象 [[Call]] 内部方法。func 是函数对象 thisValue 是作为 [[Call]] 的 this 值的 ECMAScript 语言值 argList 是传递给内部方法相应参数的值。如果不存在 argList ，则使用新的空 List
如果不存在 argList ，则将 argList 设置为新的空 List 如果 IsCallable func ) 是 false ，则抛出 TypeError 异常。 返回 ? func .[[Call]] thisValue , argList )
7.3.14 Construct ( ctor [ , argList [ , newTarget ] ] )抽象操作 ctor (构造函数 argList (列表 ECMAScript 语言值 newTarget (构造函数 正常完成 函数对象 [[Construct]] 内部方法。argList 和 newTarget 是要作为内部方法相应参数传递的值。如果不存在 argList ，则使用新的空 List newTarget ，则使用 ctor 作为其值。 调用时执行以下步骤：
如果不存在 newTarget ，则将 newTarget 设置为 ctor 。 如果不存在 argList ，则将 argList 设置为新的空 List 返回 ? ctor .[[Construct]] argList , newTarget ) 注
如果不存在 newTarget ，此操作等价于：new F(...argumentsList)
7.3.15 SetIntegrityLevel ( obj , level )抽象操作 obj (Object) 和 level ((sealed 或 frozen ))；返回值：(正常完成
令 status 为 ? obj .[[PreventExtensions]] 如果 status 是 false ，则返回 false 。 令 keys 为 ? obj .[[OwnPropertyKeys]] 如果 level 是 sealed ，则对 keys 的每个元素 key ，执行执行 ? DefinePropertyOrThrow obj , key , PropertyDescriptor { [[Configurable]] : false })。 否则，断言 level 是 frozen 。对 keys 的每个元素 key ，执行令 currentDesc 为 ? obj .[[GetOwnProperty]] key ) 如果 currentDesc 不是 undefined ，则如果 IsAccessorDescriptor currentDesc ) 是 true ，则令 propertyDesc 为 PropertyDescriptor { [[Configurable]] : false }。 否则，令 propertyDesc 为 PropertyDescriptor { [[Configurable]] : false , [[Writable]] : false }。 执行 ? DefinePropertyOrThrow obj , key , propertyDesc )。 返回 true 。
7.3.16 TestIntegrityLevel ( obj , level )抽象操作 obj (Object) 和 level ((sealed 或 frozen ))；返回值：(正常完成
令 extensible 为 ? IsExtensible obj )。 如果 extensible 是 true ，则返回 false 。 注 令 keys 为 ? obj .[[OwnPropertyKeys]] 对 keys 的每个元素 key ，执行令 currentDesc 为 ? obj .[[GetOwnProperty]] key ) 如果 currentDesc 不是 undefined ，则如果 currentDesc .[[Configurable]] 是 true ，则返回 false 。 如果 level 是 frozen 且 IsDataDescriptor currentDesc ) 是 true ，则如果 currentDesc .[[Writable]] 是 true ，则返回 false 。 返回 true 。
7.3.17 CreateArrayFromList ( elements )抽象操作 elements (列表 ECMAScript 语言值 elements 提供。 调用时执行以下步骤：
令 array 为 ! ArrayCreate 令 n 为 0。 对 elements 的每个元素 element ，执行执行 ! CreateDataPropertyOrThrow array , ! ToString 𝔽 n )), element )。 将 n 设置为 n + 1。 返回 array 。
7.3.18 LengthOfArrayLike ( obj )抽象操作 obj (Object)；返回值：(正常完成 "length" 属性值。 调用时执行以下步骤：
返回 ℝ ToLength Get obj , "length" )))。 类数组对象 是此操作对其返回正常完成
注 1
通常，类数组对象还会具有一些名称为
整数索引 的属性。但是，这并不是此定义的要求。
注 2
Array 和 String 对象都是类数组对象的示例。
7.3.19 CreateListFromArrayLike ( obj [ , validElementTypes ] )抽象操作 obj (ECMAScript 语言值 validElementTypes ((all 或 property-key ))；返回值：(正常完成 列表 ECMAScript 语言值 List obj 的索引属性提供。validElementTypes 指示允许作为元素的值类型。 调用时执行以下步骤：
如果不存在 validElementTypes ，则将 validElementTypes 设置为 all 。 如果 obj 不是 Object，则抛出 TypeError 异常。 令 length 为 ? LengthOfArrayLike obj )。 令 list 为新的空 List 令 index 为 0。 当 index < length 时，重复执行令 indexName 为 ! ToString 𝔽 index ))。 令 next 为 ? Get obj , indexName )。 如果 validElementTypes 是 property-key 且 next 不是属性键 TypeError 异常。 将 next 追加到 list 。 将 index 设置为 index + 1。 返回 list 。
7.3.20 Invoke ( value , propertyKey [ , argList ] )抽象操作 value (ECMAScript 语言值 propertyKey (属性键 argList (列表 ECMAScript 语言值 正常完成 ECMAScript 语言值 ECMAScript 语言值 value 既作为属性查找位置，也作为调用的 this 值。argList 是传递给该方法的参数值列表。如果不存在 argList ，则使用新的空 List
如果不存在 argList ，则将 argList 设置为新的空 List 令 func 为 ? GetV value , propertyKey )。 返回 ? Call func , value , argList )。
7.3.21 OrdinaryHasInstance ( ctor , instance )抽象操作 ctor (ECMAScript 语言值 instance (ECMAScript 语言值 正常完成 instance 是否继承自 ctor 提供的实例对象继承路径。 调用时执行以下步骤：
如果 IsCallable ctor ) 是 false ，则返回 false 。 如果 ctor 具有 [[BoundTargetFunction]] 内部槽，则令 boundCtor 为 ctor .[[BoundTargetFunction]] 。 返回 ? InstanceofOperator instance , boundCtor )。 如果 instance 不是 Object，则返回 false 。 令 proto 为 ? Get ctor , "prototype" )。 如果 proto 不是 Object，则抛出 TypeError 异常。 重复执行，将 instance 设置为 ? instance .[[GetPrototypeOf]] 如果 instance 是 null ，则返回 false 。 如果 SameValue proto , instance ) 是 true ，则返回 true 。
7.3.22 SpeciesConstructor ( obj , defaultCtor )抽象操作 obj (Object) 和 defaultCtor (构造函数 正常完成 构造函数 obj 派生的新对象的构造函数 obj 开始无法找到构造函数 %Symbol.species% defaultCtor 。 调用时执行以下步骤：
令 ctor 为 ? Get obj , "constructor" )。 如果 ctor 是 undefined ，则返回 defaultCtor 。 如果 ctor 不是 Object，则抛出 TypeError 异常。 令 species 为 ? Get ctor , %Symbol.species% 如果 species 是 undefined 或 null ，则返回 defaultCtor 。 如果 IsConstructor species ) 是 true ，则返回 species 。 抛出 TypeError 异常。
7.3.23 EnumerableOwnProperties ( obj , kind )抽象操作 obj (Object) 和 kind ((key 、value 或 key+value ))；返回值：(正常完成 列表 ECMAScript 语言值
令 ownKeys 为 ? obj .[[OwnPropertyKeys]] 令 results 为新的空 List 对 ownKeys 的每个元素 key ，执行如果 key 是 String，则令 propertyDesc 为 ? obj .[[GetOwnProperty]] key ) 如果 propertyDesc 不是 undefined 且 propertyDesc .[[Enumerable]] 是 true ，则如果 kind 是 key ，则将 key 追加到 results 。 否则，令 value 为 ? Get obj , key )。 如果 kind 是 value ，则将 value 追加到 results 。 否则，断言 kind 是 key+value 。令 entry 为 CreateArrayFromList key , value »)。 将 entry 追加到 results 。 返回 results 。
7.3.24 GetFunctionRealm ( func )抽象操作 func (函数对象 正常完成 Realm 记录
如果 func 具有 [[Realm]] 内部槽，则返回 func .[[Realm]] 。 如果 func 是绑定函数异质对象 令 boundTargetFunc 为 func .[[BoundTargetFunction]] 。 返回 ? GetFunctionRealm boundTargetFunc )。 如果 func 是 Proxy 异质对象 执行 ? ValidateNonRevokedProxy func )。 令 proxyTarget 为 func .[[ProxyTarget]] 。 断言 proxyTarget 是函数对象 返回 ? GetFunctionRealm proxyTarget )。 返回当前 Realm Record 注
只有当 func 是不具有 [[Realm]] 内部槽的非标准函数异质对象 4
7.3.25 CopyDataProperties ( target , source , excludedItems )抽象操作 target (Object)、source (ECMAScript 语言值 excludedItems (列表 属性键 正常完成 unused ) 或 抛出完成)。 调用时执行以下步骤：
如果 source 是 undefined 或 null ，则返回 unused 。 令 from 为 ! ToObject source )。 令 keys 为 ? from .[[OwnPropertyKeys]] 对 keys 的每个元素 nextKey ，执行令 excluded 为 false 。 对 excludedItems 的每个元素 element ，执行如果 SameValue element , nextKey ) 是 true ，则将 excluded 设置为 true 。 如果 excluded 是 false ，则令 propertyDesc 为 ? from .[[GetOwnProperty]] nextKey ) 如果 propertyDesc 不是 undefined 且 propertyDesc .[[Enumerable]] 是 true ，则令 propertyValue 为 ? Get from , nextKey )。 执行 ! CreateDataPropertyOrThrow target , nextKey , propertyValue )。 返回 unused 。 注
此处传入的目标始终是新创建的对象，在抛出错误的情况下无法直接访问它。
7.3.26 PrivateElementFind ( obj , privateName )抽象操作 obj (Object) 和 privateName (私有名称 PrivateElement empty )。 调用时执行以下步骤：
如果 obj .[[PrivateElements]] 包含 PrivateElement entry ，使得 entry .[[Key]] 是 privateName ，则返回 entry 。 返回 empty 。
7.3.27 PrivateFieldAdd ( obj , privateName , value )抽象操作 obj (Object)、privateName (私有名称 value (ECMAScript 语言值 正常完成 unused ) 或 抛出完成)。 调用时执行以下步骤：
如果宿主 执行 ? HostEnsureCanAddPrivateElement obj )。 令 entry 为 PrivateElementFind obj , privateName )。 如果 entry 不是 empty ，则抛出 TypeError 异常。 将 PrivateElement [[Key]] : privateName , [[Kind]] : field , [[Value]] : value } 追加到 obj .[[PrivateElements]] 。 返回 unused 。
7.3.28 PrivateMethodOrAccessorAdd ( obj , method )抽象操作 obj (Object) 和 method (PrivateElement 正常完成 unused ) 或 抛出完成)。 调用时执行以下步骤：
断言 method .[[Kind]] 是 method 或 accessor 。如果宿主 执行 ? HostEnsureCanAddPrivateElement obj )。 令 entry 为 PrivateElementFind obj , method .[[Key]] )。 如果 entry 不是 empty ，则抛出 TypeError 异常。 将 method 追加到 obj .[[PrivateElements]] 。 返回 unused 。 注
私有方法和访问器的值在各实例之间共享。此操作不会创建方法或访问器的新副本。
7.3.29 HostEnsureCanAddPrivateElement ( obj )宿主定义的抽象操作 HostEnsureCanAddPrivateElement，接收参数 obj (Object)；返回值：(正常完成 unused ) 或 抛出完成)。 它允许宿主环境 宿主定义 异质对象
HostEnsureCanAddPrivateElement 的实现必须符合以下要求：
HostEnsureCanAddPrivateElement 的默认实现是返回 NormalCompletion unused )。
只有作为 Web 浏览器的 ECMAScript 宿主 抽象操作
7.3.30 PrivateGet ( obj , privateName )抽象操作 obj (Object) 和 privateName (私有名称 正常完成 ECMAScript 语言值
令 entry 为 PrivateElementFind obj , privateName )。 如果 entry 是 empty ，则抛出 TypeError 异常。 如果 entry .[[Kind]] 是 field 或 method ，则返回 entry .[[Value]] 。 断言 entry .[[Kind]] 是 accessor 。如果 entry .[[Getter]] 是 undefined ，则抛出 TypeError 异常。 令 getter 为 entry .[[Getter]] 。 返回 ? Call getter , obj )。
7.3.31 PrivateSet ( obj , privateName , value )抽象操作 obj (Object)、privateName (私有名称 value (ECMAScript 语言值 正常完成 unused ) 或 抛出完成)。 调用时执行以下步骤：
令 entry 为 PrivateElementFind obj , privateName )。 如果 entry 是 empty ，则抛出 TypeError 异常。 如果 entry .[[Kind]] 是 method ，则抛出 TypeError 异常。 如果 entry .[[Kind]] 是 field ，则将 entry .[[Value]] 设置为 value 。 否则，断言 entry .[[Kind]] 是 accessor 。如果 entry .[[Setter]] 是 undefined ，则抛出 TypeError 异常。 令 setter 为 entry .[[Setter]] 。 执行 ? Call setter , obj , « value »)。 返回 unused 。
7.3.32 DefineField ( receiver , fieldRecord )抽象操作 receiver (Object) 和 fieldRecord (ClassFieldDefinition 记录 正常完成 unused ) 或 抛出完成)。 调用时执行以下步骤：
令 fieldName 为 fieldRecord .[[Name]] 。 令 initializer 为 fieldRecord .[[Initializer]] 。 如果 initializer 不是 empty ，则令 initValue 为 ? Call initializer , receiver )。 否则，令 initValue 为 undefined 。 如果 fieldName 是 Private Name 执行 ? PrivateFieldAdd receiver , fieldName , initValue )。 否则，断言 fieldName 是属性键 执行 ? CreateDataPropertyOrThrow receiver , fieldName , initValue )。 返回 unused 。
7.3.33 InitializeInstanceElements ( obj , ctor )抽象操作 obj (Object) 和 ctor ((ECMAScript 函数对象 或 内置函数对象))；返回值：(正常完成 unused ) 或 抛出完成)。 调用时执行以下步骤：
令 methods 为 ctor .[[PrivateMethods]] 。 对 methods 的每个 PrivateElement method ，执行执行 ? PrivateMethodOrAccessorAdd obj , method )。 令 fields 为 ctor .[[Fields]] 。 对 fields 的每个元素 fieldRecord ，执行执行 ? DefineField obj , fieldRecord )。 返回 unused 。
7.3.34 AddValueToKeyedGroup ( groups , key , value )抽象操作 groups (列表 记录 [[Key]] (ECMAScript 语言值 [[Elements]] (列表 ECMAScript 语言值 key (ECMAScript 语言值 value (ECMAScript 语言值 unused 。 调用时执行以下步骤：
对 groups 的每个 Record [[Key]] , [[Elements]] } group ，执行如果 SameValue group .[[Key]] , key ) 是 true ，则断言 groups 中恰好有一个元素满足此条件。将 value 追加到 group .[[Elements]] 。 返回 unused 。 令 group 为 Record [[Key]] : key , [[Elements]] : « value » }。 将 group 追加到 groups 。 返回 unused 。
7.3.35 GroupBy ( items , callback , keyCoercion )抽象操作 items (ECMAScript 语言值 callback (ECMAScript 语言值 keyCoercion ((property 或 collection ))；返回值：(正常完成 列表 记录 [[Key]] (ECMAScript 语言值 [[Elements]] (列表 ECMAScript 语言值
执行 ? RequireObjectCoercible items )。 如果 IsCallable callback ) 是 false ，则抛出 TypeError 异常。 令 groups 为新的空 List 令 iteratorRecord 为 ? GetIterator items , sync )。 令 k 为 0。 重复执行，如果 k ≥ 253 - 1，则令 error 为 ThrowCompletion TypeError 对象)。 返回 ? IteratorClose iteratorRecord , error )。 令 next 为 ? IteratorStepValue iteratorRecord )。 如果 next 是 done ，则返回 groups 。 令 value 为 next 。 令 key 为 Completion Call callback , undefined , « value , 𝔽 k ) »))。 IfAbruptCloseIterator key , iteratorRecord )。如果 keyCoercion 是 property ，则将 key 设置为 Completion ToPropertyKey key ))。 IfAbruptCloseIterator key , iteratorRecord )。 否则，断言 keyCoercion 是 collection 。将 key 设置为 CanonicalizeKeyedCollectionKey key )。 执行 AddValueToKeyedGroup groups , key , value )。 将 k 设置为 k + 1。
7.3.36 GetOptionsObject ( options )抽象操作 options (ECMAScript 语言值 正常完成
如果 options 是 undefined ，则返回 OrdinaryObjectCreate null )。 如果 options 是 Object，则返回 options 。 抛出 TypeError 异常。
7.3.37 SetterThatIgnoresPrototypeProperties ( thisValue , home , propertyKey , value )抽象操作 thisValue (ECMAScript 语言值 home (Object)、propertyKey (属性键 value (ECMAScript 语言值 正常完成 unused ) 或 抛出完成)。 调用时执行以下步骤：
如果 thisValue 不是 Object，则抛出 TypeError 异常。 如果 SameValue thisValue , home ) 是 true ，则注 严格模式代码 home 对象上的不可写数据属性 抛出 TypeError 异常。 令 propertyDesc 为 ? thisValue .[[GetOwnProperty]] propertyKey )。 如果 propertyDesc 是 undefined ，则执行 ? CreateDataPropertyOrThrow thisValue , propertyKey , value )。 否则，执行 ? Set thisValue , propertyKey , value , true )。 返回 unused 。
7.4 迭代器对象上的操作参见通用迭代接口（27.1
7.4.1 Iterator RecordIterator Record 是用于封装迭代器或异步迭代器及其 next 方法的 Record
Iterator Record 具有 表 13
表 13: Iterator Record
字段名称
值
含义
[[Iterator]]
Object
符合迭代器接口或异步迭代器接口的对象。
[[NextMethod]]
ECMAScript 语言值
[[Iterator]] 对象的 next 方法。
[[Done]]
Boolean
迭代器是否已经完成或关闭。
7.4.2 GetIteratorDirect ( obj )抽象操作 obj (Object)；返回值：(正常完成 Iterator 记录
令 nextMethod 为 ? Get obj , "next" )。 令 iteratorRecord 为 Iterator Record [[Iterator]] : obj , [[NextMethod]] : nextMethod , [[Done]] : false }。 返回 iteratorRecord 。
7.4.3 GetIteratorFromMethod ( obj , method )抽象操作 obj (ECMAScript 语言值 method (函数对象 正常完成 Iterator 记录
令 iterator 为 ? Call method , obj )。 如果 iterator 不是 Object，则抛出 TypeError 异常。 返回 ? GetIteratorDirect iterator )。
7.4.4 GetIterator ( obj , kind )抽象操作 obj (ECMAScript 语言值 kind ((sync 或 async ))；返回值：(正常完成 Iterator 记录
如果 kind 是 async ，则令 method 为 ? GetMethod obj , %Symbol.asyncIterator% 如果 method 是 undefined ，则令 syncMethod 为 ? GetMethod obj , %Symbol.iterator% 如果 syncMethod 是 undefined ，则抛出 TypeError 异常。 令 syncIteratorRecord 为 ? GetIteratorFromMethod obj , syncMethod )。 返回 CreateAsyncFromSyncIterator syncIteratorRecord )。 否则，令 method 为 ? GetMethod obj , %Symbol.iterator% 如果 method 是 undefined ，则抛出 TypeError 异常。 返回 ? GetIteratorFromMethod obj , method )。
7.4.5 GetIteratorFlattenable ( obj , primitiveHandling )抽象操作 obj (ECMAScript 语言值 primitiveHandling ((iterate-string-primitives 或 reject-primitives ))；返回值：(正常完成 Iterator 记录
如果 obj 不是 Object，则如果 primitiveHandling 是 reject-primitives ，则抛出 TypeError 异常。 断言 primitiveHandling 是 iterate-string-primitives 。如果 obj 不是 String，则抛出 TypeError 异常。 令 method 为 ? GetMethod obj , %Symbol.iterator% 如果 method 是 undefined ，则令 iterator 为 obj 。 否则，令 iterator 为 ? Call method , obj )。 如果 iterator 不是 Object，则抛出 TypeError 异常。 返回 ? GetIteratorDirect iterator )。
7.4.6 IteratorNext ( iteratorRecord [ , value ] )抽象操作 iteratorRecord (Iterator 记录 value (ECMAScript 语言值 正常完成
如果不存在 value ，则令 result 为 Completion Call iteratorRecord .[[NextMethod]] , iteratorRecord .[[Iterator]] ))。 否则，令 result 为 Completion Call iteratorRecord .[[NextMethod]] , iteratorRecord .[[Iterator]] , « value »))。 如果 result 是抛出完成，则将 iteratorRecord .[[Done]] 设置为 true 。 返回 ? result 。 将 result 设置为 ! result 。 如果 result 不是 Object，则将 iteratorRecord .[[Done]] 设置为 true 。 抛出 TypeError 异常。 返回 result 。
7.4.7 IteratorComplete ( iteratorResult )抽象操作 iteratorResult (Object)；返回值：(正常完成
返回 ToBoolean Get iteratorResult , "done" )).
7.4.8 IteratorValue ( iteratorResult )抽象操作 iteratorResult (Object)；返回值：(正常完成 ECMAScript 语言值
返回 ? Get iteratorResult , "value" )。
7.4.9 IteratorStep ( iteratorRecord )抽象操作 iteratorRecord (Iterator 记录 正常完成 done )) 或 抛出完成)。 它通过调用 iteratorRecord .[[NextMethod]] 从 iteratorRecord .[[Iterator]] 请求下一个值，并返回 done （表示迭代器已到达末尾）或在存在下一个值时返回 IteratorResult 对象。 调用时执行以下步骤：
令 result 为 ? IteratorNext iteratorRecord )。 令 done 为 Completion IteratorComplete result ))。 如果 done 是抛出完成，则将 iteratorRecord .[[Done]] 设置为 true 。 返回 ? done 。 将 done 设置为 ! done 。 如果 done 是 true ，则将 iteratorRecord .[[Done]] 设置为 true 。 返回 done 。 返回 result 。
7.4.10 IteratorStepValue ( iteratorRecord )抽象操作 iteratorRecord (Iterator 记录 正常完成 ECMAScript 语言值 done )) 或 抛出完成)。 它通过调用 iteratorRecord .[[NextMethod]] 从 iteratorRecord .[[Iterator]] 请求下一个值，并返回 done （表示迭代器已到达末尾）或在存在下一个值时返回 IteratorResult 对象中的值。 调用时执行以下步骤：
令 result 为 ? IteratorStep iteratorRecord )。 如果 result 是 done ，则返回 done 。 令 value 为 Completion IteratorValue result ))。 如果 value 是抛出完成，则将 iteratorRecord .[[Done]] 设置为 true 。 返回 ? value 。
7.4.11 IteratorClose ( iteratorRecord , completion )抽象操作 iteratorRecord (Iterator 记录 completion (完成记录 完成记录
断言 iteratorRecord .[[Iterator]] 是 Object。令 iterator 为 iteratorRecord .[[Iterator]] 。 令 innerResult 为 Completion GetMethod iterator , "return" ))。 如果 innerResult 是正常完成 令 return 为 innerResult .[[Value]] 。 如果 return 是 undefined ，则返回 ? completion 。 将 innerResult 设置为 Completion Call return , iterator ))。 如果 completion 是抛出完成，则返回 ? completion 。 如果 innerResult 是抛出完成，则返回 ? innerResult 。 如果 innerResult .[[Value]] 不是 Object，则抛出 TypeError 异常。 返回 ? completion 。
7.4.12 IteratorCloseAll ( iterators , completion )抽象操作 iterators (列表 Iterator 记录 completion (完成记录 完成记录
对 iterators 的每个元素 iterator ，按 List 将 completion 设置为 Completion IteratorClose iterator , completion ))。 返回 ? completion 。
7.4.13 IfAbruptCloseIterator ( value , iteratorRecord )IfAbruptCloseIterator 是使用 Iterator Record
IfAbruptCloseIterator value , iteratorRecord )。与以下内容含义相同：
断言 value 是 Completion Record 如果 value 是突然完成 IteratorClose iteratorRecord , value )。 将 value 设置为 ! value 。
7.4.14 IfAbruptCloseIterators ( value , iteratorRecords )IfAbruptCloseIterators 是使用 Iterator Record
IfAbruptCloseIterators value , iteratorRecords )。与以下内容含义相同：
断言 value 是 Completion Record 如果 value 是突然完成 IteratorCloseAll iteratorRecords , value )。 将 value 设置为 ! value 。
7.4.15 AsyncIteratorClose ( iteratorRecord , completion )抽象操作 iteratorRecord (Iterator 记录 completion (完成记录 完成记录
断言 iteratorRecord .[[Iterator]] 是 Object。令 iterator 为 iteratorRecord .[[Iterator]] 。 令 innerResult 为 Completion GetMethod iterator , "return" ))。 如果 innerResult 是正常完成 令 return 为 innerResult .[[Value]] 。 如果 return 是 undefined ，则返回 ? completion 。 将 innerResult 设置为 Completion Call return , iterator ))。 如果 innerResult 是正常完成 innerResult 设置为 Completion Await innerResult .[[Value]] ))。 如果 completion 是抛出完成，则返回 ? completion 。 如果 innerResult 是抛出完成，则返回 ? innerResult 。 如果 innerResult .[[Value]] 不是 Object，则抛出 TypeError 异常。 返回 ? completion 。
7.4.16 IfAbruptCloseAsyncIterator ( value , iteratorRecord )IfAbruptCloseAsyncIterator 是使用 Iterator Record
IfAbruptCloseAsyncIterator value , iteratorRecord )。与以下内容含义相同：
断言 value 是 Completion Record 如果 value 是突然完成 AsyncIteratorClose iteratorRecord , value )。 将 value 设置为 ! value 。
7.4.17 CreateIteratorResultObject ( value , done )抽象操作 value (ECMAScript 语言值 done (Boolean)；返回值：an Object that conforms to the IteratorResult interface。 它创建一个符合 IteratorResult 接口
令 obj 为 OrdinaryObjectCreate %Object.prototype% 执行 ! CreateDataPropertyOrThrow obj , "value" , value )。 执行 ! CreateDataPropertyOrThrow obj , "done" , done )。 返回 obj 。
7.4.18 CreateListIteratorRecord ( list )抽象操作 list (列表 ECMAScript 语言值 Iterator 记录 Iterator Record [[NextMethod]] 返回 list 中连续的元素。 调用时执行以下步骤：
令 closure 为一个没有参数的新 Abstract Closure list ，并在被调用时执行以下步骤：对 list 的每个元素 value ，执行执行 ? GeneratorYield CreateIteratorResultObject value , false ))。 返回 NormalCompletion undefined )。 令 iterator 为 CreateIteratorFromClosure closure , empty , %Iterator.prototype% 返回 Iterator Record [[Iterator]] : iterator , [[NextMethod]] : %GeneratorPrototype.next%, [[Done]] : false }。 注
列表迭代器对象永远无法被 ECMAScript 代码直接访问。
7.4.19 IteratorToList ( iteratorRecord )抽象操作 iteratorRecord (Iterator 记录 正常完成 列表 ECMAScript 语言值
令 values 为新的空 List 重复执行，令 next 为 ? IteratorStepValue iteratorRecord )。 如果 next 是 done ，则返回 values 。 将 next 追加到 values 。