23 索引集合

23.1 Array 对象

Array 是奇异对象，会对某一类属性名给予特殊处理。关于这种特殊处理的定义，见 10.4.2。

23.1.1 Array 构造器

Array 构造器：

是 %Array%。
是全局对象的 "Array" 属性的初始值。
在作为构造器调用时创建并初始化一个新的 Array。
在作为函数而非构造器调用时，也会创建并初始化一个新的 Array。因此，函数调用 Array(…) 等价于使用相同实参的对象创建表达式 new Array(…)。
是一个其行为会根据实参数量和类型而不同的函数。
可以用作类定义的 extends 子句的值。意图继承奇异 Array 行为的子类构造器必须包含对 Array 构造器的 super 调用，以初始化作为 Array 奇异对象的子类实例。不过，大多数 Array.prototype 方法都是泛型方法，并不依赖其 this 值是 Array 奇异对象。

23.1.1.1 Array ( ...`values` )

此函数在被调用时执行以下步骤：

如果 NewTarget 是 undefined，则令 newTarget 为活动函数对象；否则令 newTarget 为 NewTarget。
令 proto 为 ? GetPrototypeFromConstructor(newTarget, "%Array.prototype%")。
令 numberOfArgs 为 values 中元素的数量。
如果 numberOfArgs = 0，则返回 ! ArrayCreate(0, proto)。
如果 numberOfArgs = 1，则
1. 令 length 为 values[0]。
2. 令 array 为 ! ArrayCreate(0, proto)。
3. 如果 length 不是 Number，则
  1. 执行 ! CreateDataPropertyOrThrow(array, "0", length)。
  2. 令 intLength 为 1_𝔽。
4. 否则，
  1. 令 intLength 为 ! ToUint32(length)。
  2. 如果 SameValueZero(intLength, length) 是 false，则抛出 RangeError 异常。
5. 执行 ! Set(array, "length", intLength, true)。
6. 返回 array。
断言：numberOfArgs ≥ 2。
令 array 为 ? ArrayCreate(numberOfArgs, proto)。
令 k 为 0。
重复，只要 k < numberOfArgs，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 itemK 为 values[k]。
3. 执行 ! CreateDataPropertyOrThrow(array, propertyKey, itemK)。
4. 将 k 设置为 k + 1。
断言：array 的 "length" 属性的数学值是 numberOfArgs。
返回 array。

23.1.2 Array 构造器的属性

Array 构造器：

具有一个 [[Prototype]] 内部槽，其值为 %Function.prototype%。
具有一个 "length" 属性，其值为 1_𝔽。
具有以下属性：

23.1.2.1 Array.from ( `items` [ , `mapper` [ , `thisArg` ] ] )

此函数在被调用时执行以下步骤：

令 ctor 为 this 值。
如果 mapper 是 undefined，则
1. 令 mapping 为 false。
否则，
1. 如果 IsCallable(mapper) 是 false，则抛出 TypeError 异常。
2. 令 mapping 为 true。
令 usingIterator 为 ? GetMethod(items, %Symbol.iterator%)。
如果 usingIterator 不是 undefined，则
1. 如果 IsConstructor(ctor) 是 true，则
  1. 令 array 为 ? Construct(ctor)。
2. 否则，
  1. 令 array 为 ! ArrayCreate(0)。
3. 令 iteratorRecord 为 ? GetIteratorFromMethod(items, usingIterator)。
4. 令 k 为 0。
5. 重复，
  1. 如果 k ≥ 2⁵³ - 1，则
    1. 令 error 为 ThrowCompletion(一个新创建的 TypeError 对象)。
    2. 返回 ? IteratorClose(iteratorRecord, error)。
  2. 令 propertyKey 为 ! ToString(𝔽(k))。
  3. 令 next 为 ? IteratorStepValue(iteratorRecord)。
  4. 如果 next 是 done，则
    1. 执行 ? Set(array, "length", 𝔽(k), true)。
    2. 返回 array。
  5. 如果 mapping 是 true，则
    1. 令 mappedValue 为 Completion(Call(mapper, thisArg, « next, 𝔽(k) »))。
    2. IfAbruptCloseIterator(mappedValue, iteratorRecord)。
  6. 否则，
    1. 令 mappedValue 为 next。
  7. 令 defineStatus 为 Completion(CreateDataPropertyOrThrow(array, propertyKey, mappedValue))。
  8. IfAbruptCloseIterator(defineStatus, iteratorRecord)。
  9. 将 k 设置为 k + 1。
注：items 不可迭代，因此假定它是一个类数组对象。
令 arrayLike 为 ! ToObject(items)。
令 length 为 ? LengthOfArrayLike(arrayLike)。
如果 IsConstructor(ctor) 是 true，则
1. 令 array 为 ? Construct(ctor, « 𝔽(length) »)。
否则，
1. 令 array 为 ? ArrayCreate(length)。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kValue 为 ? Get(arrayLike, propertyKey)。
3. 如果 mapping 是 true，则
  1. 令 mappedValue 为 ? Call(mapper, thisArg, « kValue, 𝔽(k) »)。
4. 否则，
  1. 令 mappedValue 为 kValue。
5. 执行 ? CreateDataPropertyOrThrow(array, propertyKey, mappedValue)。
6. 将 k 设置为 k + 1。
执行 ? Set(array, "length", 𝔽(length), true)。
返回 array。

Note

此方法是有意设计为泛型的工厂方法；它不要求其 this 值是 Array 构造器。因此，它可以被转移到或被其他任何可用单个数值实参调用的构造器继承。

23.1.2.2 Array.fromAsync ( `items` [ , `mapper` [ , `thisArg` ] ] )

此 async 函数在被调用时执行以下步骤：

令 ctor 为 this 值。
令 mapping 为 false。
如果 mapper 不是 undefined，则
1. 如果 IsCallable(mapper) 是 false，则抛出 TypeError 异常。
2. 将 mapping 设置为 true。
令 iteratorRecord 为 undefined。
令 usingAsyncIterator 为 ? GetMethod(items, %Symbol.asyncIterator%)。
如果 usingAsyncIterator 是 undefined，则
1. 令 usingSyncIterator 为 ? GetMethod(items, %Symbol.iterator%)。
2. 如果 usingSyncIterator 不是 undefined，则
  1. 将 iteratorRecord 设置为 CreateAsyncFromSyncIterator(? GetIteratorFromMethod(items, usingSyncIterator))。
否则，
1. 将 iteratorRecord 设置为 ? GetIteratorFromMethod(items, usingAsyncIterator)。
如果 iteratorRecord 不是 undefined，则
1. 如果 IsConstructor(ctor) 是 true，则
  1. 令 array 为 ? Construct(ctor)。
2. 否则，
  1. 令 array 为 ! ArrayCreate(0)。
3. 令 k 为 0。
4. 重复，
  1. 如果 k ≥ 2⁵³ - 1，则
    1. 令 error 为 ThrowCompletion(一个新创建的 TypeError 对象)。
    2. 返回 ? AsyncIteratorClose(iteratorRecord, error)。
  2. 令 propertyKey 为 ! ToString(𝔽(k))。
  3. 令 nextResult 为 ? Call(iteratorRecord.[[NextMethod]], iteratorRecord.[[Iterator]])。
  4. 将 nextResult 设置为 ? Await(nextResult)。
  5. 如果 nextResult 不是 Object，则抛出 TypeError 异常。
  6. 令 done 为 ? IteratorComplete(nextResult)。
  7. 如果 done 是 true，则
    1. 执行 ? Set(array, "length", 𝔽(k), true)。
    2. 返回 array。
  8. 令 nextValue 为 ? IteratorValue(nextResult)。
  9. 如果 mapping 是 true，则
    1. 令 mappedValue 为 Completion(Call(mapper, thisArg, « nextValue, 𝔽(k) »))。
    2. IfAbruptCloseAsyncIterator(mappedValue, iteratorRecord)。
    3. 将 mappedValue 设置为 Completion(Await(mappedValue))。
    4. IfAbruptCloseAsyncIterator(mappedValue, iteratorRecord)。
  10. 否则，
    1. 令 mappedValue 为 nextValue。
  11. 令 defineStatus 为 Completion(CreateDataPropertyOrThrow(array, propertyKey, mappedValue))。
  12. IfAbruptCloseAsyncIterator(defineStatus, iteratorRecord)。
  13. 将 k 设置为 k + 1。
否则，
1. 注：items 既不是异步可迭代也不是可迭代，因此假定它是一个类数组对象。
2. 令 arrayLike 为 ! ToObject(items)。
3. 令 length 为 ? LengthOfArrayLike(arrayLike)。
4. 如果 IsConstructor(ctor) 是 true，则
  1. 令 array 为 ? Construct(ctor, « 𝔽(length) »)。
5. 否则，
  1. 令 array 为 ? ArrayCreate(length)。
6. 令 k 为 0。
7. 重复，只要 k < length，
  1. 令 propertyKey 为 ! ToString(𝔽(k))。
  2. 令 kValue 为 ? Get(arrayLike, propertyKey)。
  3. 将 kValue 设置为 ? Await(kValue)。
  4. 如果 mapping 是 true，则
    1. 令 mappedValue 为 ? Call(mapper, thisArg, « kValue, 𝔽(k) »)。
    2. 将 mappedValue 设置为 ? Await(mappedValue)。
  5. 否则，
    1. 令 mappedValue 为 kValue。
  6. 执行 ? CreateDataPropertyOrThrow(array, propertyKey, mappedValue)。
  7. 将 k 设置为 k + 1。
8. 执行 ? Set(array, "length", 𝔽(length), true)。
9. 返回 array。

Note

此方法是有意设计为泛型的工厂方法；它不要求其 this 值是 Array 构造器。因此，它可以被转移到或被其他任何可用单个数值实参调用的构造器继承。

23.1.2.3 Array.isArray ( `arg` )

此函数在被调用时执行以下步骤：

返回 ? IsArray(arg)。

23.1.2.4 Array.of ( ...`items` )

此方法在被调用时执行以下步骤：

令 length 为 items 中元素的数量。
令 lengthNumber 为 𝔽(length)。
令 ctor 为 this 值。
如果 IsConstructor(ctor) 是 true，则
1. 令 array 为 ? Construct(ctor, « lengthNumber »)。
否则，
1. 令 array 为 ? ArrayCreate(length)。
令 k 为 0。
重复，只要 k < length，
1. 令 kValue 为 items[k]。
2. 令 propertyKey 为 ! ToString(𝔽(k))。
3. 执行 ? CreateDataPropertyOrThrow(array, propertyKey, kValue)。
4. 将 k 设置为 k + 1。
执行 ? Set(array, "length", lengthNumber, true)。
返回 array。

Note

此方法是有意设计为泛型的工厂方法；它不要求其 this 值是 Array 构造器。因此，它可以被转移到或被其他可用单个数值实参调用的构造器继承。

23.1.2.5 Array.prototype

Array.prototype 的值是 Array 原型对象。

此属性具有特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }。

23.1.2.6 get Array [ %Symbol.species% ]

Array[%Symbol.species%] 是访问器属性，其 set 访问器函数是 undefined。其 get 访问器函数在被调用时执行以下步骤：

返回 this 值。

此函数的 "name" 属性的值是 "get [Symbol.species]"。

Note

Array 原型方法通常使用其 this 值的构造器来创建派生对象。不过，子类构造器可以通过重新定义其 %Symbol.species% 属性来覆盖这种默认行为。

23.1.3 Array 原型对象的属性

Array 原型对象：

是 %Array.prototype%。
是 Array 奇异对象，并具有为这类对象指定的内部方法。
具有一个 "length" 属性，其初始值为 +0_𝔽，并且其特性为 { [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false }。
具有一个 [[Prototype]] 内部槽，其值为 %Object.prototype%。

Note

Array 原型对象被指定为 Array 奇异对象，是为了确保与 ECMAScript 2015 规范之前创建的 ECMAScript 代码兼容。

23.1.3.1 Array.prototype.at ( `index` )

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 relativeIndex 为 ? ToIntegerOrInfinity(index)。
如果 relativeIndex ≥ 0，则
1. 令 k 为 relativeIndex。
否则，
1. 令 k 为 length + relativeIndex。
如果 k < 0 或 k ≥ length，则返回 undefined。
返回 ? Get(obj, ! ToString(𝔽(k)))。

23.1.3.2 Array.prototype.concat ( ...`items` )

此方法返回一个数组，其中包含该对象的数组元素，随后是每个实参的数组元素。

它在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 array 为 ? ArraySpeciesCreate(obj, 0)。
令 nextIndex 为 0。
将 obj 前置到 items。
对 items 的每个元素 item，执行：
1. 令 spreadable 为 ? IsConcatSpreadable(item)。
2. 如果 spreadable 是 true，则
  1. 令 length 为 ? LengthOfArrayLike(item)。
  2. 如果 nextIndex + length > 2⁵³ - 1，则抛出 TypeError 异常。
  3. 令 sourceIndex 为 0。
  4. 重复，只要 sourceIndex < length，
    1. 令 propertyKey 为 ! ToString(𝔽(sourceIndex))。
    2. 令 exists 为 ? HasProperty(item, propertyKey)。
    3. 如果 exists 是 true，则
      1. 令 subElement 为 ? Get(item, propertyKey)。
      2. 执行 ? CreateDataPropertyOrThrow(array, ! ToString(𝔽(nextIndex)), subElement)。
    4. 将 nextIndex 设置为 nextIndex + 1。
    5. 将 sourceIndex 设置为 sourceIndex + 1。
3. 否则，
  1. 注：item 会作为单个项添加，而不是被展开。
  2. 如果 nextIndex ≥ 2⁵³ - 1，则抛出 TypeError 异常。
  3. 执行 ? CreateDataPropertyOrThrow(array, ! ToString(𝔽(nextIndex)), item)。
  4. 将 nextIndex 设置为 nextIndex + 1。
执行 ? Set(array, "length", 𝔽(nextIndex), true)。
返回 array。

此方法的 "length" 属性是 1_𝔽。

Note 1

步骤 6 中显式设置 "length" 属性，是为了确保当 items 的最后一个非空元素带有尾随空洞，或 array 不是内置 Array 时，长度仍然正确。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.2.1 IsConcatSpreadable ( `obj` )

The abstract operation IsConcatSpreadable takes argument obj (an ECMAScript language value) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

如果 obj 不是 Object，则返回 false。
令 spreadable 为 ? Get(obj, %Symbol.isConcatSpreadable%)。
如果 spreadable 不是 undefined，则返回 ToBoolean(spreadable)。
返回 ? IsArray(obj)。

23.1.3.3 Array.prototype.constructor

Array.prototype.constructor 的初始值是 %Array%。

23.1.3.4 Array.prototype.copyWithin ( `target`, `start` [ , `end` ] )

Note 1

end 实参是可选的。如果未提供，则使用 this 值的长度。

Note 2

如果 target 为负，则将其视为 length + target，其中 length 是数组的长度。如果 start 为负，则将其视为 length + start。如果 end 为负，则将其视为 length + end。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 relativeTarget 为 ? ToIntegerOrInfinity(target)。
如果 relativeTarget = -∞，则令 to 为 0。
否则，如果 relativeTarget < 0，则令 to 为 max(length + relativeTarget, 0)。
否则，令 to 为 min(relativeTarget, length)。
令 relativeStart 为 ? ToIntegerOrInfinity(start)。
如果 relativeStart = -∞，则令 from 为 0。
否则，如果 relativeStart < 0，则令 from 为 max(length + relativeStart, 0)。
否则，令 from 为 min(relativeStart, length)。
如果 end 是 undefined，则令 relativeEnd 为 length；否则令 relativeEnd 为 ? ToIntegerOrInfinity(end)。
如果 relativeEnd = -∞，则令 final 为 0。
否则，如果 relativeEnd < 0，则令 final 为 max(length + relativeEnd, 0)。
否则，令 final 为 min(relativeEnd, length)。
令 count 为 min(final - from, length - to)。
如果 from < to 且 to < from + count，则
1. 令 direction 为 -1。
2. 将 from 设置为 from + count - 1。
3. 将 to 设置为 to + count - 1。
否则，
1. 令 direction 为 1。
重复，只要 count > 0，
1. 令 fromKey 为 ! ToString(𝔽(from))。
2. 令 toKey 为 ! ToString(𝔽(to))。
3. 令 fromPresent 为 ? HasProperty(obj, fromKey)。
4. 如果 fromPresent 是 true，则
  1. 令 fromValue 为 ? Get(obj, fromKey)。
  2. 执行 ? Set(obj, toKey, fromValue, true)。
5. 否则，
  1. 断言：fromPresent 是 false。
  2. 执行 ? DeletePropertyOrThrow(obj, toKey)。
6. 将 from 设置为 from + direction。
7. 将 to 设置为 to + direction。
8. 将 count 设置为 count - 1。
返回 obj。

Note 3

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.5 Array.prototype.entries ( )

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
返回 CreateArrayIterator(obj, key+value)。

23.1.3.6 Array.prototype.every ( `callback` [ , `thisArg` ] )

Note 1

callback 应当是一个接受三个实参并返回可强制转换为 Boolean 值的值的函数。every 会按升序为数组中每个存在的元素调用一次 callback，直到找到一个 callback 返回 false 的元素。如果找到这样的元素，every 立即返回 false。否则，every 返回 true。callback 只会对数组中实际存在的元素调用；不会对数组中缺失的元素调用。

如果提供了 thisArg 参数，则它会被用作每次调用 callback 时的 this 值。如果未提供，则改用 undefined。

callback 会以三个实参调用：元素的值、元素的索引，以及正在遍历的对象。

every 不会直接改变调用它的对象，但该对象可能会被对 callback 的调用改变。

every 处理的元素范围会在第一次调用 callback 之前确定。在对 every 的调用开始之后追加到数组中的元素，不会被 callback 访问。如果数组中已有元素被改变，传给 callback 的值将是 every 访问它们时的值；在对 every 的调用开始之后且被访问之前被删除的元素不会被访问。every 的行为类似于数学中的“对于所有”量词。特别是，对于空数组，它返回 true。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kPresent 为 ? HasProperty(obj, propertyKey)。
3. 如果 kPresent 是 true，则
  1. 令 kValue 为 ? Get(obj, propertyKey)。
  2. 令 testResult 为 ToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), obj »))。
  3. 如果 testResult 是 false，则返回 false。
4. 将 k 设置为 k + 1。
返回 true。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.7 Array.prototype.fill ( `value` [ , `start` [ , `end` ] ] )

Note 1

start 实参是可选的。如果未提供，则使用 +0_𝔽。

end 实参是可选的。如果未提供，则使用 this 值的长度。

Note 2

如果 start 为负，则将其视为 length + start，其中 length 是数组的长度。如果 end 为负，则将其视为 length + end。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 relativeStart 为 ? ToIntegerOrInfinity(start)。
如果 relativeStart = -∞，则令 k 为 0。
否则，如果 relativeStart < 0，则令 k 为 max(length + relativeStart, 0)。
否则，令 k 为 min(relativeStart, length)。
如果 end 是 undefined，则令 relativeEnd 为 length；否则令 relativeEnd 为 ? ToIntegerOrInfinity(end)。
如果 relativeEnd = -∞，则令 final 为 0。
否则，如果 relativeEnd < 0，则令 final 为 max(length + relativeEnd, 0)。
否则，令 final 为 min(relativeEnd, length)。
重复，只要 k < final，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 执行 ? Set(obj, propertyKey, value, true)。
3. 将 k 设置为 k + 1。
返回 obj。

Note 3

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.8 Array.prototype.filter ( `callback` [ , `thisArg` ] )

Note 1

callback 应当是一个接受三个实参并返回可强制转换为 Boolean 值的值的函数。filter 会按升序为数组中每个元素调用一次 callback，并构造一个包含所有 callback 返回 true 的值的新数组。callback 只会对数组中实际存在的元素调用；不会对数组中缺失的元素调用。

如果提供了 thisArg 参数，则它会被用作每次调用 callback 时的 this 值。如果未提供，则改用 undefined。

callback 会以三个实参调用：元素的值、元素的索引，以及正在遍历的对象。

filter 不会直接改变调用它的对象，但该对象可能会被对 callback 的调用改变。

filter 处理的元素范围会在第一次调用 callback 之前确定。在对 filter 的调用开始之后追加到数组中的元素，不会被 callback 访问。如果数组中已有元素被改变，传给 callback 的值将是 filter 访问它们时的值；在对 filter 的调用开始之后且被访问之前被删除的元素不会被访问。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
令 array 为 ? ArraySpeciesCreate(obj, 0)。
令 k 为 0。
令 to 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kPresent 为 ? HasProperty(obj, propertyKey)。
3. 如果 kPresent 是 true，则
  1. 令 kValue 为 ? Get(obj, propertyKey)。
  2. 令 selected 为 ToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), obj »))。
  3. 如果 selected 是 true，则
    1. 执行 ? CreateDataPropertyOrThrow(array, ! ToString(𝔽(to)), kValue)。
    2. 将 to 设置为 to + 1。
4. 将 k 设置为 k + 1。
返回 array。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.9 Array.prototype.find ( `predicate` [ , `thisArg` ] )

Note 1

此方法会按索引升序为数组的每个元素调用一次 predicate，直到找到一个 predicate 返回会被强制转换为 true 的值的元素。如果找到这样的元素，find 立即返回该元素值。否则，find 返回 undefined。

更多信息见 FindViaPredicate。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 findRecord 为 ? FindViaPredicate(obj, length, ascending, predicate, thisArg)。
返回 findRecord.[[Value]]。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.10 Array.prototype.findIndex ( `predicate` [ , `thisArg` ] )

Note 1

此方法会按索引升序为数组的每个元素调用一次 predicate，直到找到一个 predicate 返回会被强制转换为 true 的值的元素。如果找到这样的元素，findIndex 立即返回该元素值的索引。否则，findIndex 返回 -1。

更多信息见 FindViaPredicate。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 findRecord 为 ? FindViaPredicate(obj, length, ascending, predicate, thisArg)。
返回 findRecord.[[Index]]。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.11 Array.prototype.findLast ( `predicate` [ , `thisArg` ] )

Note 1

此方法会按索引降序为数组的每个元素调用一次 predicate，直到找到一个 predicate 返回会被强制转换为 true 的值的元素。如果找到这样的元素，findLast 立即返回该元素值。否则，findLast 返回 undefined。

更多信息见 FindViaPredicate。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 findRecord 为 ? FindViaPredicate(obj, length, descending, predicate, thisArg)。
返回 findRecord.[[Value]]。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array 对象。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.12 Array.prototype.findLastIndex ( `predicate` [ , `thisArg` ] )

Note 1

此方法会按索引降序为数组的每个元素调用一次 predicate，直到找到一个 predicate 返回会被强制转换为 true 的值的元素。如果找到这样的元素，findLastIndex 立即返回该元素值的索引。否则，findLastIndex 返回 -1。

更多信息见 FindViaPredicate。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 findRecord 为 ? FindViaPredicate(obj, length, descending, predicate, thisArg)。
返回 findRecord.[[Index]]。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array 对象。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.12.1 FindViaPredicate ( `obj`, `length`, `direction`, `predicate`, `thisArg` )

The abstract operation FindViaPredicate takes arguments obj (an Object), length (a non-negative integer), direction (ascending or descending), predicate (an ECMAScript language value), and thisArg (an ECMAScript language value) and returns either a normal completion containing a Record with fields [[Index]] (an integral Number) and [[Value]] (an ECMAScript language value) or a throw completion.

obj 应当是类数组对象或 TypedArray。此操作会按升序索引顺序或降序索引顺序（由 direction 指示）为 obj 的每个元素调用一次 predicate，直到找到一个 predicate 返回会被强制转换为 true 的值的元素。此时，此操作返回一个 Record，其中给出找到元素的索引和值。如果未找到这样的元素，此操作返回一个 Record，其索引指定为 -1_𝔽，值指定为 undefined。

predicate 应当是一个函数。为数组的某个元素调用时，会传入三个实参：元素的值、元素的索引，以及正在遍历的对象。其返回值会被强制转换为 Boolean 值。

thisArg 会被用作每次调用 predicate 时的 this 值。

此操作不会直接改变调用它的对象，但该对象可能会被对 predicate 的调用改变。

处理的元素范围会在第一次调用 predicate 之前、即遍历开始前确定。在此之后追加到数组中的元素不会被 predicate 访问。如果数组中已有元素被改变，传给 predicate 的值将是此操作访问它们时的值。在遍历开始之后且被访问之前被删除的元素仍会被访问，并且要么从原型查找，要么为 undefined。

It performs the following steps when called:

如果 IsCallable(predicate) 是 false，则抛出 TypeError 异常。
如果 direction 是 ascending，则
1. 令 indices 为从 0（包含）到 length（不包含）区间内的整数 List，按升序排列。
否则，
1. 令 indices 为从 0（包含）到 length（不包含）区间内的整数 List，按降序排列。
对 indices 的每个整数 k，执行：
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 注：如果 obj 是 TypedArray，则以下 Get 调用将返回正常完成。
3. 令 kValue 为 ? Get(obj, propertyKey)。
4. 令 testResult 为 ? Call(predicate, thisArg, « kValue, 𝔽(k), obj »)。
5. 如果 ToBoolean(testResult) 是 true，则返回 Record { [[Index]]: 𝔽(k), [[Value]]: kValue }。
返回 Record { [[Index]]: -1_𝔽, [[Value]]: undefined }。

23.1.3.13 Array.prototype.flat ( [ `depth` ] )

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 sourceLength 为 ? LengthOfArrayLike(obj)。
令 depthNumber 为 1。
如果 depth 不是 undefined，则
1. 将 depthNumber 设置为 ? ToIntegerOrInfinity(depth)。
2. 如果 depthNumber < 0，则将 depthNumber 设置为 0。
令 array 为 ? ArraySpeciesCreate(obj, 0)。
执行 ? FlattenIntoArray(array, obj, sourceLength, 0, depthNumber)。
返回 array。

23.1.3.13.1 FlattenIntoArray ( `target`, `source`, `sourceLength`, `start`, `depth` [ , `mapperFunc` [ , `thisArg` ] ] )

The abstract operation FlattenIntoArray takes arguments target (an Object), source (an Object), sourceLength (a non-negative integer), start (a non-negative integer), and depth (a non-negative integer or +∞) and optional arguments mapperFunc (a function object) and thisArg (an ECMAScript language value) and returns either a normal completion containing a non-negative integer or a throw completion. It performs the following steps when called:

断言：如果 mapperFunc 存在，则 IsCallable(mapperFunc) 是 true，thisArg 存在，且 depth 是 1。
令 targetIndex 为 start。
令 sourceIndex 为 +0_𝔽。
重复，只要 ℝ(sourceIndex) < sourceLength，
1. 令 propertyKey 为 ! ToString(sourceIndex)。
2. 令 exists 为 ? HasProperty(source, propertyKey)。
3. 如果 exists 是 true，则
  1. 令 element 为 ? Get(source, propertyKey)。
  2. 如果 mapperFunc 存在，则
    1. 将 element 设置为 ? Call(mapperFunc, thisArg, « element, sourceIndex, source »)。
  3. 令 shouldFlatten 为 false。
  4. 如果 depth > 0，则
    1. 将 shouldFlatten 设置为 ? IsArray(element)。
  5. 如果 shouldFlatten 是 true，则
    1. 如果 depth = +∞，则令 newDepth 为 +∞。
    2. 否则，令 newDepth 为 depth - 1。
    3. 令 elementLength 为 ? LengthOfArrayLike(element)。
    4. 将 targetIndex 设置为 ? FlattenIntoArray(target, element, elementLength, targetIndex, newDepth)。
  6. 否则，
    1. 如果 targetIndex ≥ 2⁵³ - 1，则抛出 TypeError 异常。
    2. 执行 ? CreateDataPropertyOrThrow(target, ! ToString(𝔽(targetIndex)), element)。
    3. 将 targetIndex 设置为 targetIndex + 1。
4. 将 sourceIndex 设置为 sourceIndex + 1_𝔽。
返回 targetIndex。

23.1.3.14 Array.prototype.flatMap ( `mapperFunc` [ , `thisArg` ] )

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 sourceLength 为 ? LengthOfArrayLike(obj)。
如果 IsCallable(mapperFunc) 是 false，则抛出 TypeError 异常。
令 array 为 ? ArraySpeciesCreate(obj, 0)。
执行 ? FlattenIntoArray(array, obj, sourceLength, 0, 1, mapperFunc, thisArg)。
返回 array。

23.1.3.15 Array.prototype.forEach ( `callback` [ , `thisArg` ] )

Note 1

callback 应当是一个接受三个实参的函数。forEach 会按升序为数组中每个存在的元素调用一次 callback。callback 只会对数组中实际存在的元素调用；不会对数组中缺失的元素调用。

如果提供了 thisArg 参数，则它会被用作每次调用 callback 时的 this 值。如果未提供，则改用 undefined。

callback 会以三个实参调用：元素的值、元素的索引，以及正在遍历的对象。

forEach 不会直接改变调用它的对象，但该对象可能会被对 callback 的调用改变。

forEach 处理的元素范围会在第一次调用 callback 之前确定。在对 forEach 的调用开始之后追加到数组中的元素，不会被 callback 访问。如果数组中已有元素被改变，传给 callback 的值将是 forEach 访问它们时的值；在对 forEach 的调用开始之后且被访问之前被删除的元素不会被访问。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kPresent 为 ? HasProperty(obj, propertyKey)。
3. 如果 kPresent 是 true，则
  1. 令 kValue 为 ? Get(obj, propertyKey)。
  2. 执行 ? Call(callback, thisArg, « kValue, 𝔽(k), obj »)。
4. 将 k 设置为 k + 1。
返回 undefined。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.16 Array.prototype.includes ( `searchElement` [ , `fromIndex` ] )

Note 1

此方法使用 SameValueZero 算法按升序把 searchElement 与数组的各元素比较；如果在任意位置找到，则返回 true；否则返回 false。

可选第二实参 fromIndex 默认为 +0_𝔽（即搜索整个数组）。如果它大于或等于数组长度，则返回 false，即不会搜索数组。如果它小于 -0_𝔽，则将其用作从数组末尾起的偏移来计算 fromIndex。如果计算得到的索引小于或等于 +0_𝔽，则会搜索整个数组。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
如果 length = 0，则返回 false。
令 startIndex 为 ? ToIntegerOrInfinity(fromIndex)。
断言：如果 fromIndex 是 undefined，则 startIndex 是 0。
如果 startIndex = +∞，则返回 false。
如果 startIndex = -∞，则将 startIndex 设置为 0。
如果 startIndex ≥ 0，则
1. 令 k 为 startIndex。
否则，
1. 令 k 为 length + startIndex。
2. 如果 k < 0，则将 k 设置为 0。
重复，只要 k < length，
1. 令 elementK 为 ? Get(obj, ! ToString(𝔽(k)))。
2. 如果 SameValueZero(searchElement, elementK) 是 true，则返回 true。
3. 将 k 设置为 k + 1。
返回 false。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

Note 3

此方法有意在两个方面不同于类似的 indexOf 方法。首先，它使用 SameValueZero 算法而非 IsStrictlyEqual，从而允许检测 NaN 数组元素。其次，它不会跳过缺失的数组元素，而是将它们视为 undefined。

23.1.3.17 Array.prototype.indexOf ( `searchElement` [ , `fromIndex` ] )

此方法使用 IsStrictlyEqual 算法按升序把 searchElement 与数组的各元素比较；如果在一个或多个索引处找到，则返回这样的最小索引；否则返回 -1_𝔽。

Note 1

可选第二实参 fromIndex 默认为 +0_𝔽（即搜索整个数组）。如果它大于或等于数组长度，则返回 -1_𝔽，即不会搜索数组。如果它小于 -0_𝔽，则将其用于计算从数组末尾起的偏移。如果计算得到的索引小于或等于 +0_𝔽，则会搜索整个数组。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
如果 length = 0，则返回 -1_𝔽。
令 startIndex 为 ? ToIntegerOrInfinity(fromIndex)。
断言：如果 fromIndex 是 undefined，则 startIndex 是 0。
如果 startIndex = +∞，则返回 -1_𝔽。
如果 startIndex = -∞，则将 startIndex 设置为 0。
如果 startIndex ≥ 0，则
1. 令 k 为 startIndex。
否则，
1. 令 k 为 length + startIndex。
2. 如果 k < 0，则将 k 设置为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kPresent 为 ? HasProperty(obj, propertyKey)。
3. 如果 kPresent 是 true，则
  1. 令 elementK 为 ? Get(obj, propertyKey)。
  2. 如果 IsStrictlyEqual(searchElement, elementK) 是 true，则返回 𝔽(k)。
4. 将 k 设置为 k + 1。
返回 -1_𝔽。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.18 Array.prototype.join ( `separator` )

此方法将数组的元素转换为 String，然后将这些 String 连接起来，并由 separator 的出现分隔。如果未提供 separator，则使用单个逗号作为 separator。

它在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
如果 separator 是 undefined，则令 sep 为 ","。
否则，令 sep 为 ? ToString(separator)。
令 result 为空 String。
令 k 为 0。
重复，只要 k < length，
1. 如果 k > 0，则将 result 设置为 result 和 sep 的字符串连接。
2. 令 element 为 ? Get(obj, ! ToString(𝔽(k)))。
3. 如果 element 既不是 undefined 也不是 null，则
  1. 令 elementString 为 ? ToString(element)。
  2. 将 result 设置为 result 和 elementString 的字符串连接。
4. 将 k 设置为 k + 1。
返回 result。

Note

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.19 Array.prototype.keys ( )

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
返回 CreateArrayIterator(obj, key)。

23.1.3.20 Array.prototype.lastIndexOf ( `searchElement` [ , `fromIndex` ] )

Note 1

此方法使用 IsStrictlyEqual 算法按降序把 searchElement 与数组的各元素比较；如果在一个或多个索引处找到，则返回这样的最大索引；否则返回 -1_𝔽。

可选第二实参 fromIndex 默认为数组长度减一（即搜索整个数组）。如果它大于或等于数组长度，则会搜索整个数组。如果它小于 -0_𝔽，则将其用于计算从数组末尾起的偏移。如果计算得到的索引小于 -0_𝔽，则返回 -1_𝔽。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
如果 length = 0，则返回 -1_𝔽。
如果 fromIndex 存在，则令 startIndex 为 ? ToIntegerOrInfinity(fromIndex)；否则令 startIndex 为 length - 1。
如果 startIndex = -∞，则返回 -1_𝔽。
如果 startIndex ≥ 0，则
1. 令 k 为 min(startIndex, length - 1)。
否则，
1. 令 k 为 length + startIndex。
重复，只要 k ≥ 0，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kPresent 为 ? HasProperty(obj, propertyKey)。
3. 如果 kPresent 是 true，则
  1. 令 elementK 为 ? Get(obj, propertyKey)。
  2. 如果 IsStrictlyEqual(searchElement, elementK) 是 true，则返回 𝔽(k)。
4. 将 k 设置为 k - 1。
返回 -1_𝔽。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.21 Array.prototype.map ( `callback` [ , `thisArg` ] )

Note 1

callback 应当是一个接受三个实参的函数。map 会按升序为数组中每个元素调用一次 callback，并根据结果构造一个新的 Array。callback 只会对数组中实际存在的元素调用；不会对数组中缺失的元素调用。

如果提供了 thisArg 参数，则它会被用作每次调用 callback 时的 this 值。如果未提供，则改用 undefined。

callback 会以三个实参调用：元素的值、元素的索引，以及正在遍历的对象。

map 不会直接改变调用它的对象，但该对象可能会被对 callback 的调用改变。

map 处理的元素范围会在第一次调用 callback 之前确定。在对 map 的调用开始之后追加到数组中的元素，不会被 callback 访问。如果数组中已有元素被改变，传给 callback 的值将是 map 访问它们时的值；在对 map 的调用开始之后且被访问之前被删除的元素不会被访问。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
令 array 为 ? ArraySpeciesCreate(obj, length)。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kPresent 为 ? HasProperty(obj, propertyKey)。
3. 如果 kPresent 是 true，则
  1. 令 kValue 为 ? Get(obj, propertyKey)。
  2. 令 mappedValue 为 ? Call(callback, thisArg, « kValue, 𝔽(k), obj »)。
  3. 执行 ? CreateDataPropertyOrThrow(array, propertyKey, mappedValue)。
4. 将 k 设置为 k + 1。
返回 array。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.22 Array.prototype.pop ( )

Note 1

此方法移除数组的最后一个元素并返回它。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
如果 length = 0，则
1. 执行 ? Set(obj, "length", +0_𝔽, true)。
2. 返回 undefined。
断言：length > 0。
令 newLength 为 𝔽(length - 1)。
令 index 为 ! ToString(newLength)。
令 element 为 ? Get(obj, index)。
执行 ? DeletePropertyOrThrow(obj, index)。
执行 ? Set(obj, "length", newLength, true)。
返回 element。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.23 Array.prototype.push ( ...`items` )

Note 1

此方法按实参出现的顺序将它们追加到数组末尾。它返回数组的新长度。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 argCount 为 items 中元素的数量。
如果 length + argCount > 2⁵³ - 1，则抛出 TypeError 异常。
对 items 的每个元素 item，执行：
1. 执行 ? Set(obj, ! ToString(𝔽(length)), item, true)。
2. 将 length 设置为 length + 1。
执行 ? Set(obj, "length", 𝔽(length), true)。
返回 𝔽(length)。

此方法的 "length" 属性是 1_𝔽。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.24 Array.prototype.reduce ( `callback` [ , `initialValue` ] )

Note 1

callback 应当是一个接受四个实参的函数。reduce 会按升序为数组中每个存在的元素调用一次 callback，除非提供了 initialValue，否则会跳过第一个元素。

callback 会以四个实参调用：previousValue（前一次调用 callback 所得的值）、currentValue（当前元素的值）、currentIndex，以及正在遍历的对象。首次调用 callback 时，previousValue 和 currentValue 可以是两组值之一。如果调用 reduce 时提供了 initialValue，则 previousValue 将是 initialValue，currentValue 将是数组中的第一个值。如果未提供 initialValue，则 previousValue 将是数组中的第一个值，currentValue 将是第二个值。如果数组不包含任何元素且未提供 initialValue，则为 TypeError。

reduce 不会直接改变调用它的对象，但该对象可能会被对 callback 的调用改变。

reduce 处理的元素范围会在第一次调用 callback 之前确定。在对 reduce 的调用开始之后追加到数组中的元素，不会被 callback 访问。如果数组中已有元素被改变，传给 callback 的值将是 reduce 访问它们时的值；在对 reduce 的调用开始之后且被访问之前被删除的元素不会被访问。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
如果 length = 0 且 initialValue 不存在，则抛出 TypeError 异常。
令 k 为 0。
令 accumulator 为 undefined。
如果 initialValue 存在，则
1. 将 accumulator 设置为 initialValue。
否则，
1. 令 kPresent 为 false。
2. 重复，只要 kPresent 是 false 且 k < length，
  1. 令 propertyKey 为 ! ToString(𝔽(k))。
  2. 将 kPresent 设置为 ? HasProperty(obj, propertyKey)。
  3. 如果 kPresent 是 true，则
    1. 将 accumulator 设置为 ? Get(obj, propertyKey)。
  4. 将 k 设置为 k + 1。
3. 如果 kPresent 是 false，则抛出 TypeError 异常。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kPresent 为 ? HasProperty(obj, propertyKey)。
3. 如果 kPresent 是 true，则
  1. 令 kValue 为 ? Get(obj, propertyKey)。
  2. 将 accumulator 设置为 ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), obj »)。
4. 将 k 设置为 k + 1。
返回 accumulator。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.25 Array.prototype.reduceRight ( `callback` [ , `initialValue` ] )

Note 1

callback 应当是一个接受四个实参的函数。reduceRight 会按降序为数组中每个存在的元素调用一次 callback，除非提供了 initialValue，否则会跳过第一次调用。

callback 会以四个实参调用：previousValue（前一次调用 callback 所得的值）、currentValue（当前元素的值）、currentIndex，以及正在遍历的对象。首次调用该函数时，previousValue 和 currentValue 可以是两组值之一。如果调用 reduceRight 时提供了 initialValue，则 previousValue 将是 initialValue，currentValue 将是数组中的最后一个值。如果未提供 initialValue，则 previousValue 将是数组中的最后一个值，currentValue 将是倒数第二个值。如果数组不包含任何元素且未提供 initialValue，则为 TypeError。

reduceRight 不会直接改变调用它的对象，但该对象可能会被对 callback 的调用改变。

reduceRight 处理的元素范围会在第一次调用 callback 之前确定。在对 reduceRight 的调用开始之后追加到数组中的元素，不会被 callback 访问。如果数组中已有元素被 callback 改变，传给 callback 的值将是 reduceRight 访问它们时的值；在对 reduceRight 的调用开始之后且被访问之前被删除的元素不会被访问。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
如果 length = 0 且 initialValue 不存在，则抛出 TypeError 异常。
令 k 为 length - 1。
令 accumulator 为 undefined。
如果 initialValue 存在，则
1. 将 accumulator 设置为 initialValue。
否则，
1. 令 kPresent 为 false。
2. 重复，只要 kPresent 是 false 且 k ≥ 0，
  1. 令 propertyKey 为 ! ToString(𝔽(k))。
  2. 将 kPresent 设置为 ? HasProperty(obj, propertyKey)。
  3. 如果 kPresent 是 true，则
    1. 将 accumulator 设置为 ? Get(obj, propertyKey)。
  4. 将 k 设置为 k - 1。
3. 如果 kPresent 是 false，则抛出 TypeError 异常。
重复，只要 k ≥ 0，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kPresent 为 ? HasProperty(obj, propertyKey)。
3. 如果 kPresent 是 true，则
  1. 令 kValue 为 ? Get(obj, propertyKey)。
  2. 将 accumulator 设置为 ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), obj »)。
4. 将 k 设置为 k - 1。
返回 accumulator。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.26 Array.prototype.reverse ( )

Note 1

此方法重新排列数组元素，以反转它们的顺序。它返回反转后的数组。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 middle 为 floor(length / 2)。
令 lower 为 0。
重复，只要 lower ≠ middle，
1. 令 upper 为 length - lower - 1。
2. 令 upperP 为 ! ToString(𝔽(upper))。
3. 令 lowerP 为 ! ToString(𝔽(lower))。
4. 令 lowerExists 为 ? HasProperty(obj, lowerP)。
5. 如果 lowerExists 是 true，则
  1. 令 lowerValue 为 ? Get(obj, lowerP)。
6. 令 upperExists 为 ? HasProperty(obj, upperP)。
7. 如果 upperExists 是 true，则
  1. 令 upperValue 为 ? Get(obj, upperP)。
8. 如果 lowerExists 是 true 且 upperExists 是 true，则
  1. 执行 ? Set(obj, lowerP, upperValue, true)。
  2. 执行 ? Set(obj, upperP, lowerValue, true)。
9. 否则，如果 lowerExists 是 false 且 upperExists 是 true，则
  1. 执行 ? Set(obj, lowerP, upperValue, true)。
  2. 执行 ? DeletePropertyOrThrow(obj, upperP)。
10. 否则，如果 lowerExists 是 true 且 upperExists 是 false，则
  1. 执行 ? DeletePropertyOrThrow(obj, lowerP)。
  2. 执行 ? Set(obj, upperP, lowerValue, true)。
11. 否则，
  1. 断言：lowerExists 和 upperExists 都是 false。
  2. 注：不需要任何操作。
12. 将 lower 设置为 lower + 1。
返回 obj。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.27 Array.prototype.shift ( )

此方法移除数组的第一个元素并返回它。

它在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
如果 length = 0，则
1. 执行 ? Set(obj, "length", +0_𝔽, true)。
2. 返回 undefined。
令 first 为 ? Get(obj, "0")。
令 k 为 1。
重复，只要 k < length，
1. 令 from 为 ! ToString(𝔽(k))。
2. 令 to 为 ! ToString(𝔽(k - 1))。
3. 令 fromPresent 为 ? HasProperty(obj, from)。
4. 如果 fromPresent 是 true，则
  1. 令 fromValue 为 ? Get(obj, from)。
  2. 执行 ? Set(obj, to, fromValue, true)。
5. 否则，
  1. 断言：fromPresent 是 false。
  2. 执行 ? DeletePropertyOrThrow(obj, to)。
6. 将 k 设置为 k + 1。
执行 ? DeletePropertyOrThrow(obj, ! ToString(𝔽(length - 1)))。
执行 ? Set(obj, "length", 𝔽(length - 1), true)。
返回 first。

Note

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.28 Array.prototype.slice ( `start`, `end` )

此方法返回一个数组，其中包含该数组从元素 start 起，到元素 end（不包含）之前的元素（如果 end 是 undefined，则直到数组末尾）。如果 start 为负，则将其视为 length + start，其中 length 是数组的长度。如果 end 为负，则将其视为 length + end，其中 length 是数组的长度。

它在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 relativeStart 为 ? ToIntegerOrInfinity(start)。
如果 relativeStart = -∞，则令 k 为 0。
否则，如果 relativeStart < 0，则令 k 为 max(length + relativeStart, 0)。
否则，令 k 为 min(relativeStart, length)。
如果 end 是 undefined，则令 relativeEnd 为 length；否则令 relativeEnd 为 ? ToIntegerOrInfinity(end)。
如果 relativeEnd = -∞，则令 final 为 0。
否则，如果 relativeEnd < 0，则令 final 为 max(length + relativeEnd, 0)。
否则，令 final 为 min(relativeEnd, length)。
令 count 为 max(final - k, 0)。
令 array 为 ? ArraySpeciesCreate(obj, count)。
令 resultIndex 为 0。
重复，只要 k < final，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kPresent 为 ? HasProperty(obj, propertyKey)。
3. 如果 kPresent 是 true，则
  1. 令 kValue 为 ? Get(obj, propertyKey)。
  2. 执行 ? CreateDataPropertyOrThrow(array, ! ToString(𝔽(resultIndex)), kValue)。
4. 将 k 设置为 k + 1。
5. 将 resultIndex 设置为 resultIndex + 1。
执行 ? Set(array, "length", 𝔽(resultIndex), true)。
返回 array。

Note 1

步骤 15 中显式设置 "length" 属性，是为了确保即使 array 不是内置 Array，长度也正确。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.29 Array.prototype.some ( `callback` [ , `thisArg` ] )

Note 1

callback 应当是一个接受三个实参并返回可强制转换为 Boolean 值的值的函数。some 会按升序为数组中每个存在的元素调用一次 callback，直到找到一个 callback 返回 true 的元素。如果找到这样的元素，some 立即返回 true。否则，some 返回 false。callback 只会对数组中实际存在的元素调用；不会对数组中缺失的元素调用。

如果提供了 thisArg 参数，则它会被用作每次调用 callback 时的 this 值。如果未提供，则改用 undefined。

callback 会以三个实参调用：元素的值、元素的索引，以及正在遍历的对象。

some 不会直接改变调用它的对象，但该对象可能会被对 callback 的调用改变。

some 处理的元素范围会在第一次调用 callback 之前确定。在对 some 的调用开始之后追加到数组中的元素，不会被 callback 访问。如果数组中已有元素被改变，传给 callback 的值将是 some 访问它们时的值；在对 some 的调用开始之后且被访问之前被删除的元素不会被访问。some 的行为类似于数学中的“存在”量词。特别是，对于空数组，它返回 false。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kPresent 为 ? HasProperty(obj, propertyKey)。
3. 如果 kPresent 是 true，则
  1. 令 kValue 为 ? Get(obj, propertyKey)。
  2. 令 testResult 为 ToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), obj »))。
  3. 如果 testResult 是 true，则返回 true。
4. 将 k 设置为 k + 1。
返回 false。

Note 2

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.30 Array.prototype.sort ( `comparator` )

此方法对该数组的元素排序。如果 comparator 不是 undefined，则它应当是一个接受两个实参 x 和 y 的函数，并在 x < y 时返回负 Number，在 x > y 时返回正 Number，否则返回零。

它在被调用时执行以下步骤：

如果 comparator 不是 undefined 且 IsCallable(comparator) 是 false，则抛出 TypeError 异常。
令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 sortCompare 为一个新的 Abstract Closure，其参数为 (x, y)，捕获 comparator，并在被调用时执行以下步骤：
1. 返回 ? CompareArrayElements(x, y, comparator)。
令 sortedList 为 ? SortIndexedProperties(obj, length, sortCompare, skip-holes)。
令 itemCount 为 sortedList 中元素的数量。
令 j 为 0。
重复，只要 j < itemCount，
1. 执行 ? Set(obj, ! ToString(𝔽(j)), sortedList[j], true)。
2. 将 j 设置为 j + 1。
注：步骤 5 中对 SortIndexedProperties 的调用使用 skip-holes。剩余索引会被删除，以保留在排序中被检测到并排除的空洞数量。
重复，只要 j < length，
1. 执行 ? DeletePropertyOrThrow(obj, ! ToString(𝔽(j)))。
2. 将 j 设置为 j + 1。
返回 obj。

Note 1

由于不存在的属性值总是比较为大于 undefined 属性值，而 undefined 总是比较为大于任何其他值（见 CompareArrayElements），因此 undefined 属性值总是排序到结果末尾，随后是不存在的属性值。

Note 2

步骤 5 和 6 中由 ToString 抽象操作执行的方法调用，可能导致 sortCompare 不表现为一致比较器。

Note 3

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.30.1 SortIndexedProperties ( `obj`, `length`, `sortCompare`, `holes` )

The abstract operation SortIndexedProperties takes arguments obj (an Object), length (a non-negative integer), sortCompare (an Abstract Closure with two parameters), and holes (skip-holes or read-through-holes) and returns either a normal completion containing a List of ECMAScript language values or a throw completion. It performs the following steps when called:

令 items 为新的空 List。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 如果 holes 是 skip-holes，则
  1. 令 kRead 为 ? HasProperty(obj, propertyKey)。
3. 否则，
  1. 断言：holes 是 read-through-holes。
  2. 令 kRead 为 true。
4. 如果 kRead 是 true，则
  1. 令 kValue 为 ? Get(obj, propertyKey)。
  2. 将 kValue 追加到 items。
5. 将 k 设置为 k + 1。
使用实现定义的对 sortCompare 的调用序列对 items 排序。如果任何这样的调用返回突然完成，则在执行任何进一步的 sortCompare 调用之前停止，并返回该 Completion Record。
返回 items。

排序顺序是上述算法的步骤 4 完成后 items 的顺序。如果 sortCompare 对 items 的元素不是一致比较器，则排序顺序是实现定义的。当 SortIndexedProperties 由 Array.prototype.sort 或 Array.prototype.toSorted 调用时，如果 comparator 是 undefined，并且对传给 sortCompare 的任一特定值应用 ToString 不都产生相同结果，则排序顺序也是实现定义的。

除非排序顺序被指定为实现定义，否则它必须满足以下所有条件：

必须存在某个小于 itemCount 的非负整数的数学排列 π，使得对每个小于 itemCount 的非负整数 j，元素 old[j] 与 new[π(j)] 完全相同。
然后，对所有小于 itemCount 的非负整数 j 和 k，如果 ℝ(sortCompare(old[j], old[k])) < 0，则 π(j) < π(k)。
并且，对所有满足 j < k < itemCount 的非负整数 j 和 k，如果 ℝ(sortCompare(old[j], old[k])) = 0，则 π(j) < π(k)；即，排序是稳定的。

这里，记法 old[j] 用于指代步骤 4 执行之前的 items[j]，记法 new[j] 用于指代步骤 4 执行之后的 items[j]。

如果对集合 values 中所有值 a、b 和 c（可以是同一个值）都满足以下要求，则 Abstract Closure 或函数 comparator 是集合 values 的一致比较器：记法 a <_C b 表示 ℝ(comparator(a, b)) < 0；a =_C b 表示 ℝ(comparator(a, b)) = 0；而 a >_C b 表示 ℝ(comparator(a, b)) > 0。

给定特定的一对值 a 和 b 作为两个实参时，调用 comparator(a, b) 总是返回相同的值 v。此外，v 是 Number，且 v 不是 NaN。注意，这意味着对于给定的一对 a 和 b，a <_C b、a =_C b 和 a >_C b 中恰好有一个为 true。
调用 comparator(a, b) 不会修改 obj 或 obj 原型链上的任何对象。
a =_C a（自反性）
如果 a =_C b，则 b =_C a（对称性）
如果 a =_C b 且 b =_C c，则 a =_C c（=_C 的传递性）
如果 a <_C b 且 b <_C c，则 a <_C c（<_C 的传递性）
如果 a >_C b 且 b >_C c，则 a >_C c（>_C 的传递性）

Note

上述条件是确保 comparator 将集合 values 划分为等价类，且这些等价类被全序排列的充要条件。

23.1.3.30.2 CompareArrayElements ( `x`, `y`, `comparator` )

The abstract operation CompareArrayElements takes arguments x (an ECMAScript language value), y (an ECMAScript language value), and comparator (a function object or undefined) and returns either a normal completion containing a Number or an abrupt completion. It performs the following steps when called:

如果 x 是 undefined 且 y 是 undefined，则返回 +0_𝔽。
如果 x 是 undefined，则返回 1_𝔽。
如果 y 是 undefined，则返回 -1_𝔽。
如果 comparator 不是 undefined，则
1. 令 result 为 ? ToNumber(? Call(comparator, undefined, « x, y »))。
2. 如果 result 是 NaN，则返回 +0_𝔽。
3. 返回 result。
令 xString 为 ? ToString(x)。
令 yString 为 ? ToString(y)。
令 xSmaller 为 ! IsLessThan(xString, yString, true)。
如果 xSmaller 是 true，则返回 -1_𝔽。
令 ySmaller 为 ! IsLessThan(yString, xString, true)。
如果 ySmaller 是 true，则返回 1_𝔽。
返回 +0_𝔽。

23.1.3.31 Array.prototype.splice ( `start`, `deleteCount`, ...`items` )

Note 1

此方法删除从整数索引 start 开始的数组中 deleteCount 个元素，并用 items 的元素替换它们。它返回包含被删除元素（如果有）的 Array。

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 relativeStart 为 ? ToIntegerOrInfinity(start)。
如果 relativeStart = -∞，则令 actualStart 为 0。
否则，如果 relativeStart < 0，则令 actualStart 为 max(length + relativeStart, 0)。
否则，令 actualStart 为 min(relativeStart, length)。
令 itemCount 为 items 中元素的数量。
如果 start 不存在，则
1. 令 actualDeleteCount 为 0。
否则，如果 deleteCount 不存在，则
1. 令 actualDeleteCount 为 length - actualStart。
否则，
1. 令 dc 为 ? ToIntegerOrInfinity(deleteCount)。
2. 令 actualDeleteCount 为将 dc 夹在 0 与 length - actualStart 之间的结果。
如果 length + itemCount - actualDeleteCount > 2⁵³ - 1，则抛出 TypeError 异常。
令 deletedArray 为 ? ArraySpeciesCreate(obj, actualDeleteCount)。
令 k 为 0。
重复，只要 k < actualDeleteCount，
1. 令 from 为 ! ToString(𝔽(actualStart + k))。
2. 如果 ? HasProperty(obj, from) 是 true，则
  1. 令 fromValue 为 ? Get(obj, from)。
  2. 执行 ? CreateDataPropertyOrThrow(deletedArray, ! ToString(𝔽(k)), fromValue)。
3. 将 k 设置为 k + 1。
执行 ? Set(deletedArray, "length", 𝔽(actualDeleteCount), true)。
如果 itemCount < actualDeleteCount，则
1. 将 k 设置为 actualStart。
2. 重复，只要 k < (length - actualDeleteCount)，
  1. 令 from 为 ! ToString(𝔽(k + actualDeleteCount))。
  2. 令 to 为 ! ToString(𝔽(k + itemCount))。
  3. 如果 ? HasProperty(obj, from) 是 true，则
    1. 令 fromValue 为 ? Get(obj, from)。
    2. 执行 ? Set(obj, to, fromValue, true)。
  4. 否则，
    1. 执行 ? DeletePropertyOrThrow(obj, to)。
  5. 将 k 设置为 k + 1。
3. 将 k 设置为 length。
4. 重复，只要 k > (length - actualDeleteCount + itemCount)，
  1. 执行 ? DeletePropertyOrThrow(obj, ! ToString(𝔽(k - 1)))。
  2. 将 k 设置为 k - 1。
否则，如果 itemCount > actualDeleteCount，则
1. 将 k 设置为 (length - actualDeleteCount)。
2. 重复，只要 k > actualStart，
  1. 令 from 为 ! ToString(𝔽(k + actualDeleteCount - 1))。
  2. 令 to 为 ! ToString(𝔽(k + itemCount - 1))。
  3. 如果 ? HasProperty(obj, from) 是 true，则
    1. 令 fromValue 为 ? Get(obj, from)。
    2. 执行 ? Set(obj, to, fromValue, true)。
  4. 否则，
    1. 执行 ? DeletePropertyOrThrow(obj, to)。
  5. 将 k 设置为 k - 1。
将 k 设置为 actualStart。
对 items 的每个元素 item，执行：
1. 执行 ? Set(obj, ! ToString(𝔽(k)), item, true)。
2. 将 k 设置为 k + 1。
执行 ? Set(obj, "length", 𝔽(length - actualDeleteCount + itemCount), true)。
返回 deletedArray。

Note 2

步骤 15 和 20 中显式设置 "length" 属性，是为了确保即使这些对象不是内置 Array，长度也正确。

Note 3

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.32 Array.prototype.toLocaleString ( [ `reserved1` [ , `reserved2` ] ] )

包含 ECMA-402 国际化 API 的 ECMAScript 实现必须按 ECMA-402 规范中的规定实现此方法。如果 ECMAScript 实现不包含 ECMA-402 API，则使用此方法的以下规范。

Note 1

ECMA-402 第一版没有包含此方法的替代规范。

此方法可选参数的含义在 ECMA-402 规范中定义；不包含 ECMA-402 支持的实现不得把这些参数位置用于任何其他用途。

此方法在被调用时执行以下步骤：

令 array 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(array)。
令 separator 为适用于宿主环境当前区域设置的实现定义的列表分隔符 String 值（例如 ", "）。
令 result 为空 String。
令 k 为 0。
重复，只要 k < length，
1. 如果 k > 0，则将 result 设置为 result 和 separator 的字符串连接。
2. 令 element 为 ? Get(array, ! ToString(𝔽(k)))。
3. 如果 element 既不是 undefined 也不是 null，则
  1. 令 elementString 为 ? ToString(? Invoke(element, "toLocaleString")).
  2. 将 result 设置为 result 和 elementString 的字符串连接。
4. 将 k 设置为 k + 1。
返回 result。

Note 2

此方法使用数组元素的 toLocaleString 方法将它们转换为 String，然后将这些 String 连接起来，并由实现定义的区域设置敏感分隔符 String 的出现分隔。此方法类似于 toString，不同之处在于它旨在产生与宿主环境当前区域设置的约定相对应的区域设置敏感结果。

Note 3

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.33 Array.prototype.toReversed ( )

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 array 为 ? ArrayCreate(length)。
令 k 为 0。
重复，只要 k < length，
1. 令 from 为 ! ToString(𝔽(length - k - 1))。
2. 令 propertyKey 为 ! ToString(𝔽(k))。
3. 令 fromValue 为 ? Get(obj, from)。
4. 执行 ! CreateDataPropertyOrThrow(array, propertyKey, fromValue)。
5. 将 k 设置为 k + 1。
返回 array。

23.1.3.34 Array.prototype.toSorted ( `comparator` )

此方法在被调用时执行以下步骤：

如果 comparator 不是 undefined 且 IsCallable(comparator) 是 false，则抛出 TypeError 异常。
令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 array 为 ? ArrayCreate(length)。
令 sortCompare 为一个新的 Abstract Closure，其参数为 (x, y)，捕获 comparator，并在被调用时执行以下步骤：
1. 返回 ? CompareArrayElements(x, y, comparator)。
令 sortedList 为 ? SortIndexedProperties(obj, length, sortCompare, read-through-holes)。
令 j 为 0。
重复，只要 j < length，
1. 执行 ! CreateDataPropertyOrThrow(array, ! ToString(𝔽(j)), sortedList[j])。
2. 将 j 设置为 j + 1。
返回 array。

23.1.3.35 Array.prototype.toSpliced ( `start`, `skipCount`, ...`items` )

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 relativeStart 为 ? ToIntegerOrInfinity(start)。
如果 relativeStart = -∞，则令 actualStart 为 0。
否则，如果 relativeStart < 0，则令 actualStart 为 max(length + relativeStart, 0)。
否则，令 actualStart 为 min(relativeStart, length)。
令 insertCount 为 items 中元素的数量。
如果 start 不存在，则
1. 令 actualSkipCount 为 0。
否则，如果 skipCount 不存在，则
1. 令 actualSkipCount 为 length - actualStart。
否则，
1. 令 sc 为 ? ToIntegerOrInfinity(skipCount)。
2. 令 actualSkipCount 为将 sc 夹在 0 与 length - actualStart 之间的结果。
令 newLength 为 length + insertCount - actualSkipCount。
如果 newLength > 2⁵³ - 1，则抛出 TypeError 异常。
令 newArray 为 ? ArrayCreate(newLength)。
令 writeIndex 为 0。
令 readIndex 为 actualStart + actualSkipCount。
重复，只要 writeIndex < actualStart，
1. 令 propertyKey 为 ! ToString(𝔽(writeIndex))。
2. 令 iValue 为 ? Get(obj, propertyKey)。
3. 执行 ! CreateDataPropertyOrThrow(newArray, propertyKey, iValue)。
4. 将 writeIndex 设置为 writeIndex + 1。
对 items 的每个元素 item，执行：
1. 令 propertyKey 为 ! ToString(𝔽(writeIndex))。
2. 执行 ! CreateDataPropertyOrThrow(newArray, propertyKey, item)。
3. 将 writeIndex 设置为 writeIndex + 1。
重复，只要 writeIndex < newLength，
1. 令 propertyKey 为 ! ToString(𝔽(writeIndex))。
2. 令 from 为 ! ToString(𝔽(readIndex))。
3. 令 fromValue 为 ? Get(obj, from)。
4. 执行 ! CreateDataPropertyOrThrow(newArray, propertyKey, fromValue)。
5. 将 writeIndex 设置为 writeIndex + 1。
6. 将 readIndex 设置为 readIndex + 1。
返回 newArray。

23.1.3.36 Array.prototype.toString ( )

此方法在被调用时执行以下步骤：

令 array 为 ? ToObject(this value)。
令 func 为 ? Get(array, "join")。
如果 IsCallable(func) 是 false，则将 func 设置为内部函数 %Object.prototype.toString%。
返回 ? Call(func, array)。

Note

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.37 Array.prototype.unshift ( ...`items` )

此方法把实参前置到数组开头，使它们在数组中的顺序与它们在实参列表中出现的顺序相同。

它在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 argCount 为 items 中元素的数量。
如果 argCount > 0，则
1. 如果 length + argCount > 2⁵³ - 1，则抛出 TypeError 异常。
2. 令 k 为 length。
3. 重复，只要 k > 0，
  1. 令 from 为 ! ToString(𝔽(k - 1))。
  2. 令 to 为 ! ToString(𝔽(k + argCount - 1))。
  3. 令 fromPresent 为 ? HasProperty(obj, from)。
  4. 如果 fromPresent 是 true，则
    1. 令 fromValue 为 ? Get(obj, from)。
    2. 执行 ? Set(obj, to, fromValue, true)。
  5. 否则，
    1. 断言：fromPresent 是 false。
    2. 执行 ? DeletePropertyOrThrow(obj, to)。
  6. 将 k 设置为 k - 1。
4. 令 j 为 +0_𝔽。
5. 对 items 的每个元素 item，执行：
  1. 执行 ? Set(obj, ! ToString(j), item, true)。
  2. 将 j 设置为 j + 1_𝔽。
执行 ? Set(obj, "length", 𝔽(length + argCount), true)。
返回 𝔽(length + argCount)。

此方法的 "length" 属性是 1_𝔽。

Note

此方法有意设计为泛型的；它不要求其 this 值是 Array。因此，它可以被转移到其他种类的对象上作为方法使用。

23.1.3.38 Array.prototype.values ( )

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
返回 CreateArrayIterator(obj, value)。

23.1.3.39 Array.prototype.with ( `index`, `value` )

此方法在被调用时执行以下步骤：

令 obj 为 ? ToObject(this value)。
令 length 为 ? LengthOfArrayLike(obj)。
令 relativeIndex 为 ? ToIntegerOrInfinity(index)。
如果 relativeIndex ≥ 0，则令 actualIndex 为 relativeIndex。
否则，令 actualIndex 为 length + relativeIndex。
如果 actualIndex ≥ length 或 actualIndex < 0，则抛出 RangeError 异常。
令 array 为 ? ArrayCreate(length)。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 如果 k = actualIndex，则令 fromValue 为 value。
3. 否则，令 fromValue 为 ? Get(obj, propertyKey)。
4. 执行 ! CreateDataPropertyOrThrow(array, propertyKey, fromValue)。
5. 将 k 设置为 k + 1。
返回 array。

23.1.3.40 Array.prototype [ %Symbol.iterator% ] ( )

%Symbol.iterator% 属性的初始值是 %Array.prototype.values%，定义见 23.1.3.38。

23.1.3.41 Array.prototype [ %Symbol.unscopables% ]

%Symbol.unscopables% 数据属性的初始值是按以下步骤创建的对象：

令 unscopableList 为 OrdinaryObjectCreate(null)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "at", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "copyWithin", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "entries", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "fill", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "find", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "findIndex", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "findLast", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "findLastIndex", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "flat", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "flatMap", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "includes", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "keys", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "toReversed", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "toSorted", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "toSpliced", true)。
执行 ! CreateDataPropertyOrThrow(unscopableList, "values", true)。
返回 unscopableList。

此属性具有特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true }。

Note

此对象的自身属性名是在 ECMAScript 2015 规范之前未作为 Array.prototype 的标准属性包含的属性名。为了保留现有代码的行为，这些名称会在 with 语句绑定时被忽略；这些现有代码可能会在外层作用域中使用这些名称之一作为绑定，而该绑定被一个绑定对象为 Array 的 with 语句遮蔽。

"with" 未被包含在 unscopableList 中的原因是它已经是一个保留字。

23.1.4 Array 实例的属性

Array 实例是 Array 奇异对象，并具有为这类对象指定的内部方法。Array 实例继承自 Array 原型对象的属性。

Array 实例具有一个 "length" 属性，以及一组具有数组索引名的可枚举属性。

23.1.4.1 length

Array 实例的 "length" 属性是一个数据属性，其值在数值上始终大于每个名称为数组索引的可配置自身属性的名称。

"length" 属性初始具有特性 { [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false }。

Note

减小 "length" 属性的值具有删除自身数组元素的副作用，这些元素的数组索引位于旧长度值与新长度值之间。不过，不可配置属性不能被删除。尝试将 Array 的 "length" 属性设置为一个数值上小于或等于该数组现有不可配置数组索引属性的最大数值自身属性名的值，会导致 length 被设置为比该不可配置数值自身属性名大一的数值。见 10.4.2.1。

23.1.5 Array Iterator 对象

Array Iterator 是表示对某个特定 Array 实例对象进行特定迭代的对象。Array Iterator 对象没有具名构造器。相反，Array Iterator 对象通过调用 Array 实例对象的某些方法创建。

23.1.5.1 CreateArrayIterator ( `array`, `kind` )

The abstract operation CreateArrayIterator takes arguments array (an Object) and kind (key+value, key, or value) and returns an Object. 它用于为返回此类迭代器的 Array 方法创建迭代器对象。 It performs the following steps when called:

令 iterator 为 OrdinaryObjectCreate(%ArrayIteratorPrototype%, « [[IteratedArrayLike]], [[ArrayLikeNextIndex]], [[ArrayLikeIterationKind]] »)。
将 iterator.[[IteratedArrayLike]] 设置为 array。
将 iterator.[[ArrayLikeNextIndex]] 设置为 0。
将 iterator.[[ArrayLikeIterationKind]] 设置为 kind。
返回 iterator。

23.1.5.2 %ArrayIteratorPrototype% 对象

%ArrayIteratorPrototype% 对象：

具有由所有 Array Iterator 对象继承的属性。
是普通对象。
具有一个 [[Prototype]] 内部槽，其值为 %Iterator.prototype%。
具有以下属性：

23.1.5.2.1 %ArrayIteratorPrototype%.next ( )

令 iteratorObj 为 this 值。
如果 iteratorObj 不是 Object，则抛出 TypeError 异常。
如果 iteratorObj 不具有 Array Iterator Instance（23.1.5.3）的所有内部槽，则抛出 TypeError 异常。
令 array 为 iteratorObj.[[IteratedArrayLike]]。
如果 array 是 undefined，则返回 CreateIteratorResultObject(undefined, true)。
令 index 为 iteratorObj.[[ArrayLikeNextIndex]]。
令 kind 为 iteratorObj.[[ArrayLikeIterationKind]]。
如果 array 具有 [[TypedArrayName]] 内部槽，则
1. 令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord(array, seq-cst)。
2. 如果 IsTypedArrayOutOfBounds(taRecord) 是 true，则抛出 TypeError 异常。
3. 令 length 为 TypedArrayLength(taRecord)。
否则，
1. 令 length 为 ? LengthOfArrayLike(array)。
如果 index ≥ length，则
1. 将 iteratorObj.[[IteratedArrayLike]] 设置为 undefined。
2. 返回 CreateIteratorResultObject(undefined, true)。
将 iteratorObj.[[ArrayLikeNextIndex]] 设置为 index + 1。
令 indexNumber 为 𝔽(index)。
如果 kind 是 key，则
1. 令 result 为 indexNumber。
否则，
1. 令 elementKey 为 ! ToString(indexNumber)。
2. 令 elementValue 为 ? Get(array, elementKey)。
3. 如果 kind 是 value，则
  1. 令 result 为 elementValue。
4. 否则，
  1. 断言：kind 是 key+value。
  2. 令 result 为 CreateArrayFromList(« indexNumber, elementValue »)。
返回 CreateIteratorResultObject(result, false)。

23.1.5.2.2 %ArrayIteratorPrototype% [ %Symbol.toStringTag% ]

%Symbol.toStringTag% 属性的初始值是 String 值 "Array Iterator"。

此属性具有特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true }。

23.1.5.3 Array Iterator 实例的属性

Array Iterator 实例是普通对象，继承自 %ArrayIteratorPrototype% 内置对象的属性。Array Iterator 实例最初以 Table 70 中列出的内部槽创建。

Table 70: Array Iterator 实例的内部槽

内部槽	类型	描述
`[[IteratedArrayLike]]`	an Object or undefined	正在迭代的类数组对象。
`[[ArrayLikeNextIndex]]`	a non-negative integer	此迭代器将要检查的下一个元素的整数索引。
`[[ArrayLikeIterationKind]]`	key+value, key, or value	标识迭代的每个元素返回什么内容的值。

23.2 TypedArray 对象

TypedArray 呈现底层二进制数据缓冲区（25.1）的类数组视图。TypedArray 元素类型是 TypedArray 实例的所有元素所具有的底层二进制标量数据类型。对于每种受支持的元素类型，都有一个不同的 TypedArray 构造器，列于 Table 71 中。Table 71 中的每个构造器都有一个对应的不同原型对象。

Table 71: TypedArray 构造器

构造器名称和固有对象	元素类型	元素大小	转换操作	描述
Int8Array %Int8Array%	int8	1	ToInt8	8 位二进制补码有符号整数
Uint8Array %Uint8Array%	uint8	1	ToUint8	8 位无符号整数
Uint8ClampedArray %Uint8ClampedArray%	uint8clamped	1	ToUint8Clamp	8 位无符号整数（夹取转换）
Int16Array %Int16Array%	int16	2	ToInt16	16 位二进制补码有符号整数
Uint16Array %Uint16Array%	uint16	2	ToUint16	16 位无符号整数
Int32Array %Int32Array%	int32	4	ToInt32	32 位二进制补码有符号整数
Uint32Array %Uint32Array%	uint32	4	ToUint32	32 位无符号整数
BigInt64Array %BigInt64Array%	bigint64	8	ToBigInt64	64 位二进制补码有符号整数
BigUint64Array %BigUint64Array%	biguint64	8	ToBigUint64	64 位无符号整数
Float16Array %Float16Array%	float16	2		16 位 IEEE 浮点数
Float32Array %Float32Array%	float32	4		32 位 IEEE 浮点数
Float64Array %Float64Array%	float64	8		64 位 IEEE 浮点数

在下面的定义中，对 TypedArray 的引用应替换为上表中的相应构造器名称。

23.2.1 %TypedArray% 固有对象

%TypedArray% 固有对象：

是所有 TypedArray 构造器对象都从中继承的构造器函数对象。
连同其对应的原型对象，提供由所有 TypedArray 构造器及其实例继承的公共属性。
没有全局名称，也不作为全局对象的属性出现。
充当各种 TypedArray 构造器的抽象超类。
在被调用时会抛出错误，因为它是抽象类构造器。TypedArray 构造器不会对它执行 super 调用。

23.2.1.1 %TypedArray% ( )

此函数在被调用时执行以下步骤：

抛出 TypeError 异常。

此函数的 "length" 属性是 +0_𝔽。

23.2.2 %TypedArray% 固有对象的属性

%TypedArray% 固有对象：

具有一个 [[Prototype]] 内部槽，其值为 %Function.prototype%。
具有一个 "name" 属性，其值为 "TypedArray"。
具有以下属性：

23.2.2.1 %TypedArray%.from ( `source` [ , `mapper` [ , `thisArg` ] ] )

此方法在被调用时执行以下步骤：

令 ctor 为 this 值。
如果 IsConstructor(ctor) 是 false，则抛出 TypeError 异常。
如果 mapper 是 undefined，则
1. 令 mapping 为 false。
否则，
1. 如果 IsCallable(mapper) 是 false，则抛出 TypeError 异常。
2. 令 mapping 为 true。
令 usingIterator 为 ? GetMethod(source, %Symbol.iterator%)。
如果 usingIterator 不是 undefined，则
1. 令 values 为 ? IteratorToList(? GetIteratorFromMethod(source, usingIterator))。
2. 令 length 为 values 中元素的数量。
3. 令 targetObj 为 ? TypedArrayCreateFromConstructor(ctor, « 𝔽(length) »)。
4. 令 k 为 0。
5. 重复，只要 k < length，
  1. 令 propertyKey 为 ! ToString(𝔽(k))。
  2. 令 kValue 为 values 的第一个元素。
  3. 从 values 中移除第一个元素。
  4. 如果 mapping 是 true，则
    1. 令 mappedValue 为 ? Call(mapper, thisArg, « kValue, 𝔽(k) »)。
  5. 否则，
    1. 令 mappedValue 为 kValue。
  6. 执行 ? Set(targetObj, propertyKey, mappedValue, true)。
  7. 将 k 设置为 k + 1。
6. 断言：values 现在是空 List。
7. 返回 targetObj。
注：source 不是可迭代对象，因此假定它已经是一个类数组对象。
令 arrayLike 为 ! ToObject(source)。
令 length 为 ? LengthOfArrayLike(arrayLike)。
令 targetObj 为 ? TypedArrayCreateFromConstructor(ctor, « 𝔽(length) »)。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kValue 为 ? Get(arrayLike, propertyKey)。
3. 如果 mapping 是 true，则
  1. 令 mappedValue 为 ? Call(mapper, thisArg, « kValue, 𝔽(k) »)。
4. 否则，
  1. 令 mappedValue 为 kValue。
5. 执行 ? Set(targetObj, propertyKey, mappedValue, true)。
6. 将 k 设置为 k + 1。
返回 targetObj。

23.2.2.2 %TypedArray%.of ( ...`items` )

此方法在被调用时执行以下步骤：

令 length 为 items 中元素的数量。
令 ctor 为 this 值。
如果 IsConstructor(ctor) 是 false，则抛出 TypeError 异常。
令 newObj 为 ? TypedArrayCreateFromConstructor(ctor, « 𝔽(length) »)。
令 k 为 0。
重复，只要 k < length，
1. 令 kValue 为 items[k]。
2. 令 propertyKey 为 ! ToString(𝔽(k))。
3. 执行 ? Set(newObj, propertyKey, kValue, true)。
4. 将 k 设置为 k + 1。
返回 newObj。

23.2.2.3 %TypedArray%.prototype

%TypedArray%.prototype 的初始值是 %TypedArray% 原型对象。

此属性具有特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }。

23.2.2.4 get %TypedArray% [ %Symbol.species% ]

%TypedArray%[%Symbol.species%] 是访问器属性，其 set 访问器函数是 undefined。其 get 访问器函数在被调用时执行以下步骤：

返回 this 值。

此函数的 "name" 属性的值是 "get [Symbol.species]"。

Note

%TypedArray.prototype% 方法通常使用其 this 值的构造器来创建派生对象。不过，子类构造器可以通过重新定义其 %Symbol.species% 属性来覆盖这种默认行为。

23.2.3 %TypedArray% 原型对象的属性

%TypedArray% 原型对象：

具有一个 [[Prototype]] 内部槽，其值为 %Object.prototype%。
是 %TypedArray.prototype%。
是普通对象。
没有 [[ViewedArrayBuffer]]，也没有任何其他 TypedArray 实例对象专有的内部槽。

23.2.3.1 %TypedArray%.prototype.at ( `index` )

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
令 relativeIndex 为 ? ToIntegerOrInfinity(index)。
如果 relativeIndex ≥ 0，则
1. 令 k 为 relativeIndex。
否则，
1. 令 k 为 length + relativeIndex。
如果 k < 0 或 k ≥ length，则返回 undefined。
返回 ! Get(obj, ! ToString(𝔽(k)))。

23.2.3.2 get %TypedArray%.prototype.buffer

%TypedArray%.prototype.buffer 是访问器属性，其 set 访问器函数是 undefined。其 get 访问器函数在被调用时执行以下步骤：

令 obj 为 this 值。
执行 ? RequireInternalSlot(obj, [[TypedArrayName]])。
断言：obj 具有 [[ViewedArrayBuffer]] 内部槽。
令 buffer 为 obj.[[ViewedArrayBuffer]]。
返回 buffer。

23.2.3.3 get %TypedArray%.prototype.byteLength

%TypedArray%.prototype.byteLength 是访问器属性，其 set 访问器函数是 undefined。其 get 访问器函数在被调用时执行以下步骤：

令 obj 为 this 值。
执行 ? RequireInternalSlot(obj, [[TypedArrayName]])。
断言：obj 具有 [[ViewedArrayBuffer]] 内部槽。
令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)。
如果 IsTypedArrayOutOfBounds(taRecord) 是 true，则返回 +0_𝔽。
令 size 为 TypedArrayByteLength(taRecord)。
返回 𝔽(size)。

23.2.3.4 get %TypedArray%.prototype.byteOffset

%TypedArray%.prototype.byteOffset 是访问器属性，其 set 访问器函数是 undefined。其 get 访问器函数在被调用时执行以下步骤：

令 obj 为 this 值。
执行 ? RequireInternalSlot(obj, [[TypedArrayName]])。
断言：obj 具有 [[ViewedArrayBuffer]] 内部槽。
令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)。
如果 IsTypedArrayOutOfBounds(taRecord) 是 true，则返回 +0_𝔽。
令 offset 为 obj.[[ByteOffset]]。
返回 𝔽(offset)。

23.2.3.5 %TypedArray%.prototype.constructor

%TypedArray%.prototype.constructor 的初始值是 %TypedArray%。

23.2.3.6 %TypedArray%.prototype.copyWithin ( `target`, `start` [ , `end` ] )

此方法的实参解释和使用方式与 23.1.3.4 中定义的 Array.prototype.copyWithin 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
令 relativeTarget 为 ? ToIntegerOrInfinity(target)。
如果 relativeTarget = -∞，则令 targetIndex 为 0。
否则，如果 relativeTarget < 0，则令 targetIndex 为 max(length + relativeTarget, 0)。
否则，令 targetIndex 为 min(relativeTarget, length)。
令 relativeStart 为 ? ToIntegerOrInfinity(start)。
如果 relativeStart = -∞，则令 startIndex 为 0。
否则，如果 relativeStart < 0，则令 startIndex 为 max(length + relativeStart, 0)。
否则，令 startIndex 为 min(relativeStart, length)。
如果 end 是 undefined，则令 relativeEnd 为 length；否则令 relativeEnd 为 ? ToIntegerOrInfinity(end)。
如果 relativeEnd = -∞，则令 endIndex 为 0。
否则，如果 relativeEnd < 0，则令 endIndex 为 max(length + relativeEnd, 0)。
否则，令 endIndex 为 min(relativeEnd, length)。
令 count 为 min(endIndex - startIndex, length - targetIndex)。
如果 count > 0，则
1. 注：复制必须以保留源数据的位级编码的方式执行。
2. 令 buffer 为 obj.[[ViewedArrayBuffer]]。
3. 将 taRecord 设置为 MakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)。
4. 如果 IsTypedArrayOutOfBounds(taRecord) 是 true，则抛出 TypeError 异常。
5. 将 length 设置为 TypedArrayLength(taRecord)。
6. 注：上述步骤的副作用可能已经减小 obj 的大小；在这种情况下，复制应继续处理仍适用的最长前缀。
7. 将 count 设置为 min(count, length - startIndex, length - targetIndex)。
8. 令 elementSize 为 TypedArrayElementSize(obj)。
9. 令 byteOffset 为 obj.[[ByteOffset]]。
10. 令 toByteIndex 为 (targetIndex × elementSize) + byteOffset。
11. 令 fromByteIndex 为 (startIndex × elementSize) + byteOffset。
12. 令 countBytes 为 count × elementSize。
13. 如果 fromByteIndex < toByteIndex 且 toByteIndex < fromByteIndex + countBytes，则
  1. 令 direction 为 -1。
  2. 将 fromByteIndex 设置为 fromByteIndex + countBytes - 1。
  3. 将 toByteIndex 设置为 toByteIndex + countBytes - 1。
14. 否则，
  1. 令 direction 为 1。
15. 重复，只要 countBytes > 0，
  1. 令 value 为 GetValueFromBuffer(buffer, fromByteIndex, uint8, true, unordered)。
  2. 执行 SetValueInBuffer(buffer, toByteIndex, uint8, value, true, unordered)。
  3. 将 fromByteIndex 设置为 fromByteIndex + direction。
  4. 将 toByteIndex 设置为 toByteIndex + direction。
  5. 将 countBytes 设置为 countBytes - 1。
返回 obj。

23.2.3.7 %TypedArray%.prototype.entries ( )

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
执行 ? ValidateTypedArray(obj, seq-cst)。
返回 CreateArrayIterator(obj, key+value)。

23.2.3.8 %TypedArray%.prototype.every ( `callback` [ , `thisArg` ] )

此方法的实参解释和使用方式与 23.1.3.6 中定义的 Array.prototype.every 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kValue 为 ! Get(obj, propertyKey)。
3. 令 testResult 为 ToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), obj »))。
4. 如果 testResult 是 false，则返回 false。
5. 将 k 设置为 k + 1。
返回 true。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.9 %TypedArray%.prototype.fill ( `value` [ , `start` [ , `end` ] ] )

此方法的实参解释和使用方式与 23.1.3.7 中定义的 Array.prototype.fill 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
如果 obj.[[ContentType]] 是 bigint，则将 value 设置为 ? ToBigInt(value)。
否则，将 value 设置为 ? ToNumber(value)。
令 relativeStart 为 ? ToIntegerOrInfinity(start)。
如果 relativeStart = -∞，则令 startIndex 为 0。
否则，如果 relativeStart < 0，则令 startIndex 为 max(length + relativeStart, 0)。
否则，令 startIndex 为 min(relativeStart, length)。
如果 end 是 undefined，则令 relativeEnd 为 length；否则令 relativeEnd 为 ? ToIntegerOrInfinity(end)。
如果 relativeEnd = -∞，则令 endIndex 为 0。
否则，如果 relativeEnd < 0，则令 endIndex 为 max(length + relativeEnd, 0)。
否则，令 endIndex 为 min(relativeEnd, length)。
将 taRecord 设置为 MakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)。
如果 IsTypedArrayOutOfBounds(taRecord) 是 true，则抛出 TypeError 异常。
将 length 设置为 TypedArrayLength(taRecord)。
将 endIndex 设置为 min(endIndex, length)。
令 k 为 startIndex。
重复，只要 k < endIndex，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 执行 ! Set(obj, propertyKey, value, true)。
3. 将 k 设置为 k + 1。
返回 obj。

23.2.3.10 %TypedArray%.prototype.filter ( `callback` [ , `thisArg` ] )

此方法的实参解释和使用方式与 23.1.3.8 中定义的 Array.prototype.filter 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
令 kept 为新的空 List。
令 captured 为 0。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kValue 为 ! Get(obj, propertyKey)。
3. 令 selected 为 ToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), obj »))。
4. 如果 selected 是 true，则
  1. 将 kValue 追加到 kept。
  2. 将 captured 设置为 captured + 1。
5. 将 k 设置为 k + 1。
令 result 为 ? TypedArraySpeciesCreate(obj, « 𝔽(captured) »)。
令 n 为 0。
对 kept 的每个元素 element，执行：
1. 执行 ! Set(result, ! ToString(𝔽(n)), element, true)。
2. 将 n 设置为 n + 1。
返回 result。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.11 %TypedArray%.prototype.find ( `predicate` [ , `thisArg` ] )

此方法的实参解释和使用方式与 23.1.3.9 中定义的 Array.prototype.find 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
令 findRecord 为 ? FindViaPredicate(obj, length, ascending, predicate, thisArg)。
返回 findRecord.[[Value]]。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.12 %TypedArray%.prototype.findIndex ( `predicate` [ , `thisArg` ] )

此方法的实参解释和使用方式与 23.1.3.10 中定义的 Array.prototype.findIndex 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
令 findRecord 为 ? FindViaPredicate(obj, length, ascending, predicate, thisArg)。
返回 findRecord.[[Index]]。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.13 %TypedArray%.prototype.findLast ( `predicate` [ , `thisArg` ] )

此方法的实参解释和使用方式与 23.1.3.11 中定义的 Array.prototype.findLast 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
令 findRecord 为 ? FindViaPredicate(obj, length, descending, predicate, thisArg)。
返回 findRecord.[[Value]]。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.14 %TypedArray%.prototype.findLastIndex ( `predicate` [ , `thisArg` ] )

此方法的实参解释和使用方式与 23.1.3.12 中定义的 Array.prototype.findLastIndex 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
令 findRecord 为 ? FindViaPredicate(obj, length, descending, predicate, thisArg)。
返回 findRecord.[[Index]]。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.15 %TypedArray%.prototype.forEach ( `callback` [ , `thisArg` ] )

此方法的实参解释和使用方式与 23.1.3.15 中定义的 Array.prototype.forEach 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kValue 为 ! Get(obj, propertyKey)。
3. 执行 ? Call(callback, thisArg, « kValue, 𝔽(k), obj »)。
4. 将 k 设置为 k + 1。
返回 undefined。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.16 %TypedArray%.prototype.includes ( `searchElement` [ , `fromIndex` ] )

此方法的实参解释和使用方式与 23.1.3.16 中定义的 Array.prototype.includes 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
如果 length = 0，则返回 false。
令 n 为 ? ToIntegerOrInfinity(fromIndex)。
断言：如果 fromIndex 是 undefined，则 n 是 0。
如果 n = +∞，则返回 false。
如果 n = -∞，则将 n 设置为 0。
如果 n ≥ 0，则
1. 令 k 为 n。
否则，
1. 令 k 为 length + n。
2. 如果 k < 0，则将 k 设置为 0。
重复，只要 k < length，
1. 令 elementK 为 ! Get(obj, ! ToString(𝔽(k)))。
2. 如果 SameValueZero(searchElement, elementK) 是 true，则返回 true。
3. 将 k 设置为 k + 1。
返回 false。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.17 %TypedArray%.prototype.indexOf ( `searchElement` [ , `fromIndex` ] )

此方法的实参解释和使用方式与 23.1.3.17 中定义的 Array.prototype.indexOf 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
如果 length = 0，则返回 -1_𝔽。
令 n 为 ? ToIntegerOrInfinity(fromIndex)。
断言：如果 fromIndex 是 undefined，则 n 是 0。
如果 n = +∞，则返回 -1_𝔽。
如果 n = -∞，则将 n 设置为 0。
如果 n ≥ 0，则
1. 令 k 为 n。
否则，
1. 令 k 为 length + n。
2. 如果 k < 0，则将 k 设置为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kPresent 为 ! HasProperty(obj, propertyKey)。
3. 如果 kPresent 是 true，则
  1. 令 elementK 为 ! Get(obj, propertyKey)。
  2. 如果 IsStrictlyEqual(searchElement, elementK) 是 true，则返回 𝔽(k)。
4. 将 k 设置为 k + 1。
返回 -1_𝔽。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.18 %TypedArray%.prototype.join ( `separator` )

此方法的实参解释和使用方式与 23.1.3.18 中定义的 Array.prototype.join 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
如果 separator 是 undefined，则令 sep 为 ","。
否则，令 sep 为 ? ToString(separator)。
令 result 为空 String。
令 k 为 0。
重复，只要 k < length，
1. 如果 k > 0，则将 result 设置为 result 和 sep 的字符串连接。
2. 令 element 为 ! Get(obj, ! ToString(𝔽(k)))。
3. 如果 element 不是 undefined，则
  1. 令 elementString 为 ! ToString(element)。
  2. 将 result 设置为 result 和 elementString 的字符串连接。
4. 将 k 设置为 k + 1。
返回 result。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.19 %TypedArray%.prototype.keys ( )

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
执行 ? ValidateTypedArray(obj, seq-cst)。
返回 CreateArrayIterator(obj, key)。

23.2.3.20 %TypedArray%.prototype.lastIndexOf ( `searchElement` [ , `fromIndex` ] )

此方法的实参解释和使用方式与 23.1.3.20 中定义的 Array.prototype.lastIndexOf 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
如果 length = 0，则返回 -1_𝔽。
如果 fromIndex 存在，则令 n 为 ? ToIntegerOrInfinity(fromIndex)；否则令 n 为 length - 1。
如果 n = -∞，则返回 -1_𝔽。
如果 n ≥ 0，则
1. 令 k 为 min(n, length - 1)。
否则，
1. 令 k 为 length + n。
重复，只要 k ≥ 0，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kPresent 为 ! HasProperty(obj, propertyKey)。
3. 如果 kPresent 是 true，则
  1. 令 elementK 为 ! Get(obj, propertyKey)。
  2. 如果 IsStrictlyEqual(searchElement, elementK) 是 true，则返回 𝔽(k)。
4. 将 k 设置为 k - 1。
返回 -1_𝔽。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.21 get %TypedArray%.prototype.length

%TypedArray%.prototype.length 是访问器属性，其 set 访问器函数是 undefined。其 get 访问器函数在被调用时执行以下步骤：

令 obj 为 this 值。
执行 ? RequireInternalSlot(obj, [[TypedArrayName]])。
断言：obj 具有 [[ViewedArrayBuffer]] 和 [[ArrayLength]] 内部槽。
令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)。
如果 IsTypedArrayOutOfBounds(taRecord) 是 true，则返回 +0_𝔽。
令 length 为 TypedArrayLength(taRecord)。
返回 𝔽(length)。

此函数不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.22 %TypedArray%.prototype.map ( `callback` [ , `thisArg` ] )

此方法的实参解释和使用方式与 23.1.3.21 中定义的 Array.prototype.map 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
令 result 为 ? TypedArraySpeciesCreate(obj, « 𝔽(length) »)。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kValue 为 ! Get(obj, propertyKey)。
3. 令 mappedValue 为 ? Call(callback, thisArg, « kValue, 𝔽(k), obj »)。
4. 执行 ? Set(result, propertyKey, mappedValue, true)。
5. 将 k 设置为 k + 1。
返回 result。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.23 %TypedArray%.prototype.reduce ( `callback` [ , `initialValue` ] )

此方法的实参解释和使用方式与 23.1.3.24 中定义的 Array.prototype.reduce 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
如果 length = 0 且 initialValue 不存在，则抛出 TypeError 异常。
令 k 为 0。
令 accumulator 为 undefined。
如果 initialValue 存在，则
1. 将 accumulator 设置为 initialValue。
否则，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 将 accumulator 设置为 ! Get(obj, propertyKey)。
3. 将 k 设置为 k + 1。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kValue 为 ! Get(obj, propertyKey)。
3. 将 accumulator 设置为 ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), obj »)。
4. 将 k 设置为 k + 1。
返回 accumulator。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.24 %TypedArray%.prototype.reduceRight ( `callback` [ , `initialValue` ] )

此方法的实参解释和使用方式与 23.1.3.25 中定义的 Array.prototype.reduceRight 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
如果 length = 0 且 initialValue 不存在，则抛出 TypeError 异常。
令 k 为 length - 1。
令 accumulator 为 undefined。
如果 initialValue 存在，则
1. 将 accumulator 设置为 initialValue。
否则，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 将 accumulator 设置为 ! Get(obj, propertyKey)。
3. 将 k 设置为 k - 1。
重复，只要 k ≥ 0，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kValue 为 ! Get(obj, propertyKey)。
3. 将 accumulator 设置为 ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), obj »)。
4. 将 k 设置为 k - 1。
返回 accumulator。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.25 %TypedArray%.prototype.reverse ( )

此方法的实参解释和使用方式与 23.1.3.26 中定义的 Array.prototype.reverse 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
令 middle 为 floor(length / 2)。
令 lower 为 0。
重复，只要 lower ≠ middle，
1. 令 upper 为 length - lower - 1。
2. 令 upperP 为 ! ToString(𝔽(upper))。
3. 令 lowerP 为 ! ToString(𝔽(lower))。
4. 令 lowerValue 为 ! Get(obj, lowerP)。
5. 令 upperValue 为 ! Get(obj, upperP)。
6. 执行 ! Set(obj, lowerP, upperValue, true)。
7. 执行 ! Set(obj, upperP, lowerValue, true)。
8. 将 lower 设置为 lower + 1。
返回 obj。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.26 %TypedArray%.prototype.set ( `source` [ , `offset` ] )

此方法会在此 TypedArray 中设置多个值，并从 source 读取这些值。细节会根据 source 的类型而不同。可选的 offset 值指示在此 TypedArray 中写入值的第一个元素索引。如果省略，则假定为 0。

它在被调用时执行以下步骤：

令 target 为 this 值。
执行 ? RequireInternalSlot(target, [[TypedArrayName]])。
断言：target 具有 [[ViewedArrayBuffer]] 内部槽。
令 targetOffset 为 ? ToIntegerOrInfinity(offset)。
如果 targetOffset < 0，则抛出 RangeError 异常。
如果 source 是具有 [[TypedArrayName]] 内部槽的 Object，则
1. 执行 ? SetTypedArrayFromTypedArray(target, targetOffset, source)。
否则，
1. 执行 ? SetTypedArrayFromArrayLike(target, targetOffset, source)。
返回 undefined。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.26.1 SetTypedArrayFromArrayLike ( `target`, `targetOffset`, `source` )

The abstract operation SetTypedArrayFromArrayLike takes arguments target (a TypedArray), targetOffset (a non-negative integer or +∞), and source (an ECMAScript language value, but not a TypedArray) and returns either a normal completion containing unused or a throw completion. 它从 source 读取值，并从索引 targetOffset 开始在 target 中设置多个值。 It performs the following steps when called:

令 targetRecord 为 MakeTypedArrayWithBufferWitnessRecord(target, seq-cst)。
如果 IsTypedArrayOutOfBounds(targetRecord) 是 true，则抛出 TypeError 异常。
令 targetLength 为 TypedArrayLength(targetRecord)。
将 source 设置为 ? ToObject(source)。
令 sourceLength 为 ? LengthOfArrayLike(source)。
如果 targetOffset = +∞，则抛出 RangeError 异常。
如果 sourceLength + targetOffset > targetLength，则抛出 RangeError 异常。
令 k 为 0。
重复，只要 k < sourceLength，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 value 为 ? Get(source, propertyKey)。
3. 令 targetIndex 为 𝔽(targetOffset + k)。
4. 执行 ? TypedArraySetElement(target, targetIndex, value)。
5. 将 k 设置为 k + 1。
返回 unused。

23.2.3.26.2 SetTypedArrayFromTypedArray ( `target`, `targetOffset`, `source` )

The abstract operation SetTypedArrayFromTypedArray takes arguments target (a TypedArray), targetOffset (a non-negative integer or +∞), and source (a TypedArray) and returns either a normal completion containing unused or a throw completion. 它从 source 读取值，并从索引 targetOffset 开始在 target 中设置多个值。 It performs the following steps when called:

令 targetBuffer 为 target.[[ViewedArrayBuffer]]。
令 targetRecord 为 MakeTypedArrayWithBufferWitnessRecord(target, seq-cst)。
如果 IsTypedArrayOutOfBounds(targetRecord) 是 true，则抛出 TypeError 异常。
令 targetLength 为 TypedArrayLength(targetRecord)。
令 sourceBuffer 为 source.[[ViewedArrayBuffer]]。
令 sourceRecord 为 MakeTypedArrayWithBufferWitnessRecord(source, seq-cst)。
如果 IsTypedArrayOutOfBounds(sourceRecord) 是 true，则抛出 TypeError 异常。
令 sourceLength 为 TypedArrayLength(sourceRecord)。
令 targetType 为 TypedArrayElementType(target)。
令 targetElementSize 为 TypedArrayElementSize(target)。
令 targetByteOffset 为 target.[[ByteOffset]]。
令 sourceType 为 TypedArrayElementType(source)。
令 sourceElementSize 为 TypedArrayElementSize(source)。
令 sourceByteOffset 为 source.[[ByteOffset]]。
如果 targetOffset = +∞，则抛出 RangeError 异常。
如果 sourceLength + targetOffset > targetLength，则抛出 RangeError 异常。
如果 target.[[ContentType]] 不是 source.[[ContentType]]，则抛出 TypeError 异常。
如果 IsSharedArrayBuffer(sourceBuffer) 是 true，IsSharedArrayBuffer(targetBuffer) 是 true，且 sourceBuffer.[[ArrayBufferData]] 是 targetBuffer.[[ArrayBufferData]]，则令 sameSharedArrayBuffer 为 true；否则令 sameSharedArrayBuffer 为 false。
如果 SameValue(sourceBuffer, targetBuffer) 是 true 或 sameSharedArrayBuffer 是 true，则
1. 令 sourceByteLength 为 TypedArrayByteLength(sourceRecord)。
2. 将 sourceBuffer 设置为 ? CloneArrayBuffer(sourceBuffer, sourceByteOffset, sourceByteLength)。
3. 令 sourceByteIndex 为 0。
否则，
1. 令 sourceByteIndex 为 sourceByteOffset。
令 targetByteIndex 为 (targetOffset × targetElementSize) + targetByteOffset。
令 limit 为 targetByteIndex + (targetElementSize × sourceLength)。
如果 sourceType 是 targetType，则
1. 注：传输必须以保留源数据的位级编码的方式执行。
2. 重复，只要 targetByteIndex < limit，
  1. 令 value 为 GetValueFromBuffer(sourceBuffer, sourceByteIndex, uint8, true, unordered)。
  2. 执行 SetValueInBuffer(targetBuffer, targetByteIndex, uint8, value, true, unordered)。
  3. 将 sourceByteIndex 设置为 sourceByteIndex + 1。
  4. 将 targetByteIndex 设置为 targetByteIndex + 1。
否则，
1. 重复，只要 targetByteIndex < limit，
  1. 令 value 为 GetValueFromBuffer(sourceBuffer, sourceByteIndex, sourceType, true, unordered)。
  2. 执行 SetValueInBuffer(targetBuffer, targetByteIndex, targetType, value, true, unordered)。
  3. 将 sourceByteIndex 设置为 sourceByteIndex + sourceElementSize。
  4. 将 targetByteIndex 设置为 targetByteIndex + targetElementSize。
返回 unused。

23.2.3.27 %TypedArray%.prototype.slice ( `start`, `end` )

此方法的实参解释和使用方式与 23.1.3.28 中定义的 Array.prototype.slice 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 sourceArrayLength 为 TypedArrayLength(taRecord)。
令 relativeStart 为 ? ToIntegerOrInfinity(start)。
如果 relativeStart = -∞，则令 startIndex 为 0。
否则，如果 relativeStart < 0，则令 startIndex 为 max(sourceArrayLength + relativeStart, 0)。
否则，令 startIndex 为 min(relativeStart, sourceArrayLength)。
如果 end 是 undefined，则令 relativeEnd 为 sourceArrayLength；否则令 relativeEnd 为 ? ToIntegerOrInfinity(end)。
如果 relativeEnd = -∞，则令 endIndex 为 0。
否则，如果 relativeEnd < 0，则令 endIndex 为 max(sourceArrayLength + relativeEnd, 0)。
否则，令 endIndex 为 min(relativeEnd, sourceArrayLength)。
令 countBytes 为 max(endIndex - startIndex, 0)。
令 resultArray 为 ? TypedArraySpeciesCreate(obj, « 𝔽(countBytes) »)。
如果 countBytes > 0，则
1. 将 taRecord 设置为 MakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)。
2. 如果 IsTypedArrayOutOfBounds(taRecord) 是 true，则抛出 TypeError 异常。
3. 将 endIndex 设置为 min(endIndex, TypedArrayLength(taRecord))。
4. 将 countBytes 设置为 max(endIndex - startIndex, 0)。
5. 令 sourceType 为 TypedArrayElementType(obj)。
6. 令 targetType 为 TypedArrayElementType(resultArray)。
7. 如果 sourceType 是 targetType，则
  1. 注：传输必须以保留源数据的位级编码的方式执行。
  2. 令 sourceBuffer 为 obj.[[ViewedArrayBuffer]]。
  3. 令 targetBuffer 为 resultArray.[[ViewedArrayBuffer]]。
  4. 令 elementSize 为 TypedArrayElementSize(obj)。
  5. 令 sourceByteOffset 为 obj.[[ByteOffset]]。
  6. 令 sourceByteIndex 为 (startIndex × elementSize) + sourceByteOffset。
  7. 令 targetByteIndex 为 resultArray.[[ByteOffset]]。
  8. 令 endByteIndex 为 targetByteIndex + (countBytes × elementSize)。
  9. 重复，只要 targetByteIndex < endByteIndex，
    1. 令 value 为 GetValueFromBuffer(sourceBuffer, sourceByteIndex, uint8, true, unordered)。
    2. 执行 SetValueInBuffer(targetBuffer, targetByteIndex, uint8, value, true, unordered)。
    3. 将 sourceByteIndex 设置为 sourceByteIndex + 1。
    4. 将 targetByteIndex 设置为 targetByteIndex + 1。
8. 否则，
  1. 令 n 为 0。
  2. 令 k 为 startIndex。
  3. 重复，只要 k < endIndex，
    1. 令 propertyKey 为 ! ToString(𝔽(k))。
    2. 令 kValue 为 ! Get(obj, propertyKey)。
    3. 执行 ! Set(resultArray, ! ToString(𝔽(n)), kValue, true)。
    4. 将 k 设置为 k + 1。
    5. 将 n 设置为 n + 1。
返回 resultArray。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.28 %TypedArray%.prototype.some ( `callback` [ , `thisArg` ] )

此方法的实参解释和使用方式与 23.1.3.29 中定义的 Array.prototype.some 相同。

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
如果 IsCallable(callback) 是 false，则抛出 TypeError 异常。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kValue 为 ! Get(obj, propertyKey)。
3. 令 testResult 为 ToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), obj »))。
4. 如果 testResult 是 true，则返回 true。
5. 将 k 设置为 k + 1。
返回 false。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.29 %TypedArray%.prototype.sort ( `comparator` )

这是一个不同的方法；除下文所述外，它实现与 23.1.3.30 中定义的 Array.prototype.sort 相同的要求。此方法的实现可以利用这样的知识进行优化：this 值是具有固定长度且其整数索引属性不稀疏的对象。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

它在被调用时执行以下步骤：

如果 comparator 不是 undefined 且 IsCallable(comparator) 是 false，则抛出 TypeError 异常。
令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
注：以下闭包执行数值比较，而不是 23.1.3.30 中使用的字符串比较。
令 sortCompare 为一个新的 Abstract Closure，其参数为 (x, y)，捕获 comparator，并在被调用时执行以下步骤：
1. 返回 ? CompareTypedArrayElements(x, y, comparator)。
令 sortedList 为 ? SortIndexedProperties(obj, length, sortCompare, read-through-holes)。
令 j 为 0。
重复，只要 j < length，
1. 执行 ! Set(obj, ! ToString(𝔽(j)), sortedList[j], true)。
2. 将 j 设置为 j + 1。
返回 obj。

Note

由于 NaN 总是比较为大于任何其他值（见 CompareTypedArrayElements），因此当未提供 comparator 时，NaN 属性值总是排序到结果末尾。

23.2.3.30 %TypedArray%.prototype.subarray ( `start`, `end` )

此方法返回一个新的 TypedArray，其元素类型是此 TypedArray 的元素类型，其 ArrayBuffer 是此 TypedArray 的 ArrayBuffer，并引用从 start（包含）到 end（不包含）区间内的元素。如果 start 或 end 为负，则它引用从数组末尾起的索引，而不是从开头起的索引。

它在被调用时执行以下步骤：

令 obj 为 this 值。
执行 ? RequireInternalSlot(obj, [[TypedArrayName]])。
断言：obj 具有 [[ViewedArrayBuffer]] 内部槽。
令 buffer 为 obj.[[ViewedArrayBuffer]]。
令 sourceRecord 为 MakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)。
如果 IsTypedArrayOutOfBounds(sourceRecord) 是 true，则
1. 令 sourceLength 为 0。
否则，
1. 令 sourceLength 为 TypedArrayLength(sourceRecord)。
令 relativeStart 为 ? ToIntegerOrInfinity(start)。
如果 relativeStart = -∞，则令 startIndex 为 0。
否则，如果 relativeStart < 0，则令 startIndex 为 max(sourceLength + relativeStart, 0)。
否则，令 startIndex 为 min(relativeStart, sourceLength)。
令 elementSize 为 TypedArrayElementSize(obj)。
令 sourceByteOffset 为 obj.[[ByteOffset]]。
令 beginByteOffset 为 sourceByteOffset + (startIndex × elementSize)。
如果 obj.[[ArrayLength]] 是 auto 且 end 是 undefined，则
1. 令 argList 为 « buffer, 𝔽(beginByteOffset) »。
否则，
1. 如果 end 是 undefined，则令 relativeEnd 为 sourceLength；否则令 relativeEnd 为 ? ToIntegerOrInfinity(end)。
2. 如果 relativeEnd = -∞，则令 endIndex 为 0。
3. 否则，如果 relativeEnd < 0，则令 endIndex 为 max(sourceLength + relativeEnd, 0)。
4. 否则，令 endIndex 为 min(relativeEnd, sourceLength)。
5. 令 newLength 为 max(endIndex - startIndex, 0)。
6. 令 argList 为 « buffer, 𝔽(beginByteOffset), 𝔽(newLength) »。
返回 ? TypedArraySpeciesCreate(obj, argList)。

此方法不是泛型的。this 值必须是具有 [[TypedArrayName]] 内部槽的对象。

23.2.3.31 %TypedArray%.prototype.toLocaleString ( [ `reserved1` [ , `reserved2` ] ] )

这是一个不同的方法，它实现与 23.1.3.32 中定义的 Array.prototype.toLocaleString 相同的算法，不同之处在于调用 TypedArrayLength 来代替对 "length" 执行 [[Get]]。当底层缓冲区不可调整大小时，可以利用 this 值具有固定长度且其整数索引属性不稀疏这一知识来优化算法的实现。不过，这种优化不得在算法的指定行为中引入任何可观察变化。

此方法不是泛型的。在对算法求值之前，以 this 值和 seq-cst 为实参调用 ValidateTypedArray。如果其结果是突然完成，则抛出该异常，而不是对算法求值。

Note

如果 ECMAScript 实现包含 ECMA-402 国际化 API，则此方法基于 ECMA-402 规范中的 Array.prototype.toLocaleString 算法。

23.2.3.32 %TypedArray%.prototype.toReversed ( )

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
令 resultArray 为 ? TypedArrayCreateSameType(obj, length)。
令 k 为 0。
重复，只要 k < length，
1. 令 from 为 ! ToString(𝔽(length - k - 1))。
2. 令 propertyKey 为 ! ToString(𝔽(k))。
3. 令 fromValue 为 ! Get(obj, from)。
4. 执行 ! Set(resultArray, propertyKey, fromValue, true)。
5. 将 k 设置为 k + 1。
返回 resultArray。

23.2.3.33 %TypedArray%.prototype.toSorted ( `comparator` )

此方法在被调用时执行以下步骤：

如果 comparator 不是 undefined 且 IsCallable(comparator) 是 false，则抛出 TypeError 异常。
令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
令 resultArray 为 ? TypedArrayCreateSameType(obj, length)。
注：以下闭包执行数值比较，而不是 23.1.3.34 中使用的字符串比较。
令 sortCompare 为一个新的 Abstract Closure，其参数为 (x, y)，捕获 comparator，并在被调用时执行以下步骤：
1. 返回 ? CompareTypedArrayElements(x, y, comparator)。
令 sortedList 为 ? SortIndexedProperties(obj, length, sortCompare, read-through-holes)。
令 j 为 0。
重复，只要 j < length，
1. 执行 ! Set(resultArray, ! ToString(𝔽(j)), sortedList[j], true)。
2. 将 j 设置为 j + 1。
返回 resultArray。

23.2.3.34 %TypedArray%.prototype.toString ( )

"toString" 属性的初始值是 %Array.prototype.toString%，定义见 23.1.3.36。

23.2.3.35 %TypedArray%.prototype.values ( )

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
执行 ? ValidateTypedArray(obj, seq-cst)。
返回 CreateArrayIterator(obj, value)。

23.2.3.36 %TypedArray%.prototype.with ( `index`, `value` )

此方法在被调用时执行以下步骤：

令 obj 为 this 值。
令 taRecord 为 ? ValidateTypedArray(obj, seq-cst)。
令 length 为 TypedArrayLength(taRecord)。
令 relativeIndex 为 ? ToIntegerOrInfinity(index)。
如果 relativeIndex ≥ 0，则令 actualIndex 为 relativeIndex。
否则，令 actualIndex 为 length + relativeIndex。
如果 obj.[[ContentType]] 是 bigint，则令 numericValue 为 ? ToBigInt(value)。
否则，令 numericValue 为 ? ToNumber(value)。
如果 IsValidIntegerIndex(obj, 𝔽(actualIndex)) 是 false，则抛出 RangeError 异常。
令 resultArray 为 ? TypedArrayCreateSameType(obj, length)。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 如果 k = actualIndex，则令 fromValue 为 numericValue。
3. 否则，令 fromValue 为 ! Get(obj, propertyKey)。
4. 执行 ! Set(resultArray, propertyKey, fromValue, true)。
5. 将 k 设置为 k + 1。
返回 resultArray。

23.2.3.37 %TypedArray%.prototype [ %Symbol.iterator% ] ( )

%Symbol.iterator% 属性的初始值是 %TypedArray.prototype.values%，定义见 23.2.3.35。

23.2.3.38 get %TypedArray%.prototype [ %Symbol.toStringTag% ]

%TypedArray%.prototype[%Symbol.toStringTag%] 是访问器属性，其 set 访问器函数是 undefined。其 get 访问器函数在被调用时执行以下步骤：

令 obj 为 this 值。
如果 obj 不是 Object，则返回 undefined。
如果 obj 不具有 [[TypedArrayName]] 内部槽，则返回 undefined。
令 name 为 obj.[[TypedArrayName]]。
断言：name 是 String。
返回 name。

此属性具有特性 { [[Enumerable]]: false, [[Configurable]]: true }。

此函数的 "name" 属性的初始值是 "get [Symbol.toStringTag]"。

23.2.4 TypedArray 对象的抽象操作

23.2.4.1 TypedArrayCreateFromConstructor ( `ctor`, `argList` )

The abstract operation TypedArrayCreateFromConstructor takes arguments ctor (a constructor) and argList (a List of ECMAScript language values) and returns either a normal completion containing a TypedArray or a throw completion. 它用于指定使用构造器函数创建新的 TypedArray。 It performs the following steps when called:

令 ta 为 ? Construct(ctor, argList)。
令 taRecord 为 ? ValidateTypedArray(ta, seq-cst)。
断言：ta 具有 TypedArray 实例的属性中提到的所有内部槽。
如果 argList 中元素的数量是 1，且 argList[0] 是 Number，则
1. 如果 IsTypedArrayOutOfBounds(taRecord) 是 true，则抛出 TypeError 异常。
2. 令 length 为 TypedArrayLength(taRecord)。
3. 如果 length < ℝ(argList[0])，则抛出 TypeError 异常。
返回 ta。

23.2.4.2 TypedArrayCreateSameType ( `exemplar`, `length` )

The abstract operation TypedArrayCreateSameType takes arguments exemplar (a TypedArray) and length (a non-negative integer) and returns either a normal completion containing a TypedArray or a throw completion. 它用于指定使用从 exemplar 派生的构造器函数创建新的 TypedArray。不同于可以通过使用 %Symbol.species% 构造自定义 TypedArray 子类的 TypedArraySpeciesCreate，此操作总是使用内置 TypedArray 构造器之一。 It performs the following steps when called:

令 ctor 为 Table 71 中与构造器名称 exemplar.[[TypedArrayName]] 关联的固有对象。
令 result 为 ? TypedArrayCreateFromConstructor(ctor, « 𝔽(length) »)。
断言：result 具有 [[TypedArrayName]] 和 [[ContentType]] 内部槽。
断言：result.[[ContentType]] 是 exemplar.[[ContentType]]。
返回 result。

23.2.4.3 TypedArraySpeciesCreate ( `exemplar`, `argList` )

The abstract operation TypedArraySpeciesCreate takes arguments exemplar (a TypedArray) and argList (a List of ECMAScript language values) and returns either a normal completion containing a TypedArray or a throw completion. 它用于指定使用从 exemplar 派生的构造器函数创建新的 TypedArray。不同于可以通过使用 %Symbol.species% 创建非 Array 对象的 ArraySpeciesCreate，此操作强制要求构造器函数创建实际的 TypedArray。 It performs the following steps when called:

令 defaultCtor 为 Table 71 中与构造器名称 exemplar.[[TypedArrayName]] 关联的固有对象。
令 ctor 为 ? SpeciesConstructor(exemplar, defaultCtor)。
令 result 为 ? TypedArrayCreateFromConstructor(ctor, argList)。
如果 result.[[ContentType]] 不是 exemplar.[[ContentType]]，则抛出 TypeError 异常。
返回 result。

23.2.4.4 ValidateTypedArray ( `obj`, `order` )

The abstract operation ValidateTypedArray takes arguments obj (an ECMAScript language value) and order (seq-cst or unordered) and returns either a normal completion containing a TypedArray With Buffer Witness Record or a throw completion. It performs the following steps when called:

执行 ? RequireInternalSlot(obj, [[TypedArrayName]])。
断言：obj 具有 [[ViewedArrayBuffer]] 内部槽。
令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord(obj, order)。
如果 IsTypedArrayOutOfBounds(taRecord) 是 true，则抛出 TypeError 异常。
返回 taRecord。

23.2.4.5 TypedArrayElementSize ( `obj` )

The abstract operation TypedArrayElementSize takes argument obj (a TypedArray) and returns a non-negative integer. It performs the following steps when called:

返回 Table 71 中为 obj.[[TypedArrayName]] 指定的 Element Size 值。

23.2.4.6 TypedArrayElementType ( `obj` )

The abstract operation TypedArrayElementType takes argument obj (a TypedArray) and returns a TypedArray element type. It performs the following steps when called:

返回 Table 71 中为 obj.[[TypedArrayName]] 指定的 Element Type 值。

23.2.4.7 CompareTypedArrayElements ( `x`, `y`, `comparator` )

The abstract operation CompareTypedArrayElements takes arguments x (a Number or a BigInt), y (a Number or a BigInt), and comparator (a function object or undefined) and returns either a normal completion containing a Number or an abrupt completion. It performs the following steps when called:

断言：x 是 Number 且 y 是 Number，或 x 是 BigInt 且 y 是 BigInt。
如果 comparator 不是 undefined，则
1. 令 result 为 ? ToNumber(? Call(comparator, undefined, « x, y »))。
2. 如果 result 是 NaN，则返回 +0_𝔽。
3. 返回 result。
如果 x 是 NaN 且 y 是 NaN，则返回 +0_𝔽。
如果 x 是 NaN，则返回 1_𝔽。
如果 y 是 NaN，则返回 -1_𝔽。
如果 x < y，则返回 -1_𝔽。
如果 x > y，则返回 1_𝔽。
如果 x 是 -0_𝔽 且 y 是 +0_𝔽，则返回 -1_𝔽。
如果 x 是 +0_𝔽 且 y 是 -0_𝔽，则返回 1_𝔽。
返回 +0_𝔽。

Note

这执行数值比较，而不是 23.1.3.30.2 中使用的字符串比较。

23.2.5 `TypedArray` 构造器

每个 TypedArray 构造器：

是具有下述结构的固有对象，除非另有说明，否则只是在 Table 71 中使用的构造器名称不同，而不是使用 TypedArray。
是一个其行为会根据实参数量和类型而不同的函数。调用 TypedArray 的实际行为取决于传给它的实参的数量和种类。
不意图作为函数调用，并且在以这种方式调用时会抛出异常。
可以用作类定义的 extends 子句的值。打算继承指定 TypedArray 行为的子类构造函数，必须包含一次对 TypedArray 构造函数的 super 调用，以创建并初始化子类实例，使其具备支持 %TypedArray%.prototype 的内置方法所必需的内部状态。

23.2.5.1 `TypedArray` ( ...`args` )

每个 TypedArray 构造器在被调用时执行以下步骤：

如果 NewTarget 是 undefined，则抛出 TypeError 异常。
令 ctorName 为 Table 71 中为此 TypedArray 构造器指定的 Constructor Name 值的 String 值。
令 proto 为 "%TypedArray.prototype%"。
令 numberOfArgs 为 args 中元素的数量。
如果 numberOfArgs = 0，则返回 ? AllocateTypedArray(ctorName, NewTarget, proto, 0)。
令 firstArg 为 args[0]。
如果 firstArg 是 Object，则
1. 令 obj 为 ? AllocateTypedArray(ctorName, NewTarget, proto)。
2. 如果 firstArg 具有 [[TypedArrayName]] 内部槽，则
  1. 执行 ? InitializeTypedArrayFromTypedArray(obj, firstArg)。
3. 否则，如果 firstArg 具有 [[ArrayBufferData]] 内部槽，则
  1. 如果 numberOfArgs > 1，则令 byteOffset 为 args[1]；否则令 byteOffset 为 undefined。
  2. 如果 numberOfArgs > 2，则令 length 为 args[2]；否则令 length 为 undefined。
  3. 执行 ? InitializeTypedArrayFromArrayBuffer(obj, firstArg, byteOffset, length)。
4. 否则，
  1. 断言：firstArg 是 Object，且 firstArg 既不具有 [[TypedArrayName]] 也不具有 [[ArrayBufferData]] 内部槽。
  2. 令 usingIterator 为 ? GetMethod(firstArg, %Symbol.iterator%)。
  3. 如果 usingIterator 不是 undefined，则
    1. 令 values 为 ? IteratorToList(? GetIteratorFromMethod(firstArg, usingIterator))。
    2. 执行 ? InitializeTypedArrayFromList(obj, values)。
  4. 否则，
    1. 注：firstArg 不是可迭代对象，因此假定它已经是一个类数组对象。
    2. 执行 ? InitializeTypedArrayFromArrayLike(obj, firstArg)。
5. 返回 obj。
断言：firstArg 不是 Object。
令 elementLength 为 ? ToIndex(firstArg)。
返回 ? AllocateTypedArray(ctorName, NewTarget, proto, elementLength)。

23.2.5.1.1 AllocateTypedArray ( `ctorName`, `newTarget`, `defaultProto` [ , `length` ] )

The abstract operation AllocateTypedArray takes arguments ctorName (a String which is the name of a TypedArray constructor in Table 71), newTarget (a constructor), and defaultProto (a String) and optional argument length (a non-negative integer) and returns either a normal completion containing a TypedArray or a throw completion. 它用于验证并创建 TypedArray 构造器的实例。如果传入了 length 实参，还会分配该长度的 ArrayBuffer，并将其与新的 TypedArray 实例关联。AllocateTypedArray 提供由 TypedArray 使用的公共语义。 It performs the following steps when called:

令 proto 为 ? GetPrototypeFromConstructor(newTarget, defaultProto)。
令 obj 为 TypedArrayCreate(proto)。
断言：obj.[[ViewedArrayBuffer]] 是 undefined。
将 obj.[[TypedArrayName]] 设置为 ctorName。
如果 ctorName 是 "BigInt64Array" 或 "BigUint64Array"，则将 obj.[[ContentType]] 设置为 bigint。
否则，将 obj.[[ContentType]] 设置为 number。
如果 length 不存在，则
1. 将 obj.[[ByteLength]] 设置为 0。
2. 将 obj.[[ByteOffset]] 设置为 0。
3. 将 obj.[[ArrayLength]] 设置为 0。
否则，
1. 执行 ? AllocateTypedArrayBuffer(obj, length)。
返回 obj。

23.2.5.1.2 InitializeTypedArrayFromTypedArray ( `obj`, `sourceArray` )

The abstract operation InitializeTypedArrayFromTypedArray takes arguments obj (a TypedArray) and sourceArray (a TypedArray) and returns either a normal completion containing unused or a throw completion. It performs the following steps when called:

令 sourceData 为 sourceArray.[[ViewedArrayBuffer]]。
令 elementType 为 TypedArrayElementType(obj)。
令 elementSize 为 TypedArrayElementSize(obj)。
令 sourceType 为 TypedArrayElementType(sourceArray)。
令 sourceElementSize 为 TypedArrayElementSize(sourceArray)。
令 sourceByteOffset 为 sourceArray.[[ByteOffset]]。
令 sourceRecord 为 MakeTypedArrayWithBufferWitnessRecord(sourceArray, seq-cst)。
如果 IsTypedArrayOutOfBounds(sourceRecord) 是 true，则抛出 TypeError 异常。
令 elementLength 为 TypedArrayLength(sourceRecord)。
令 byteLength 为 elementSize × elementLength。
如果 elementType 是 sourceType，则
1. 令 data 为 ? CloneArrayBuffer(sourceData, sourceByteOffset, byteLength)。
否则，
1. 令 data 为 ? AllocateArrayBuffer(%ArrayBuffer%, byteLength)。
2. 如果 sourceArray.[[ContentType]] 不是 obj.[[ContentType]]，则抛出 TypeError 异常。
3. 令 sourceByteIndex 为 sourceByteOffset。
4. 令 targetByteIndex 为 0。
5. 令 count 为 elementLength。
6. 重复，只要 count > 0，
  1. 令 value 为 GetValueFromBuffer(sourceData, sourceByteIndex, sourceType, true, unordered)。
  2. 执行 SetValueInBuffer(data, targetByteIndex, elementType, value, true, unordered)。
  3. 将 sourceByteIndex 设置为 sourceByteIndex + sourceElementSize。
  4. 将 targetByteIndex 设置为 targetByteIndex + elementSize。
  5. 将 count 设置为 count - 1。
将 obj.[[ViewedArrayBuffer]] 设置为 data。
将 obj.[[ByteLength]] 设置为 byteLength。
将 obj.[[ByteOffset]] 设置为 0。
将 obj.[[ArrayLength]] 设置为 elementLength。
返回 unused。

23.2.5.1.3 InitializeTypedArrayFromArrayBuffer ( `obj`, `buffer`, `byteOffset`, `length` )

The abstract operation InitializeTypedArrayFromArrayBuffer takes arguments obj (a TypedArray), buffer (an ArrayBuffer or a SharedArrayBuffer), byteOffset (an ECMAScript language value), and length (an ECMAScript language value) and returns either a normal completion containing unused or a throw completion. It performs the following steps when called:

令 elementSize 为 TypedArrayElementSize(obj)。
令 offset 为 ? ToIndex(byteOffset)。
如果 offset 模 elementSize ≠ 0，则抛出 RangeError 异常。
令 bufferIsFixedLength 为 IsFixedLengthArrayBuffer(buffer)。
如果 length 不是 undefined，则
1. 令 newLength 为 ? ToIndex(length)。
如果 IsDetachedBuffer(buffer) 是 true，则抛出 TypeError 异常。
令 bufferByteLength 为 ArrayBufferByteLength(buffer, seq-cst)。
如果 length 是 undefined 且 bufferIsFixedLength 是 false，则
1. 如果 offset > bufferByteLength，则抛出 RangeError 异常。
2. 将 obj.[[ByteLength]] 设置为 auto。
3. 将 obj.[[ArrayLength]] 设置为 auto。
否则，
1. 如果 length 是 undefined，则
  1. 如果 bufferByteLength 模 elementSize ≠ 0，则抛出 RangeError 异常。
  2. 令 newByteLength 为 bufferByteLength - offset。
  3. 如果 newByteLength < 0，则抛出 RangeError 异常。
2. 否则，
  1. 令 newByteLength 为 newLength × elementSize。
  2. 如果 offset + newByteLength > bufferByteLength，则抛出 RangeError 异常。
3. 将 obj.[[ByteLength]] 设置为 newByteLength。
4. 将 obj.[[ArrayLength]] 设置为 newByteLength / elementSize。
将 obj.[[ViewedArrayBuffer]] 设置为 buffer。
将 obj.[[ByteOffset]] 设置为 offset。
返回 unused。

23.2.5.1.4 InitializeTypedArrayFromList ( `obj`, `values` )

The abstract operation InitializeTypedArrayFromList takes arguments obj (a TypedArray) and values (a List of ECMAScript language values) and returns either a normal completion containing unused or a throw completion. It performs the following steps when called:

令 length 为 values 中元素的数量。
执行 ? AllocateTypedArrayBuffer(obj, length)。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kValue 为 values 的第一个元素。
3. 从 values 中移除第一个元素。
4. 执行 ? Set(obj, propertyKey, kValue, true)。
5. 将 k 设置为 k + 1。
断言：values 现在是空 List。
返回 unused。

23.2.5.1.5 InitializeTypedArrayFromArrayLike ( `obj`, `arrayLike` )

The abstract operation InitializeTypedArrayFromArrayLike takes arguments obj (a TypedArray) and arrayLike (an Object, but not a TypedArray or an ArrayBuffer) and returns either a normal completion containing unused or a throw completion. It performs the following steps when called:

令 length 为 ? LengthOfArrayLike(arrayLike)。
执行 ? AllocateTypedArrayBuffer(obj, length)。
令 k 为 0。
重复，只要 k < length，
1. 令 propertyKey 为 ! ToString(𝔽(k))。
2. 令 kValue 为 ? Get(arrayLike, propertyKey)。
3. 执行 ? Set(obj, propertyKey, kValue, true)。
4. 将 k 设置为 k + 1。
返回 unused。

23.2.5.1.6 AllocateTypedArrayBuffer ( `obj`, `length` )

The abstract operation AllocateTypedArrayBuffer takes arguments obj (a TypedArray) and length (a non-negative integer) and returns either a normal completion containing unused or a throw completion. 它分配一个 ArrayBuffer，并将其与 obj 关联。 It performs the following steps when called:

断言：obj.[[ViewedArrayBuffer]] 是 undefined。
令 elementSize 为 TypedArrayElementSize(obj)。
令 byteLength 为 elementSize × length。
令 data 为 ? AllocateArrayBuffer(%ArrayBuffer%, byteLength)。
将 obj.[[ViewedArrayBuffer]] 设置为 data。
将 obj.[[ByteLength]] 设置为 byteLength。
将 obj.[[ByteOffset]] 设置为 0。
将 obj.[[ArrayLength]] 设置为 length。
返回 unused。

23.2.6 `TypedArray` 构造器的属性

每个 TypedArray 构造器：

具有一个 [[Prototype]] 内部槽，其值为 %TypedArray%。
具有一个 "length" 属性，其值为 3_𝔽。
具有一个 "name" 属性，其值是在 Table 71 中为其指定的构造器名称的 String 值。
具有以下属性：

23.2.6.1 `TypedArray`.BYTES_PER_ELEMENT

TypedArray.BYTES_PER_ELEMENT 的值是 Table 71 中为 TypedArray 指定的 Element Size 值。

此属性具有特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }。

23.2.6.2 `TypedArray`.prototype

TypedArray.prototype 的初始值是对应的 TypedArray 原型固有对象（23.2.7）。

此属性具有特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }。

23.2.7 `TypedArray` 原型对象的属性

每个 TypedArray 原型对象：

具有一个 [[Prototype]] 内部槽，其值为 %TypedArray.prototype%。
是普通对象。
没有 [[ViewedArrayBuffer]]，也没有任何其他 TypedArray 实例对象专有的内部槽。

23.2.7.1 `TypedArray`.prototype.BYTES_PER_ELEMENT

TypedArray.prototype.BYTES_PER_ELEMENT 的值是 Table 71 中为 TypedArray 指定的 Element Size 值。

此属性具有特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }。

23.2.7.2 `TypedArray`.prototype.constructor

给定 TypedArray 构造器的原型的 "constructor" 属性的初始值是该构造器自身。

23.2.8 `TypedArray` 实例的属性

TypedArray 实例是 TypedArray。每个 TypedArray 实例从对应的 TypedArray 原型对象继承属性。每个 TypedArray 实例具有以下内部槽：[[ViewedArrayBuffer]]、[[TypedArrayName]]、[[ContentType]]、[[ByteLength]]、[[ByteOffset]] 和 [[ArrayLength]]。

23.3 Uint8Array 对象

Uint8Array 是上文所述 TypedArray 的一种特定类型。此外，Uint8Array 构造器（23.3.1）和 Uint8Array 原型对象（23.3.2）上还有额外的方法。

23.3.1 Uint8Array 构造器的额外属性

23.3.1.1 Uint8Array.fromBase64 ( `string` [ , `options` ] )

如果 string 不是 String，则抛出 TypeError 异常。
令 opts 为 ? GetOptionsObject(options)。
令 alphabet 为 ? Get(opts, "alphabet")。
如果 alphabet 是 undefined，则将 alphabet 设置为 "base64"。
如果 alphabet 既不是 "base64" 也不是 "base64url"，则抛出 TypeError 异常。
令 lastChunkHandling 为 ? Get(opts, "lastChunkHandling")。
如果 lastChunkHandling 是 undefined，则将 lastChunkHandling 设置为 "loose"。
如果 lastChunkHandling 不是 "loose"、"strict" 或 "stop-before-partial" 之一，则抛出 TypeError 异常。
令 result 为 FromBase64(string, alphabet, lastChunkHandling)。
如果 result.[[Error]] 不是 none，则
1. 抛出 result.[[Error]]。
令 resultLength 为 result.[[Bytes]] 中元素的数量。
令 ta 为 ? AllocateTypedArray("Uint8Array", %Uint8Array%, "%Uint8Array.prototype%", resultLength)。
断言：ta.[[ViewedArrayBuffer]].[[ArrayBufferByteLength]] 是 result.[[Bytes]] 中元素的数量。
将 ta.[[ViewedArrayBuffer]].[[ArrayBufferData]] 的每个索引处的值设置为 result.[[Bytes]] 中对应索引处的值。
返回 ta。

23.3.1.2 Uint8Array.fromHex ( `string` )

如果 string 不是 String，则抛出 TypeError 异常。
令 result 为 FromHex(string)。
如果 result.[[Error]] 不是 none，则
1. 抛出 result.[[Error]]。
令 resultLength 为 result.[[Bytes]] 中元素的数量。
令 ta 为 ? AllocateTypedArray("Uint8Array", %Uint8Array%, "%Uint8Array.prototype%", resultLength)。
断言：ta.[[ViewedArrayBuffer]].[[ArrayBufferByteLength]] 是 result.[[Bytes]] 中元素的数量。
将 ta.[[ViewedArrayBuffer]].[[ArrayBufferData]] 的每个索引处的值设置为 result.[[Bytes]] 中对应索引处的值。
返回 ta。

23.3.2 Uint8Array 原型对象的额外属性

23.3.2.1 Uint8Array.prototype.setFromBase64 ( `string` [ , `options` ] )

令 into 为 this 值。
执行 ? ValidateUint8Array(into)。
如果 string 不是 String，则抛出 TypeError 异常。
令 opts 为 ? GetOptionsObject(options)。
令 alphabet 为 ? Get(opts, "alphabet")。
如果 alphabet 是 undefined，则将 alphabet 设置为 "base64"。
如果 alphabet 既不是 "base64" 也不是 "base64url"，则抛出 TypeError 异常。
令 lastChunkHandling 为 ? Get(opts, "lastChunkHandling")。
如果 lastChunkHandling 是 undefined，则将 lastChunkHandling 设置为 "loose"。
如果 lastChunkHandling 不是 "loose"、"strict" 或 "stop-before-partial" 之一，则抛出 TypeError 异常。
令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord(into, seq-cst)。
如果 IsTypedArrayOutOfBounds(taRecord) 是 true，则抛出 TypeError 异常。
令 byteLength 为 TypedArrayLength(taRecord)。
令 result 为 FromBase64(string, alphabet, lastChunkHandling, byteLength)。
令 bytes 为 result.[[Bytes]]。
令 written 为 bytes 中元素的数量。
注：FromBase64 不调用任何用户代码，因此支撑 into 的 ArrayBuffer 不可能已被分离或缩小。
断言：written ≤ byteLength。
执行 SetUint8ArrayBytes(into, bytes)。
如果 result.[[Error]] 不是 none，则
1. 抛出 result.[[Error]]。
令 resultObj 为 OrdinaryObjectCreate(%Object.prototype%)。
执行 ! CreateDataPropertyOrThrow(resultObj, "read", 𝔽(result.[[Read]]))。
执行 ! CreateDataPropertyOrThrow(resultObj, "written", 𝔽(written))。
返回 resultObj。

23.3.2.2 Uint8Array.prototype.setFromHex ( `string` )

令 into 为 this 值。
执行 ? ValidateUint8Array(into)。
如果 string 不是 String，则抛出 TypeError 异常。
令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord(into, seq-cst)。
如果 IsTypedArrayOutOfBounds(taRecord) 是 true，则抛出 TypeError 异常。
令 byteLength 为 TypedArrayLength(taRecord)。
令 result 为 FromHex(string, byteLength)。
令 bytes 为 result.[[Bytes]]。
令 written 为 bytes 中元素的数量。
注：FromHex 不调用任何用户代码，因此支撑 into 的 ArrayBuffer 不可能已被分离或缩小。
断言：written ≤ byteLength。
执行 SetUint8ArrayBytes(into, bytes)。
如果 result.[[Error]] 不是 none，则
1. 抛出 result.[[Error]]。
令 resultObj 为 OrdinaryObjectCreate(%Object.prototype%)。
执行 ! CreateDataPropertyOrThrow(resultObj, "read", 𝔽(result.[[Read]]))。
执行 ! CreateDataPropertyOrThrow(resultObj, "written", 𝔽(written))。
返回 resultObj。

23.3.2.3 Uint8Array.prototype.toBase64 ( [ `options` ] )

令 obj 为 this 值。
执行 ? ValidateUint8Array(obj)。
令 opts 为 ? GetOptionsObject(options)。
令 alphabet 为 ? Get(opts, "alphabet")。
如果 alphabet 是 undefined，则将 alphabet 设置为 "base64"。
如果 alphabet 既不是 "base64" 也不是 "base64url"，则抛出 TypeError 异常。
令 omitPadding 为 ToBoolean(? Get(opts, "omitPadding"))。
令 toEncode 为 ? GetUint8ArrayBytes(obj)。
如果 alphabet 是 "base64"，则
1. 令 outAscii 为根据 RFC 4648 第 4 节指定的 base64 编码对 toEncode 进行编码所得的码点序列。当且仅当 omitPadding 是 false 时包含填充。
否则，
1. 断言：alphabet 是 "base64url"。
2. 令 outAscii 为根据 RFC 4648 第 5 节指定的 base64url 编码对 toEncode 进行编码所得的码点序列。当且仅当 omitPadding 是 false 时包含填充。
返回 CodePointsToString(outAscii)。

23.3.2.4 Uint8Array.prototype.toHex ( )

令 obj 为 this 值。
执行 ? ValidateUint8Array(obj)。
令 toEncode 为 ? GetUint8ArrayBytes(obj)。
令 out 为空 String。
对 toEncode 的每个字节 byte，执行：
1. 令 hex 为 Number::toString(𝔽(byte), 16)。
2. 将 hex 设置为 StringPad(hex, 2, "0", start)。
3. 将 out 设置为 out 和 hex 的字符串连接。
返回 out。

23.3.3 Uint8Array 对象的抽象操作

23.3.3.1 ValidateUint8Array ( `ta` )

The abstract operation ValidateUint8Array takes argument ta (an ECMAScript language value) and returns either a normal completion containing unused or a throw completion. It performs the following steps when called:

执行 ? RequireInternalSlot(ta, [[TypedArrayName]])。
如果 ta.[[TypedArrayName]] 不是 "Uint8Array"，则抛出 TypeError 异常。
返回 unused。

23.3.3.2 GetUint8ArrayBytes ( `ta` )

The abstract operation GetUint8ArrayBytes takes argument ta (a Uint8Array) and returns either a normal completion containing a List of byte values or a throw completion. It performs the following steps when called:

令 buffer 为 ta.[[ViewedArrayBuffer]]。
令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord(ta, seq-cst)。
如果 IsTypedArrayOutOfBounds(taRecord) 是 true，则抛出 TypeError 异常。
令 length 为 TypedArrayLength(taRecord)。
令 byteOffset 为 ta.[[ByteOffset]]。
令 bytes 为新的空 List。
令 index 为 0。
重复，只要 index < length，
1. 令 byteIndex 为 byteOffset + index。
2. 令 byte 为 ℝ(GetValueFromBuffer(buffer, byteIndex, uint8, true, unordered))。
3. 将 byte 追加到 bytes。
4. 将 index 设置为 index + 1。
返回 bytes。

23.3.3.3 SetUint8ArrayBytes ( `into`, `bytes` )

The abstract operation SetUint8ArrayBytes takes arguments into (a Uint8Array) and bytes (a List of byte values) and returns unused. It performs the following steps when called:

令 offset 为 into.[[ByteOffset]]。
令 length 为 bytes 中元素的数量。
令 index 为 0。
重复，只要 index < length，
1. 令 byte 为 bytes[index]。
2. 令 byteIndexInBuffer 为 index + offset。
3. 执行 SetValueInBuffer(into.[[ViewedArrayBuffer]], byteIndexInBuffer, uint8, 𝔽(byte), true, unordered)。
4. 将 index 设置为 index + 1。
返回 unused。

23.3.3.4 SkipAsciiWhitespace ( `string`, `index` )

The abstract operation SkipAsciiWhitespace takes arguments string (a String) and index (a non-negative integer) and returns a non-negative integer. It performs the following steps when called:

令 length 为 string 的长度。
重复，只要 index < length，
1. 令 char 为 string 中索引 index 处的码元。
2. 如果 char 不是 0x0009（TAB）、0x000A（LF）、0x000C（FF）、0x000D（CR）或 0x0020（SPACE）之一，则
  1. 返回 index。
3. 将 index 设置为 index + 1。
返回 index。

23.3.3.5 DecodeFinalBase64Chunk ( `chunk`, `throwOnExtraBits` )

The abstract operation DecodeFinalBase64Chunk takes arguments chunk (a String of length 2 or 3) and throwOnExtraBits (a Boolean) and returns either a normal completion containing a List of byte values, or a throw completion. It performs the following steps when called:

令 chunkLength 为 chunk 的长度。
如果 chunkLength = 2，则
1. 将 chunk 设置为 chunk 和 "AA" 的字符串连接。
否则，
1. 断言：chunkLength 是 3。
2. 将 chunk 设置为 chunk 和 "A" 的字符串连接。
令 bytes 为 DecodeFullLengthBase64Chunk(chunk)。
如果 chunkLength = 2，则
1. 如果 throwOnExtraBits 是 true 且 bytes[1] ≠ 0，则抛出 SyntaxError 异常。
2. 返回 « bytes[0] »。
如果 throwOnExtraBits 是 true 且 bytes[2] ≠ 0，则抛出 SyntaxError 异常。
返回 « bytes[0], bytes[1] »。

23.3.3.6 DecodeFullLengthBase64Chunk ( `chunk` )

The abstract operation DecodeFullLengthBase64Chunk takes argument chunk (a String of length 4) and returns a List of byte values of length 3.

标准 base64 字母表是 "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/"，即由 Unicode Basic Latin 块中每个字母和数字对应的码元，以及 "+" 和 "/" 组成的 String。

令 byteSequence 为将 chunk 作为 base64 解码所得的唯一 3 字节序列（即，对 byteSequence 应用 RFC 4648 第 4 节指定的 base64 编码会产生 chunk 的序列）。
返回一个 List，其元素按顺序为 byteSequence 的元素。

23.3.3.7 FromBase64 ( `string`, `alphabet`, `lastChunkHandling` [ , `maxLength` ] )

The abstract operation FromBase64 takes arguments string (a String), alphabet ("base64" or "base64url"), and lastChunkHandling ("loose", "strict", or "stop-before-partial") and optional argument maxLength (a non-negative integer) and returns a Record with fields [[Read]] (an integer), [[Bytes]] (a List of byte values), and [[Error]] (a SyntaxError object or none). It performs the following steps when called:

如果 maxLength 不存在，则
1. 将 maxLength 设置为 2⁵³ - 1。
2. 注：因为输入是 String，String 的长度被限制为 2⁵³ - 1 个字符，并且输出所需的字节数不超过输入的字符数，所以这个限制永远不可能达到。不过，为了编辑上的方便，这里使用一个有限值作为 maxLength。
注：下方算法中验证和解码的顺序不可观察。鼓励实现以最高效的任意顺序执行它们，也可以将验证与解码交错执行。
如果 maxLength = 0，则
1. 返回 Record { [[Read]]: 0, [[Bytes]]: « », [[Error]]: none }。
令 read 为 0。
令 bytes 为新的空 List。
令 chunk 为空 String。
令 chunkLength 为 0。
令 index 为 0。
令 length 为 string 的长度。
重复，
1. 断言：bytes 中元素的数量可被 3 整除。
2. 将 index 设置为 SkipAsciiWhitespace(string, index)。
3. 如果 index = length，则
  1. 如果 chunkLength > 0，则
    1. 如果 lastChunkHandling 是 "stop-before-partial"，则
      1. 返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }。
    2. 如果 lastChunkHandling 是 "strict"，则
      1. 令 error 为新创建的 SyntaxError 对象。
      2. 返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
    3. 断言：lastChunkHandling 是 "loose"。
    4. 如果 chunkLength = 1，则
      1. 令 error 为新创建的 SyntaxError 对象。
      2. 返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
    5. 将 bytes 设置为 bytes 和 ! DecodeFinalBase64Chunk(chunk, false) 的列表连接。
  2. 返回 Record { [[Read]]: length, [[Bytes]]: bytes, [[Error]]: none }。
4. 令 char 为 string 从 index 到 index + 1 的子字符串。
5. 将 index 设置为 index + 1。
6. 如果 char 是 "="，则
  1. 如果 chunkLength < 2，则
    1. 令 error 为新创建的 SyntaxError 对象。
    2. 返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
  2. 将 index 设置为 SkipAsciiWhitespace(string, index)。
  3. 如果 chunkLength = 2，则
    1. 如果 index = length，则
      1. 如果 lastChunkHandling 是 "stop-before-partial"，则
        返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }。
      2. 令 error 为新创建的 SyntaxError 对象。
      3. 返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
    2. 将 char 设置为 string 从 index 到 index + 1 的子字符串。
    3. 如果 char 是 "="，则
      1. 将 index 设置为 SkipAsciiWhitespace(string, index + 1)。
  4. 如果 index < length，则
    1. 令 error 为新创建的 SyntaxError 对象。
    2. 返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
  5. 如果 lastChunkHandling 是 "strict"，则令 throwOnExtraBits 为 true；否则令 throwOnExtraBits 为 false。
  6. 令 decodeResult 为 Completion(DecodeFinalBase64Chunk(chunk, throwOnExtraBits))。
  7. 如果 decodeResult 是突然完成，则
    1. 令 error 为 decodeResult.[[Value]]。
    2. 返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
  8. 将 bytes 设置为 bytes 和 ! decodeResult 的列表连接。
  9. 返回 Record { [[Read]]: length, [[Bytes]]: bytes, [[Error]]: none }。
7. 如果 alphabet 是 "base64url"，则
  1. 如果 char 是 "+" 或 "/"，则
    1. 令 error 为新创建的 SyntaxError 对象。
    2. 返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
  2. 否则，如果 char 是 "-"，则
    1. 将 char 设置为 "+"。
  3. 否则，如果 char 是 "_"，则
    1. 将 char 设置为 "/"。
8. 如果 char 的唯一码元不是标准 base64 字母表的元素，则
  1. 令 error 为新创建的 SyntaxError 对象。
  2. 返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
9. 令 remaining 为 maxLength - bytes 中元素的数量。
10. 如果 remaining = 1 且 chunkLength = 2，或如果 remaining = 2 且 chunkLength = 3，则
  1. 返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }。
11. 将 chunk 设置为 chunk 和 char 的字符串连接。
12. 将 chunkLength 设置为 chunk 的长度。
13. 如果 chunkLength = 4，则
  1. 将 bytes 设置为 bytes 和 DecodeFullLengthBase64Chunk(chunk) 的列表连接。
  2. 将 chunk 设置为空 String。
  3. 将 chunkLength 设置为 0。
  4. 将 read 设置为 index。
  5. 如果 bytes 中元素的数量 = maxLength，则
    1. 返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }。

23.3.3.8 FromHex ( `string` [ , `maxLength` ] )

The abstract operation FromHex takes argument string (a String) and optional argument maxLength (a non-negative integer) and returns a Record with fields [[Read]] (an integer), [[Bytes]] (a List of byte values), and [[Error]] (a SyntaxError object or none). It performs the following steps when called:

如果 maxLength 不存在，则将 maxLength 设置为 2⁵³ - 1。
令 length 为 string 的长度。
令 bytes 为新的空 List。
令 read 为 0。
如果 length 模 2 ≠ 0，则
1. 令 error 为新创建的 SyntaxError 对象。
2. 返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
重复，只要 read < length 且 bytes 中元素的数量 < maxLength，
1. 令 hexits 为 string 从 read 到 read + 2 的子字符串。
2. 如果 hexits 包含任何不在 "0123456789abcdefABCDEF" 中的码元，则
  1. 令 error 为新创建的 SyntaxError 对象。
  2. 返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
3. 将 read 设置为 read + 2。
4. 令 byte 为 hexits 以 16 进制记法所表示的整数值，使用字母 A 到 F 和 a 到 f 表示值为 10 到 15 的数字。
5. 将 byte 追加到 bytes。
返回 Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }。

23 索引集合

23.1 Array 对象

23.1.1 Array 构造器

23.1.1.1 Array ( ...values )

23.1.2 Array 构造器的属性

23.1.2.1 Array.from ( items [ , mapper [ , thisArg ] ] )

23.1.2.2 Array.fromAsync ( items [ , mapper [ , thisArg ] ] )

23.1.2.3 Array.isArray ( arg )

23.1.2.4 Array.of ( ...items )

23.1.2.5 Array.prototype

23.1.2.6 get Array [ %Symbol.species% ]

23.1.3 Array 原型对象的属性

23.1.3.1 Array.prototype.at ( index )

23.1.3.2 Array.prototype.concat ( ...items )

23.1.3.2.1 IsConcatSpreadable ( obj )

23.1.3.3 Array.prototype.constructor

23.1.3.4 Array.prototype.copyWithin ( target, start [ , end ] )

23.1.3.5 Array.prototype.entries ( )

23.1.3.6 Array.prototype.every ( callback [ , thisArg ] )

23.1.3.7 Array.prototype.fill ( value [ , start [ , end ] ] )

23.1.3.8 Array.prototype.filter ( callback [ , thisArg ] )

23.1.3.9 Array.prototype.find ( predicate [ , thisArg ] )

23.1.3.10 Array.prototype.findIndex ( predicate [ , thisArg ] )

23.1.3.11 Array.prototype.findLast ( predicate [ , thisArg ] )

23.1.3.12 Array.prototype.findLastIndex ( predicate [ , thisArg ] )

23.1.3.12.1 FindViaPredicate ( obj, length, direction, predicate, thisArg )

23.1.3.13 Array.prototype.flat ( [ depth ] )

23.1.3.13.1 FlattenIntoArray ( target, source, sourceLength, start, depth [ , mapperFunc [ , thisArg ] ] )

23.1.3.14 Array.prototype.flatMap ( mapperFunc [ , thisArg ] )

23.1.3.15 Array.prototype.forEach ( callback [ , thisArg ] )

23.1.3.16 Array.prototype.includes ( searchElement [ , fromIndex ] )

23.1.3.17 Array.prototype.indexOf ( searchElement [ , fromIndex ] )

23.1.3.18 Array.prototype.join ( separator )

23.1.3.19 Array.prototype.keys ( )

23.1.3.20 Array.prototype.lastIndexOf ( searchElement [ , fromIndex ] )

23.1.3.21 Array.prototype.map ( callback [ , thisArg ] )

23.1.3.22 Array.prototype.pop ( )

23.1.3.23 Array.prototype.push ( ...items )

23.1.3.24 Array.prototype.reduce ( callback [ , initialValue ] )

23.1.3.25 Array.prototype.reduceRight ( callback [ , initialValue ] )

23.1.3.26 Array.prototype.reverse ( )

23.1.3.27 Array.prototype.shift ( )

23.1.3.28 Array.prototype.slice ( start, end )

23.1.3.29 Array.prototype.some ( callback [ , thisArg ] )

23.1.3.30 Array.prototype.sort ( comparator )

23.1.3.30.1 SortIndexedProperties ( obj, length, sortCompare, holes )

23.1.3.30.2 CompareArrayElements ( x, y, comparator )

23.1.3.31 Array.prototype.splice ( start, deleteCount, ...items )

23.1.3.32 Array.prototype.toLocaleString ( [ reserved1 [ , reserved2 ] ] )

23.1.3.33 Array.prototype.toReversed ( )

23.1.3.34 Array.prototype.toSorted ( comparator )

23.1.3.35 Array.prototype.toSpliced ( start, skipCount, ...items )

23.1.3.36 Array.prototype.toString ( )

23.1.3.37 Array.prototype.unshift ( ...items )

23.1.3.38 Array.prototype.values ( )

23.1.3.39 Array.prototype.with ( index, value )

23.1.3.40 Array.prototype [ %Symbol.iterator% ] ( )

23.1.3.41 Array.prototype [ %Symbol.unscopables% ]

23.1.4 Array 实例的属性

23.1.4.1 length

23.1.5 Array Iterator 对象

23.1.5.1 CreateArrayIterator ( array, kind )

23.1.5.2 %ArrayIteratorPrototype% 对象

23.1.5.2.1 %ArrayIteratorPrototype%.next ( )

23.1.5.2.2 %ArrayIteratorPrototype% [ %Symbol.toStringTag% ]

23.1.5.3 Array Iterator 实例的属性

23.2 TypedArray 对象

23.2.1 %TypedArray% 固有对象

23.2.1.1 %TypedArray% ( )

23.2.2 %TypedArray% 固有对象的属性

23.2.2.1 %TypedArray%.from ( source [ , mapper [ , thisArg ] ] )

23.2.2.2 %TypedArray%.of ( ...items )

23.2.2.3 %TypedArray%.prototype

23.2.2.4 get %TypedArray% [ %Symbol.species% ]

23.2.3 %TypedArray% 原型对象的属性

23.2.3.1 %TypedArray%.prototype.at ( index )

23.2.3.2 get %TypedArray%.prototype.buffer

23.2.3.3 get %TypedArray%.prototype.byteLength

23.2.3.4 get %TypedArray%.prototype.byteOffset

23.2.3.5 %TypedArray%.prototype.constructor

23.1.1.1 Array ( ...`values` )

23.1.2.1 Array.from ( `items` [ , `mapper` [ , `thisArg` ] ] )

23.1.2.2 Array.fromAsync ( `items` [ , `mapper` [ , `thisArg` ] ] )

23.1.2.3 Array.isArray ( `arg` )

23.1.2.4 Array.of ( ...`items` )

23.1.3.1 Array.prototype.at ( `index` )

23.1.3.2 Array.prototype.concat ( ...`items` )

23.1.3.2.1 IsConcatSpreadable ( `obj` )

23.1.3.4 Array.prototype.copyWithin ( `target`, `start` [ , `end` ] )

23.1.3.6 Array.prototype.every ( `callback` [ , `thisArg` ] )

23.1.3.7 Array.prototype.fill ( `value` [ , `start` [ , `end` ] ] )

23.1.3.8 Array.prototype.filter ( `callback` [ , `thisArg` ] )

23.1.3.9 Array.prototype.find ( `predicate` [ , `thisArg` ] )

23.1.3.10 Array.prototype.findIndex ( `predicate` [ , `thisArg` ] )

23.1.3.11 Array.prototype.findLast ( `predicate` [ , `thisArg` ] )

23.1.3.12 Array.prototype.findLastIndex ( `predicate` [ , `thisArg` ] )

23.1.3.12.1 FindViaPredicate ( `obj`, `length`, `direction`, `predicate`, `thisArg` )

23.1.3.13 Array.prototype.flat ( [ `depth` ] )

23.1.3.13.1 FlattenIntoArray ( `target`, `source`, `sourceLength`, `start`, `depth` [ , `mapperFunc` [ , `thisArg` ] ] )

23.1.3.14 Array.prototype.flatMap ( `mapperFunc` [ , `thisArg` ] )

23.1.3.15 Array.prototype.forEach ( `callback` [ , `thisArg` ] )

23.1.3.16 Array.prototype.includes ( `searchElement` [ , `fromIndex` ] )

23.1.3.17 Array.prototype.indexOf ( `searchElement` [ , `fromIndex` ] )

23.1.3.18 Array.prototype.join ( `separator` )

23.1.3.20 Array.prototype.lastIndexOf ( `searchElement` [ , `fromIndex` ] )

23.1.3.21 Array.prototype.map ( `callback` [ , `thisArg` ] )

23.1.3.23 Array.prototype.push ( ...`items` )

23.1.3.24 Array.prototype.reduce ( `callback` [ , `initialValue` ] )

23.1.3.25 Array.prototype.reduceRight ( `callback` [ , `initialValue` ] )

23.1.3.28 Array.prototype.slice ( `start`, `end` )

23.1.3.29 Array.prototype.some ( `callback` [ , `thisArg` ] )

23.1.3.30 Array.prototype.sort ( `comparator` )

23.1.3.30.1 SortIndexedProperties ( `obj`, `length`, `sortCompare`, `holes` )

23.1.3.30.2 CompareArrayElements ( `x`, `y`, `comparator` )

23.1.3.31 Array.prototype.splice ( `start`, `deleteCount`, ...`items` )

23.1.3.32 Array.prototype.toLocaleString ( [ `reserved1` [ , `reserved2` ] ] )

23.1.3.34 Array.prototype.toSorted ( `comparator` )

23.1.3.35 Array.prototype.toSpliced ( `start`, `skipCount`, ...`items` )

23.1.3.37 Array.prototype.unshift ( ...`items` )

23.1.3.39 Array.prototype.with ( `index`, `value` )

23.1.5.1 CreateArrayIterator ( `array`, `kind` )

23.2.2.1 %TypedArray%.from ( `source` [ , `mapper` [ , `thisArg` ] ] )

23.2.2.2 %TypedArray%.of ( ...`items` )

23.2.3.1 %TypedArray%.prototype.at ( `index` )

23.2.3.6 %TypedArray%.prototype.copyWithin ( `target`, `start` [ , `end` ] )

23.2.3.8 %TypedArray%.prototype.every ( `callback` [ , `thisArg` ] )

23.2.3.9 %TypedArray%.prototype.fill ( `value` [ , `start` [ , `end` ] ] )

23.2.3.10 %TypedArray%.prototype.filter ( `callback` [ , `thisArg` ] )

23.2.3.11 %TypedArray%.prototype.find ( `predicate` [ , `thisArg` ] )

23.2.3.12 %TypedArray%.prototype.findIndex ( `predicate` [ , `thisArg` ] )

23.2.3.13 %TypedArray%.prototype.findLast ( `predicate` [ , `thisArg` ] )

23.2.3.14 %TypedArray%.prototype.findLastIndex ( `predicate` [ , `thisArg` ] )

23.2.3.15 %TypedArray%.prototype.forEach ( `callback` [ , `thisArg` ] )

23.2.3.16 %TypedArray%.prototype.includes ( `searchElement` [ , `fromIndex` ] )

23.2.3.17 %TypedArray%.prototype.indexOf ( `searchElement` [ , `fromIndex` ] )

23.2.3.18 %TypedArray%.prototype.join ( `separator` )

23.2.3.20 %TypedArray%.prototype.lastIndexOf ( `searchElement` [ , `fromIndex` ] )

23.2.3.22 %TypedArray%.prototype.map ( `callback` [ , `thisArg` ] )

23.2.3.23 %TypedArray%.prototype.reduce ( `callback` [ , `initialValue` ] )

23.2.3.24 %TypedArray%.prototype.reduceRight ( `callback` [ , `initialValue` ] )

23.2.3.26 %TypedArray%.prototype.set ( `source` [ , `offset` ] )

23.2.3.26.1 SetTypedArrayFromArrayLike ( `target`, `targetOffset`, `source` )

23.2.3.26.2 SetTypedArrayFromTypedArray ( `target`, `targetOffset`, `source` )

23.2.3.27 %TypedArray%.prototype.slice ( `start`, `end` )

23.2.3.28 %TypedArray%.prototype.some ( `callback` [ , `thisArg` ] )

23.2.3.29 %TypedArray%.prototype.sort ( `comparator` )

23.2.3.30 %TypedArray%.prototype.subarray ( `start`, `end` )

23.2.3.31 %TypedArray%.prototype.toLocaleString ( [ `reserved1` [ , `reserved2` ] ] )

23.2.3.33 %TypedArray%.prototype.toSorted ( `comparator` )

23.2.3.36 %TypedArray%.prototype.with ( `index`, `value` )

23.2.4.1 TypedArrayCreateFromConstructor ( `ctor`, `argList` )

23.2.4.2 TypedArrayCreateSameType ( `exemplar`, `length` )

23.2.4.3 TypedArraySpeciesCreate ( `exemplar`, `argList` )

23.2.4.4 ValidateTypedArray ( `obj`, `order` )

23.2.4.5 TypedArrayElementSize ( `obj` )

23.2.4.6 TypedArrayElementType ( `obj` )

23.2.4.7 CompareTypedArrayElements ( `x`, `y`, `comparator` )

23.2.5 `TypedArray` 构造器

23.2.5.1 `TypedArray` ( ...`args` )

23.2.5.1.1 AllocateTypedArray ( `ctorName`, `newTarget`, `defaultProto` [ , `length` ] )