23 索引集合（Indexed Collections）

23.1 Array 对象

Array 是一种对某类属性名进行特殊处理的异质（exotic）对象。该特殊处理的定义见 10.4.2。

23.1.1 Array 构造函数

Array 构造函数：

是 %Array%。
是全局对象 "Array" 属性的初始值。
作为构造函数调用时创建并初始化一个新的 Array。
作为函数（而非构造函数）调用时同样创建并初始化一个新的 Array。因此函数调用 Array(…) 等价于使用相同参数的对象创建表达式 new Array(…)。
其行为随参数数量与类型不同而不同。
可用作类定义 extends 子句的值。打算继承数组异质行为的子类构造函数必须包含对 Array 构造函数的 super 调用，以初始化作为数组异质对象的子类实例。但大多数 Array.prototype 方法是泛型的，不依赖其 this 为数组异质对象。

23.1.1.1 Array ( ...`values` )

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

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

23.1.2 Array 构造函数的属性

Array 构造函数：

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

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

该函数在调用时会执行以下步骤：

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

Note

此方法是刻意设计的通用工厂方法；其 this 不必为 Array 构造函数，因此可被其他可用单个数值参数调用的构造函数继承或转移使用。

23.1.2.2 Array.isArray ( `arg` )

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

返回 ? IsArray(arg)。

23.1.2.3 Array.of ( ...`items` )

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

令 len 为 items 中元素数量。
令 lenNumber 为 𝔽(len)。
令 C 为 this 值。
若 IsConstructor(C) 为 true，则
1. 令 A 为 ? Construct(C, « lenNumber »)。
否则，
1. 令 A 为 ? ArrayCreate(len)。
令 k 为 0。
当 k < len 时重复，
1. 令 kValue 为 items[k]。
2. 令 Pk 为 ! ToString(𝔽(k))。
3. 执行 ? CreateDataPropertyOrThrow(A, Pk, kValue)。
4. 令 k = k + 1。
执行 ? Set(A, "length", lenNumber, true)。
返回 A。

Note

此方法是刻意设计的通用工厂方法；其 this 不必为 Array 构造函数，因此可被其它构造函数继承或转移使用。

23.1.2.4 Array.prototype

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

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

23.1.2.5 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

指定为数组异质对象以保持与 ECMAScript 2015 之前代码的兼容性。

23.1.3.1 Array.prototype.at ( `index` )

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

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

返回一个数组，包含对象自身元素后接各参数的数组元素。

调用时执行：

令 O 为 ? ToObject(this value)。
令 A 为 ? ArraySpeciesCreate(O, 0)。
令 n = 0。
将 O 前置到 items。
对 items 中每个元素 E：
1. 令 spreadable 为 ? IsConcatSpreadable(E)。
2. 若 spreadable 为 true，
  1. 令 len 为 ? LengthOfArrayLike(E)。
  2. 若 n + len > 2⁵³ - 1，抛出 TypeError。
  3. 令 k = 0。
  4. 当 k < len：
    1. 令 Pk 为 ! ToString(𝔽(k))。
    2. 令 exists 为 ? HasProperty(E, Pk)。
    3. 若 exists 为 true，
      1. 令 subElement 为 ? Get(E, Pk)。
      2. 执行 ? CreateDataPropertyOrThrow(A, ! ToString(𝔽(n)), subElement)。
    4. 令 n = n + 1。
    5. 令 k = k + 1。
3. 否则，
  1. 注：E 作为单个元素添加。
  2. 若 n ≥ 2⁵³ - 1，抛出 TypeError。
  3. 执行 ? CreateDataPropertyOrThrow(A, ! ToString(𝔽(n)), E)。
  4. 令 n = n + 1。
执行 ? Set(A, "length", 𝔽(n), true)。
返回 A。

此方法 "length" 属性为 1_𝔽。

Note 1

显式设置 "length"（参见 6）以确保尾部存在空洞或 A 不是内置数组时长度正确。

Note 2

本方法为泛型；this 不要求是 Array，可转移给其他对象使用。

23.1.3.2.1 IsConcatSpreadable ( `O` )

The abstract operation IsConcatSpreadable takes argument O (an ECMAScript language value) and returns 包含布尔值的正常完成或抛出完成. It performs the following steps when called:

若 O 不是对象，返回 false。
令 spreadable 为 ? Get(O, %Symbol.isConcatSpreadable%)。
若 spreadable 不为 undefined，返回 ToBoolean(spreadable)。
返回 ? IsArray(O)。

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 / start / end 分别视为 length + 参数。

调用时执行：

令 O 为 ? ToObject(this value)。
令 len 为 ? LengthOfArrayLike(O)。
令 relativeTarget 为 ? ToIntegerOrInfinity(target)。
若 relativeTarget = -∞，令 to = 0。
否则若 relativeTarget < 0，令 to = max(len + relativeTarget, 0)。
否则令 to = min(relativeTarget, len)。
令 relativeStart 为 ? ToIntegerOrInfinity(start)。
若 relativeStart = -∞，令 from = 0。
否则若 relativeStart < 0，令 from = max(len + relativeStart, 0)。
否则令 from = min(relativeStart, len)。
若 end 为 undefined，令 relativeEnd = len；否则令 relativeEnd = ? ToIntegerOrInfinity(end)。
若 relativeEnd = -∞，令 final = 0。
否则若 relativeEnd < 0，令 final = max(len + relativeEnd, 0)。
否则令 final = min(relativeEnd, len)。
令 count = min(final - from, len - to)。
若 from < to 且 to < from + count，则
1. 令 direction = -1。
2. 令 from = from + count - 1。
3. 令 to = to + count - 1。
否则令 direction = 1。
当 count > 0：
1. 令 fromKey = ! ToString(𝔽(from))。
2. 令 toKey = ! ToString(𝔽(to))。
3. 令 fromPresent = ? HasProperty(O, fromKey)。
4. 若 fromPresent 为 true，
  1. 令 fromValue = ? Get(O, fromKey)。
  2. 执行 ? Set(O, toKey, fromValue, true)。
5. 否则
  1. 执行 ? DeletePropertyOrThrow(O, toKey)。
6. from += direction。
7. to += direction。
8. count -= 1。
返回 O。

Note 3

方法为泛型，可转移到其它对象。

23.1.3.5 Array.prototype.entries ( )

调用时执行：

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

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

Note 1

依次（升序）对存在的元素调用 callback，若遇到返回 false 的元素立即返回 false；否则返回 true。空数组结果为 true。

执行步骤：

令 O 为 ? ToObject(this value)。
令 len 为 ? LengthOfArrayLike(O)。
若 IsCallable(callback) 为 false，抛出 TypeError。
令 k = 0。
当 k < len：
1. 令 Pk = ! ToString(𝔽(k))。
2. 令 kPresent = ? HasProperty(O, Pk)。
3. 若 kPresent：
  1. 令 kValue = ? Get(O, Pk)。
  2. 令 testResult = ToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), O »))。
  3. 若 testResult 为 false，返回 false。
4. k = k + 1。
返回 true。

Note 2

泛型方法，可转移使用。

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

Note 1

start 缺省 +0_𝔽；end 缺省为长度；负值按长度偏移。

执行步骤：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
relativeStart = ? ToIntegerOrInfinity(start)。
若 relativeStart = -∞，k = 0；否则若 < 0，k = max(len + relativeStart, 0)；否则 k = min(relativeStart, len)。
若 end 为 undefined，relativeEnd = len；否则 relativeEnd = ? ToIntegerOrInfinity(end)。
若 relativeEnd = -∞，final = 0；否则若 < 0，final = max(len + relativeEnd, 0)；否则 final = min(relativeEnd, len)。
当 k < final：
1. Pk = ! ToString(𝔽(k))。
2. ? Set(O, Pk, value, true)。
3. k++。
返回 O。

Note 2

泛型方法。

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

Note 1

对现有元素调用 callback，收集返回 true 的值构成新数组。

执行步骤：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
若 IsCallable(callback) 为 false 抛 TypeError。
A = ? ArraySpeciesCreate(O, 0)。
k = 0；to = 0。
当 k < len：
1. Pk = ! ToString(𝔽(k))。
2. kPresent = ? HasProperty(O, Pk)。
3. 若 kPresent：
  1. kValue = ? Get(O, Pk)。
  2. selected = ToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), O »))。
  3. 若 selected：
    1. ? CreateDataPropertyOrThrow(A, ! ToString(𝔽(to)), kValue)。
    2. to++。
4. k++。
返回 A。

Note 2

泛型。

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

Note 1

升序查找首个使 predicate 结果为真值的元素，找不到返回 undefined。

执行步骤：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
findRec = ? FindViaPredicate(O, len, ascending, predicate, thisArg)。
返回 findRec.[[Value]]。

Note 2

泛型。

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

Note 1

升序查找首个满足谓词的索引，未找到返回 -1。

执行：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
findRec = ? FindViaPredicate(O, len, ascending, predicate, thisArg)。
返回 findRec.[[Index]]。

Note 2

泛型。

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

Note 1

降序查找首个满足谓词的元素，未找到返回 undefined。

执行：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
findRec = ? FindViaPredicate(O, len, descending, predicate, thisArg)。
返回 findRec.[[Value]]。

Note 2

泛型。

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

Note 1

降序查找首个满足谓词的索引，未找到返回 -1。

执行：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
findRec = ? FindViaPredicate(O, len, descending, predicate, thisArg)。
返回 findRec.[[Index]]。

Note 2

泛型。

23.1.3.12.1 FindViaPredicate ( `O`, `len`, `direction`, `predicate`, `thisArg` )

The abstract operation FindViaPredicate takes arguments O (an Object), len (a non-negative integer), direction (ascending or descending), predicate (an ECMAScript language value), and thisArg (an ECMAScript language value) and returns 返回含 [[Index]] 与 [[Value]] 字段的记录或抛出完成.

遍历 O 的索引（升序或降序）调用 predicate，返回首个真值对应的索引与值；若无则索引 -1_𝔽，值 undefined。

predicate 接收 (元素值, 索引, 被遍历对象)。

thisArg 作为 this 使用。

不直接修改 O；predicate 可修改。

遍历范围在开始前确定；新增元素不访问；修改元素按访问时值；删除后再访问的仍按原序列访问（TypedArray 特例除外按语义）。

It performs the following steps when called:

若 IsCallable(predicate) 为 false 抛 TypeError。
若 direction 为 ascending，
1. 令 indices 为 [0, …, len-1] 升序列表。
否则，
1. 令 indices 为 [0, …, len-1] 降序列表。
对 indices 中每个整数 k：
1. Pk = ! ToString(𝔽(k))。
2. 注：若 O 是 TypedArray，调用 Get 为正常完成。
3. kValue = ? Get(O, Pk)。
4. testResult = ? Call(predicate, thisArg, « kValue, 𝔽(k), O »)。
5. 若 ToBoolean(testResult) 为 true，返回 { [[Index]]: 𝔽(k), [[Value]]: kValue }。
返回 { [[Index]]: -1_𝔽, [[Value]]: undefined }。

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

调用时执行：

O = ? ToObject(this value)。
sourceLen = ? LengthOfArrayLike(O)。
depthNum = 1。
若 depth 非 undefined：
1. depthNum = ? ToIntegerOrInfinity(depth)。
2. 若 depthNum < 0，设为 0。
A = ? ArraySpeciesCreate(O, 0)。
? FlattenIntoArray(A, O, sourceLen, 0, depthNum)。
返回 A。

23.1.3.13.1 FlattenIntoArray ( `target`: an Object, `source`: an Object, `sourceLen`: a non-negative integer, `start`: a non-negative integer, `depth`: a non-negative integer or +∞, optional `mapperFunction`: a function object, optional `thisArg`: an ECMAScript language value, ): either a normal completion containing a non-negative integer or a throw completion

断言：若提供 mapperFunction，则 IsCallable(mapperFunction) 为 true，thisArg 存在且 depth = 1。
targetIndex = start。
sourceIndex = +0_𝔽。
当 ℝ(sourceIndex) < sourceLen：
1. P = ! ToString(sourceIndex)。
2. exists = ? HasProperty(source, P)。
3. 若 exists：
  1. element = ? Get(source, P)。
  2. 若有 mapperFunction：element = ? Call(mapperFunction, thisArg, « element, sourceIndex, source »)。
  3. shouldFlatten = false。
  4. 若 depth > 0：shouldFlatten = ? IsArray(element)。
  5. 若 shouldFlatten：
    1. 若 depth = +∞，newDepth = +∞；否则 newDepth = depth - 1。
    2. elementLen = ? LengthOfArrayLike(element)。
    3. targetIndex = ? FlattenIntoArray(target, element, elementLen, targetIndex, newDepth)。
  6. 否则：
    1. 若 targetIndex ≥ 2⁵³ - 1 抛 TypeError。
    2. ? CreateDataPropertyOrThrow(target, ! ToString(𝔽(targetIndex)), element)。
    3. targetIndex++。
4. sourceIndex += 1_𝔽。
返回 targetIndex。

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

执行步骤：

O = ? ToObject(this value)。
sourceLen = ? LengthOfArrayLike(O)。
若 IsCallable(mapperFunction) 为 false 抛 TypeError。
A = ? ArraySpeciesCreate(O, 0)。
? FlattenIntoArray(A, O, sourceLen, 0, 1, mapperFunction, thisArg)。
返回 A。

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

Note 1

对存在元素升序调用 callback，不返回聚合值，缺失元素略过。

步骤：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
若 IsCallable(callback) 为 false 抛 TypeError。
k = 0。
当 k < len：
1. Pk = ! ToString(𝔽(k))。
2. kPresent = ? HasProperty(O, Pk)。
3. 若 kPresent：
  1. kValue = ? Get(O, Pk)。
  2. ? Call(callback, thisArg, « kValue, 𝔽(k), O »)。
4. k++。
返回 undefined。

Note 2

泛型。

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

Note 1

使用 SameValueZero 比较，找到即返回 true，未找到 false；不跳过空洞（空洞按 undefined）。

步骤：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
若 len = 0 返回 false。
n = ? ToIntegerOrInfinity(fromIndex)。
断言：若 fromIndex 为 undefined，n = 0。
若 n = +∞ 返回 false；若 n = -∞ 令 n = 0。
若 n ≥ 0：k = n；否则 k = len + n，若 k < 0 则 k = 0。
当 k < len：
1. elementK = ? Get(O, ! ToString(𝔽(k)))。
2. 若 SameValueZero(searchElement, elementK) 为 true 返回 true。
3. k++。
返回 false。

Note 2

泛型。

Note 3

区别于 indexOf：使用 SameValueZero 并且不跳过空洞。

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

使用 IsStrictlyEqual 升序查找首个匹配索引，未找到返回 -1_𝔽（跳过空洞）。

Note 1

fromIndex 缺省 +0_𝔽；可为负表示从末尾偏移。

步骤：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
若 len = 0 返回 -1_𝔽。
n = ? ToIntegerOrInfinity(fromIndex)。
断言：fromIndex 为 undefined 时 n = 0。
若 n = +∞ 返回 -1_𝔽；若 n = -∞ 置 0。
若 n ≥ 0：k = n；否则 k = len + n，若 k < 0 则 0。
当 k < len：
1. Pk = ! ToString(𝔽(k))。
2. kPresent = ? HasProperty(O, Pk)。
3. 若 kPresent：
  1. elementK = ? Get(O, Pk)。
  2. 若 IsStrictlyEqual(searchElement, elementK) 为 true 返回 𝔽(k)。
4. k++。
返回 -1_𝔽。

Note 2

泛型。

23.1.3.18 Array.prototype.join ( `separator` )

将元素转换为字符串并用分隔符拼接；缺省分隔符为逗号。

步骤：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
若 separator 为 undefined，sep = ","；否则 sep = ? ToString(separator)。
R = 空字符串；k = 0。
当 k < len：
1. 若 k > 0，R = R + sep。
2. element = ? Get(O, ! ToString(𝔽(k)))。
3. 若 element 既非 undefined 亦非 null：
  1. S = ? ToString(element)。
  2. R = R + S。
4. k++。
返回 R。

Note

泛型。

23.1.3.19 Array.prototype.keys ( )

步骤：

O = ? ToObject(this value)。
返回 CreateArrayIterator(O, key)。

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

Note 1

自右向左使用 IsStrictlyEqual 查找，返回最大匹配索引，否则 -1。

步骤：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
若 len = 0 返回 -1_𝔽。
若提供 fromIndex，n = ? ToIntegerOrInfinity(fromIndex)；否则 n = len - 1。
若 n = -∞ 返回 -1_𝔽。
若 n ≥ 0：k = min(n, len - 1)；否则 k = len + n。
当 k ≥ 0：
1. Pk = ! ToString(𝔽(k))。
2. kPresent = ? HasProperty(O, Pk)。
3. 若 kPresent：
  1. elementK = ? Get(O, Pk)。
  2. 若 IsStrictlyEqual(searchElement, elementK) 为 true 返回 𝔽(k)。
4. k--。
返回 -1_𝔽。

Note 2

泛型。

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

Note 1

升序对存在元素调用 callback，生成新数组。

步骤：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
若 IsCallable(callback) 为 false 抛 TypeError。
A = ? ArraySpeciesCreate(O, len)。
k = 0。
当 k < len：
1. Pk = ! ToString(𝔽(k))。
2. kPresent = ? HasProperty(O, Pk)。
3. 若 kPresent：
  1. kValue = ? Get(O, Pk)。
  2. mappedValue = ? Call(callback, thisArg, « kValue, 𝔽(k), O »)。
  3. ? CreateDataPropertyOrThrow(A, Pk, mappedValue)。
4. k++。
返回 A。

Note 2

泛型。

23.1.3.22 Array.prototype.pop ( )

Note 1

移除并返回最后一个元素。

步骤：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
若 len = 0：
1. ? Set(O, "length", +0_𝔽, true)。
2. 返回 undefined。
否则：
1. 令 newLen = 𝔽(len - 1)。
2. index = ! ToString(newLen)。
3. element = ? Get(O, index)。
4. ? DeletePropertyOrThrow(O, index)。
5. ? Set(O, "length", newLen, true)。
6. 返回 element。

Note 2

泛型。

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

Note 1

将参数按顺序追加到末尾，返回新长度。

步骤：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
argCount = items 长度。
若 len + argCount > 2⁵³ - 1 抛 TypeError。
对每个 E 属于 items：
1. ? Set(O, ! ToString(𝔽(len)), E, true)。
2. len++。
? Set(O, "length", 𝔽(len), true)。
返回 𝔽(len)。

此方法 "length" 属性为 1_𝔽。

Note 2

泛型。

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

Note 1

从左到右归约；若未提供 initialValue，使用首个存在元素作为累加器起始；空数组且无初始值抛 TypeError。

步骤：

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
若 IsCallable(callback) 为 false 抛 TypeError。
若 len = 0 且无 initialValue 抛 TypeError。
k = 0；accumulator = undefined。
若提供 initialValue：accumulator = initialValue。
否则：
1. kPresent = false。
2. 当 !kPresent 且 k < len：
  1. Pk = ! ToString(𝔽(k))。
  2. kPresent = ? HasProperty(O, Pk)。
  3. 若 kPresent：accumulator = ? Get(O, Pk)。
  4. k++。
3. 若 !kPresent 抛 TypeError。
当 k < len：
1. Pk = ! ToString(𝔽(k))。
2. kPresent = ? HasProperty(O, Pk)。
3. 若 kPresent：
  1. kValue = ? Get(O, Pk)。
  2. accumulator = ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), O »)。
4. k++。
返回 accumulator。

Note 2

泛型。

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

Note 1

从右向左归约，规则同 reduce 但方向相反。

步骤：

O = ? ToObject(this value)，len = ? LengthOfArrayLike(O)。
若 IsCallable(callback) 为 false 抛 TypeError。
若 len = 0 且无 initialValue 抛 TypeError。
k = len - 1；accumulator = undefined。
若有初始值：accumulator = initialValue。
否则：
1. kPresent = false。
2. 当 !kPresent 且 k ≥ 0：
  1. Pk = ! ToString(𝔽(k))。
  2. kPresent = ? HasProperty(O, Pk)。
  3. 若 kPresent：accumulator = ? Get(O, Pk)。
  4. k--。
3. 若 !kPresent 抛 TypeError。
当 k ≥ 0：
1. Pk = ! ToString(𝔽(k))。
2. kPresent = ? HasProperty(O, Pk)。
3. 若 kPresent：
  1. kValue = ? Get(O, Pk)。
  2. accumulator = ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), O »)。
4. k--。
返回 accumulator。

Note 2

泛型。

23.1.3.26 Array.prototype.reverse ( )

Note 1

就地反转顺序并返回该对象。

步骤：

O = ? ToObject(this value)，len = ? LengthOfArrayLike(O)。
middle = floor(len/2)，lower = 0。
当 lower ≠ middle：
1. upper = len - lower - 1。
2. upperP = ! ToString(𝔽(upper))，lowerP = ! ToString(𝔽(lower))。
3. lowerExists = ? HasProperty(O, lowerP)；若真：lowerValue = ? Get(O, lowerP)。
4. upperExists = ? HasProperty(O, upperP)；若真：upperValue = ? Get(O, upperP)。
5. 若二者皆真：交换；仅上真：下设上并删上；仅下真：删下并设上；皆假：无操作。
6. lower++。
返回 O。

Note 2

泛型。

23.1.3.27 Array.prototype.shift ( )

移除首元素并返回。

步骤：

O = ? ToObject(this value)，len = ? LengthOfArrayLike(O)。
若 len = 0：? Set(O, "length", +0_𝔽, true)；返回 undefined。
first = ? Get(O, "0")。
k = 1。
当 k < len：
1. from = ! ToString(𝔽(k))，to = ! ToString(𝔽(k-1))。
2. fromPresent = ? HasProperty(O, from)。
3. 若真：fromValue = ? Get(O, from)；? Set(O, to, fromValue, true)；否则 Delete to。
4. k++。
? DeletePropertyOrThrow(O, ! ToString(𝔽(len-1)))。
? Set(O, "length", 𝔽(len-1), true)。
返回 first。

Note

泛型。

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

返回从 start（含）到 end（不含）之间的浅拷贝；负值按长度偏移。

步骤：

O = ? ToObject(this value)，len = ? LengthOfArrayLike(O)。
relativeStart = ? ToIntegerOrInfinity(start)。
若 = -∞，k = 0；否则若 <0，k = max(len+relativeStart,0)；否则 k = min(relativeStart, len)。
relativeEnd = (end 是 undefined ? len : ? ToIntegerOrInfinity(end))。
若 relativeEnd = -∞，final = 0；若 <0，final = max(len+relativeEnd,0)；否则 final = min(relativeEnd, len)。
count = max(final - k, 0)。
A = ? ArraySpeciesCreate(O, count)。
n = 0。
当 k < final：
1. Pk = ! ToString(𝔽(k))。
2. kPresent = ? HasProperty(O, Pk)。
3. 若真：kValue = ? Get(O, Pk)；? CreateDataPropertyOrThrow(A, ! ToString(𝔽(n)), kValue)。
4. k++；n++。
? Set(A, "length", 𝔽(n), true)。
返回 A。

Note 1

显式设置长度确保非内置数组时正确。

Note 2

泛型。

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

Note 1

升序测试是否存在使 callback 为真值的元素；空数组返回 false。

步骤：

O = ? ToObject(this value)，len = ? LengthOfArrayLike(O)。
若 IsCallable(callback) 为 false 抛 TypeError。
k = 0。
当 k < len：
1. Pk = ! ToString(𝔽(k))。
2. kPresent = ? HasProperty(O, Pk)。
3. 若真：
  1. kValue = ? Get(O, Pk)。
  2. testResult = ToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), O »))。
  3. 若 testResult 为 true 返回 true。
4. k++。
返回 false。

Note 2

泛型。

23.1.3.30 Array.prototype.sort ( `comparator` )

对数组元素排序；若提供 comparator，必须可调用并按返回值符号决定顺序。

步骤：

若 comparator 非 undefined 且不可调用，抛 TypeError。
obj = ? ToObject(this value)。
len = ? LengthOfArrayLike(obj)。
SortCompare = 抽象闭包(x, y)：? CompareArrayElements(x, y, comparator)。
sortedList = ? SortIndexedProperties(obj, len, SortCompare, skip-holes)。
itemCount = sortedList 长度。
j = 0。
当 j < itemCount：
1. ? Set(obj, ! ToString(𝔽(j)), sortedList[j], true)。
2. j++。
注：跳过空洞后删除剩余索引以保留空洞数量。
当 j < len：
1. ? DeletePropertyOrThrow(obj, ! ToString(𝔽(j)))。
2. j++。
返回 obj。

Note 1

undefined 排序到末尾，其后是不存在的属性。

Note 2

ToString 期间的方法调用可能使比较器不一致。

Note 3

泛型。

23.1.3.30.1 SortIndexedProperties ( `obj`: an Object, `len`: a non-negative integer, `SortCompare`: an Abstract Closure with two parameters, `holes`: skip-holes or read-through-holes, ): either a normal completion containing a List of ECMAScript language values or a throw completion

items = 空列表；k = 0。
当 k < len：
1. Pk = ! ToString(𝔽(k))。
2. 若 holes = skip-holes：kRead = ? HasProperty(obj, Pk)；否则 kRead = true。
3. 若 kRead：kValue = ? Get(obj, Pk)；追加 kValue。
4. k++。
以实现定义次序使用 SortCompare 排序 items；若出现 abrupt 完成即停止并返回。
返回 items。

排序顺序是上述算法步骤 3 完成后 items 的排列顺序。如果对于 items 的元素，SortCompare 不是一个一致的比较器，则排序顺序是实现自定的。当由 Array.prototype.sort 或 Array.prototype.toSorted 调用 SortIndexedProperties 时，如果 comparator 为 undefined，并且对传给 SortCompare 的任何特定值进行的所有 ToString 应用不会产生相同结果，则排序顺序同样是实现自定的。

除非指定排序顺序是实现自定的，否则它必须满足以下全部条件：

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

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

若一个抽象闭包或函数 comparator 对一组值 S 满足下述所有要求，则称其为该集合的一个一致的比较器。对集合 S 中（可能相同）的所有值 a、b、c，记号 a <_C b 表示 ℝ(comparator(a, b)) < 0；a =_C b 表示 ℝ(comparator(a, b)) = 0；a >_C b 表示 ℝ(comparator(a, b)) > 0。

调用 comparator(a, b) 时，对于特定的值对 a 与 b 总是返回相同的值 v。此外，v 是一个 Number，且 v 不是 NaN。注意这意味着对于给定的 a 与 b，a <_C b、a =_C b、a >_C b 三者中恰有一个为真。
调用 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 将集合 S 划分为等价类，并且这些等价类是全序的。

23.1.3.30.2 CompareArrayElements ( `x`: an ECMAScript language value, `y`: an ECMAScript language value, `comparator`: a function object or undefined, ): either a normal completion containing a Number or an abrupt completion

若 x 与 y 均 undefined 返回 +0_𝔽。
若 x 为 undefined 返回 1_𝔽。
若 y 为 undefined 返回 -1_𝔽。
若 comparator 非 undefined：
1. v = ? ToNumber(? Call(comparator, undefined, « x, y »))。
2. 若 v 为 NaN 返回 +0_𝔽。
3. 返回 v。
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 插入，返回被删除元素数组。

步骤：

O = ? ToObject(this value)；len = ? LengthOfArrayLike(O)。
relativeStart = ? ToIntegerOrInfinity(start)。
若 = -∞，actualStart = 0；否则若 <0，actualStart = max(len+relativeStart,0)；否则 = min(relativeStart, len)。
itemCount = items 长度。
若 start 不存在：actualDeleteCount = 0。
否则若 deleteCount 不存在：actualDeleteCount = len - actualStart。
否则 dc = ? ToIntegerOrInfinity(deleteCount)；actualDeleteCount = clamp(dc, 0, len - actualStart)。
若 len + itemCount - actualDeleteCount > 2⁵³-1 抛 TypeError。
A = ? ArraySpeciesCreate(O, actualDeleteCount)。
k = 0。当 k < actualDeleteCount：
1. from = ! ToString(𝔽(actualStart + k))。
2. 若 ? HasProperty(O, from)：
  1. fromValue = ? Get(O, from)。
  2. ? CreateDataPropertyOrThrow(A, ! ToString(𝔽(k)), fromValue)。
3. k++。
? Set(A, "length", 𝔽(actualDeleteCount), true)。
若 itemCount < actualDeleteCount：
1. k = actualStart。
2. 当 k < (len - actualDeleteCount)：
  1. from = ! ToString(𝔽(k + actualDeleteCount))。
  2. to = ! ToString(𝔽(k + itemCount))。
  3. 若 ? HasProperty(O, from)：fromValue = ? Get(O, from)；? Set(O, to, fromValue, true)；否则 Delete to。
  4. k++。
3. k = len。
4. 当 k > (len - actualDeleteCount + itemCount)：
  1. ? DeletePropertyOrThrow(O, ! ToString(𝔽(k-1)))。
  2. k--。
否则若 itemCount > actualDeleteCount：
1. k = (len - actualDeleteCount)。
2. 当 k > actualStart：
  1. from = ! ToString(𝔽(k + actualDeleteCount -1))。
  2. to = ! ToString(𝔽(k + itemCount -1))。
  3. 若 ? HasProperty(O, from)：fromValue = ? Get(O, from)；? Set(O, to, fromValue, true)；否则 Delete to。
  4. k--。
k = actualStart。
对每个 E ∈ items：? Set(O, ! ToString(𝔽(k)), E, true)；k++。
? Set(O, "length", 𝔽(len - actualDeleteCount + itemCount), true)。
返回 A。

Note 2

显式设置长度确保非内置数组仍正确。

Note 3

泛型。

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

支持 ECMA-402 的实现按其规范实现；否则使用此处规范。两个可选参数的意义由 ECMA-402 定义，未实现该 API 时不得另作他用。

Note 1

ECMA-402 第一版未替换此方法的规范。

步骤：

array = ? ToObject(this value)，len = ? LengthOfArrayLike(array)。
separator = 实现定义的、符合当前区域设置的列表分隔符（如 ", "）。
R = ""；k = 0。
当 k < len：
1. 若 k > 0：R = R + separator。
2. element = ? Get(array, ! ToString(𝔽(k)))。
3. 若 element 非 undefined 且非 null：
  1. S = ? ToString(? Invoke(element, "toLocaleString"))。
  2. R = R + S。
4. k++。
返回 R。

Note 2

与 toString 类似，但使用区域化的元素表示与分隔符。

Note 3

泛型。

23.1.3.33 Array.prototype.toReversed ( )

返回一个新数组，其元素为原数组的反向拷贝。

O = ? ToObject(this value)，len = ? LengthOfArrayLike(O)。
A = ? ArrayCreate(len)。
k = 0。
当 k < len：
1. from = ! ToString(𝔽(len - k - 1))。
2. Pk = ! ToString(𝔽(k))。
3. fromValue = ? Get(O, from)。
4. ! CreateDataPropertyOrThrow(A, Pk, fromValue)。
5. k++。
返回 A。

23.1.3.34 Array.prototype.toSorted ( `comparator` )

返回排序后的新数组（不修改原数组）。

若 comparator 非 undefined 且不可调用，抛 TypeError。
O = ? ToObject(this value)，len = ? LengthOfArrayLike(O)。
A = ? ArrayCreate(len)。
SortCompare = 抽象闭包(x, y)：? CompareArrayElements(x, y, comparator)。
sortedList = ? SortIndexedProperties(O, len, SortCompare, read-through-holes)。
j = 0。
当 j < len：
1. ! CreateDataPropertyOrThrow(A, ! ToString(𝔽(j)), sortedList[j])。
2. j++。
返回 A。

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

返回应用类 splice 操作后的新数组（不修改原数组）。

O = ? ToObject(this value)，len = ? LengthOfArrayLike(O)。
relativeStart = ? ToIntegerOrInfinity(start)。
若 = -∞，actualStart = 0；否则若 <0，actualStart = max(len+relativeStart,0)；否则 actualStart = min(relativeStart, len)。
insertCount = items 长度。
若 start 不存在：actualSkipCount = 0；否则若 skipCount 不存在：actualSkipCount = len - actualStart；否则 sc = ? ToIntegerOrInfinity(skipCount)；actualSkipCount = clamp(sc, 0, len-actualStart)。
newLen = len + insertCount - actualSkipCount。
若 newLen > 2⁵³-1 抛 TypeError。
A = ? ArrayCreate(newLen)。
i = 0；r = actualStart + actualSkipCount。
当 i < actualStart：
1. Pi = ! ToString(𝔽(i))。
2. iValue = ? Get(O, Pi)。
3. ! CreateDataPropertyOrThrow(A, Pi, iValue)。
4. i++。
对 items 中每个 E：
1. Pi = ! ToString(𝔽(i))。
2. ! CreateDataPropertyOrThrow(A, Pi, E)。
3. i++。
当 i < newLen：
1. Pi = ! ToString(𝔽(i))。
2. from = ! ToString(𝔽(r))。
3. fromValue = ? Get(O, from)。
4. ! CreateDataPropertyOrThrow(A, Pi, fromValue)。
5. i++；r++。
返回 A。

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

泛型。

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

将参数插入开头并保持顺序，返回新长度。

步骤：

O = ? ToObject(this value)；len = ? LengthOfArrayLike(O)。
argCount = items 长度。
若 argCount > 0：
1. 若 len + argCount > 2⁵³-1 抛 TypeError。
2. k = len。
3. 当 k > 0：
  1. from = ! ToString(𝔽(k-1))；to = ! ToString(𝔽(k + argCount -1))。
  2. fromPresent = ? HasProperty(O, from)。
  3. 若真：fromValue = ? Get(O, from)；? Set(O, to, fromValue, true)；否则 Delete to。
  4. k--。
4. j = +0_𝔽。
5. 对每个 E ∈ items：? Set(O, ! ToString(j), E, true)；j += 1_𝔽。
? Set(O, "length", 𝔽(len + argCount), true)。
返回 𝔽(len + argCount)。

此方法 "length" 属性为 1_𝔽。

Note

泛型。

23.1.3.38 Array.prototype.values ( )

步骤：

O = ? ToObject(this value)。
返回 CreateArrayIterator(O, value)。

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

返回替换给定索引后的新数组（不修改原数组）。

O = ? ToObject(this value)；len = ? LengthOfArrayLike(O)。
relativeIndex = ? ToIntegerOrInfinity(index)。
若 relativeIndex ≥ 0：actualIndex = relativeIndex；否则 actualIndex = len + relativeIndex。
若 actualIndex ≥ len 或 actualIndex < 0 抛 RangeError。
A = ? ArrayCreate(len)。
k = 0。
当 k < len：
1. Pk = ! ToString(𝔽(k))。
2. 若 k = actualIndex：fromValue = value；否则 fromValue = ? Get(O, Pk)。
3. ! CreateDataPropertyOrThrow(A, Pk, fromValue)。
4. k++。
返回 A。

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

这些名称在 ES2015 前不是标准 Array.prototype 自有属性；在 with 语句中应忽略以避免遮蔽外层绑定。

"with" 未列入是因为其已为保留字。

23.1.4 Array 实例的属性

Array 实例是数组异质对象，具有对应内部方法，并继承自 Array 原型。

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

23.1.4.1 length

"length" 是数据属性，其值始终大于任一可配置自有数组索引属性名的数值。

初始属性特性：{ [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false }。

Note

减小 "length" 会删除旧长度与新长度之间的索引元素（不可配置者除外）。若尝试设置长度为小于等于某不可配置索引名的值，则实际长度会被设置为该索引名+1。参见 10.4.2.1。

23.1.5 Array 迭代器对象

Array Iterator 表示针对某个特定 Array 实例的一次特定迭代。无命名构造函数；通过调用某些 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 ( )

O = this。
若 O 非对象抛 TypeError。
若 O 不具备数组迭代器实例全部内部槽抛 TypeError。
array = O.[[IteratedArrayLike]]。
若 array 为 undefined 返回 CreateIteratorResultObject(undefined, true)。
index = O.[[ArrayLikeNextIndex]]。
kind = O.[[ArrayLikeIterationKind]]。
若 array 具有 [[TypedArrayName]]：
1. taRecord = MakeTypedArrayWithBufferWitnessRecord(array, seq-cst)。
2. 若 IsTypedArrayOutOfBounds(taRecord) 为 true 抛 TypeError。
3. len = TypedArrayLength(taRecord)。
否则 len = ? LengthOfArrayLike(array)。
若 index ≥ len：
1. 设 O.[[IteratedArrayLike]] = undefined。
2. 返回 CreateIteratorResultObject(undefined, true)。
设 O.[[ArrayLikeNextIndex]] = index + 1。
indexNumber = 𝔽(index)。
若 kind = key：result = indexNumber。
否则：
1. elementKey = ! ToString(indexNumber)。
2. elementValue = ? Get(array, elementKey)。
3. 若 kind = value：result = elementValue；否则（断言 key+value）result = CreateArrayFromList(« indexNumber, elementValue »)。
返回 CreateIteratorResultObject(result, false)。

23.1.5.2.2 %ArrayIteratorPrototype% [ %Symbol.toStringTag% ]

%Symbol.toStringTag% 初始值为 "Array Iterator"。

属性特性：{ [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true }。

23.1.5.3 Array 迭代器实例的属性

Array 迭代器实例继承自内在对象 %ArrayIteratorPrototype%，并具有下表内部槽。

Table 72: Array 迭代器实例的内部槽

Internal Slot	Type	Description
`[[IteratedArrayLike]]`	an Object or undefined	被迭代的类数组对象。
`[[ArrayLikeNextIndex]]`	a non-negative integer	下一个要访问的元素索引。
`[[ArrayLikeIterationKind]]`	key+value, key, or value	迭代时返回的形式。

23.2 TypedArray 对象

TypedArray 提供其底层二进制数据缓冲区的类数组视图（25.1）。TypedArray 元素类型是所有 TypedArray 实例元素所具有的底层二进制标量数据类型。针对每种受支持的元素类型，在 Table 73 中列出了一个不同的 TypedArray 构造函数。Table 73 中的每个构造函数都有其对应且相互不同的原型对象。

Table 73: 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` ] ] )

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

令 C 为 this 值。
若 IsConstructor(C) 为 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. 令 len 为 values 中元素的数量。
3. 令 targetObj 为 ? TypedArrayCreateFromConstructor(C, « 𝔽(len) »)。
4. 令 k 为 0。
5. 当 k < len 重复，
  1. 令 Pk 为 ! ToString(𝔽(k))。
  2. 令 kValue 为 values 的第一个元素。
  3. 移除 values 的第一个元素。
  4. 若 mapping 为 true，则
    1. 令 mappedValue 为 ? Call(mapper, thisArg, « kValue, 𝔽(k) »)。
  5. 否则，
    1. 令 mappedValue 为 kValue。
  6. 执行 ? Set(targetObj, Pk, mappedValue, true)。
  7. 令 k 为 k + 1。
6. 断言：values 现在为空列表。
7. 返回 targetObj。
注：source 不是可迭代对象，因此假定其已为类数组对象。
令 arrayLike 为 ! ToObject(source)。
令 len 为 ? LengthOfArrayLike(arrayLike)。
令 targetObj 为 ? TypedArrayCreateFromConstructor(C, « 𝔽(len) »)。
令 k 为 0。
当 k < len 重复，
1. 令 Pk 为 ! ToString(𝔽(k))。
2. 令 kValue 为 ? Get(arrayLike, Pk)。
3. 若 mapping 为 true，则
  1. 令 mappedValue 为 ? Call(mapper, thisArg, « kValue, 𝔽(k) »)。
4. 否则，
  1. 令 mappedValue 为 kValue。
5. 执行 ? Set(targetObj, Pk, mappedValue, true)。
6. 令 k 为 k + 1。
返回 targetObj。

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

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

令 len 为 items 中元素的数量。
令 C 为 this 值。
若 IsConstructor(C) 为 false，抛出 TypeError 异常。
令 newObj 为 ? TypedArrayCreateFromConstructor(C, « 𝔽(len) »)。
令 k 为 0。
当 k < len 重复，
1. 令 kValue 为 items[k]。
2. 令 Pk 为 ! ToString(𝔽(k))。
3. 执行 ? Set(newObj, Pk, 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` )

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

23.2.3.2 get %TypedArray%.prototype.buffer

%TypedArray%.prototype.buffer 是一个存取器属性，其 set 访问器函数为 undefined。其 get 访问器函数被调用时执行：

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

23.2.3.3 get %TypedArray%.prototype.byteLength

%TypedArray%.prototype.byteLength 是一个存取器属性，其 set 访问器函数为 undefined。其 get 访问器函数被调用时执行：

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

23.2.3.4 get %TypedArray%.prototype.byteOffset

%TypedArray%.prototype.byteOffset 是一个存取器属性，其 set 访问器函数为 undefined。其 get 访问器函数被调用时执行：

令 O 为 this 值。
执行 ? RequireInternalSlot(O, [[TypedArrayName]])。
断言：O 具有 [[ViewedArrayBuffer]] 内部槽。
令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord(O, seq-cst)。
若 IsTypedArrayOutOfBounds(taRecord) 为 true，返回 +0_𝔽。
令 offset 为 O.[[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 相同。

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
令 relativeTarget 为 ? ToIntegerOrInfinity(target)。
如果 relativeTarget = -∞，则令 targetIndex 为 0。
否则如果 relativeTarget < 0，则令 targetIndex 为 max(len + relativeTarget, 0)。
否则，令 targetIndex 为 min(relativeTarget, len)。
令 relativeStart 为 ? ToIntegerOrInfinity(start)。
如果 relativeStart = -∞，则令 startIndex 为 0。
否则如果 relativeStart < 0，则令 startIndex 为 max(len + relativeStart, 0)。
否则，令 startIndex 为 min(relativeStart, len)。
如果 end 为 undefined，则令 relativeEnd 为 len；否则令 relativeEnd 为 ? ToIntegerOrInfinity(end)。
如果 relativeEnd = -∞，则令 endIndex 为 0。
否则如果 relativeEnd < 0，则令 endIndex 为 max(len + relativeEnd, 0)。
否则，令 endIndex 为 min(relativeEnd, len)。
令 count 为 min(endIndex - startIndex, len - targetIndex)。
如果 count > 0，则
1. 注：复制操作必须以保持源数据比特级编码的方式进行。
2. 令 buffer 为 O.[[ViewedArrayBuffer]]。
3. 将 taRecord 设为 MakeTypedArrayWithBufferWitnessRecord(O, seq-cst)。
4. 如果 IsTypedArrayOutOfBounds(taRecord) 为 true，抛出 TypeError 异常。
5. 将 len 设为 TypedArrayLength(taRecord)。
6. 注：上述步骤的副作用可能会缩小 O 的大小，此时应以仍然适用的最长前缀进行复制。
7. 将 count 设为 min(count, len - startIndex, len - targetIndex)。
8. 令 elementSize 为 TypedArrayElementSize(O)。
9. 令 byteOffset 为 O.[[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。
返回 O。

23.2.3.7 %TypedArray%.prototype.entries ( )

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

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

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

该方法参数的解释与用法与 23.1.3.6 中的 Array.prototype.every 相同。

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
若 IsCallable(callback) 为 false，抛出 TypeError 异常。
令 k = 0。
当 k < len 重复，
1. 令 Pk = ! ToString(𝔽(k))。
2. 令 kValue = ! Get(O, Pk)。
3. 令 testResult 为 ToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), O »))。
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 相同。

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

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

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

该方法参数的解释与用法与 23.1.3.8 中的 Array.prototype.filter 相同。

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
若 IsCallable(callback) 为 false，抛出 TypeError 异常。
令 kept 为一个新的空列表。
令 captured 为 0。
令 k 为 0。
当 k < len 重复，
1. 令 Pk = ! ToString(𝔽(k))。
2. 令 kValue = ! Get(O, Pk)。
3. 令 selected = ToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), O »))。
4. 若 selected 为 true，则
  1. 将 kValue 追加到 kept。
  2. 设 captured = captured + 1。
5. 设 k = k + 1。
令 A 为 ? TypedArraySpeciesCreate(O, « 𝔽(captured) »)。
令 n = 0。
对 kept 中每个元素 e：
1. 执行 ! Set(A, ! ToString(𝔽(n)), e, true)。
2. 设 n = n + 1。
返回 A。

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

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

该方法参数的解释与用法与 23.1.3.9 中的 Array.prototype.find 相同。

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

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

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

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

该方法参数的解释与用法与 23.1.3.10 中的 Array.prototype.findIndex 相同。

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

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

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

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

该方法参数的解释与用法与 23.1.3.11 中的 Array.prototype.findLast 相同。

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

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

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

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

该方法参数的解释与用法与 23.1.3.12 中的 Array.prototype.findLastIndex 相同。

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

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

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

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

该方法参数的解释与用法与 23.1.3.15 中的 Array.prototype.forEach 相同。

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
若 IsCallable(callback) 为 false，抛出 TypeError 异常。
令 k = 0。
当 k < len 重复，
1. 令 Pk = ! ToString(𝔽(k))。
2. 令 kValue = ! Get(O, Pk)。
3. 执行 ? Call(callback, thisArg, « kValue, 𝔽(k), O »)。
4. 设 k = k + 1。
返回 undefined。

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

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

该方法参数的解释与用法与 23.1.3.16 中的 Array.prototype.includes 相同。

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
若 len = 0，返回 false。
令 n 为 ? ToIntegerOrInfinity(fromIndex)。
断言：若 fromIndex 为 undefined，则 n 为 0。
若 n = +∞，返回 false。
否则若 n = -∞，设 n = 0。
若 n ≥ 0，则
1. 令 k = n。
否则，
1. 令 k = len + n。
2. 若 k < 0，设 k = 0。
当 k < len 重复，
1. 令 elementK 为 ! Get(O, ! 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 相同。

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
若 len = 0，返回 -1_𝔽。
令 n 为 ? ToIntegerOrInfinity(fromIndex)。
断言：若 fromIndex 为 undefined，则 n 为 0。
若 n = +∞，返回 -1_𝔽。
否则若 n = -∞，设 n = 0。
若 n ≥ 0，则
1. 令 k = n。
否则，
1. 令 k = len + n。
2. 若 k < 0，设 k = 0。
当 k < len 重复，
1. 令 Pk = ! ToString(𝔽(k))。
2. 令 kPresent = ! HasProperty(O, Pk)。
3. 若 kPresent 为 true，则
  1. 令 elementK = ! Get(O, Pk)。
  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 相同。

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
若 separator 为 undefined，令 sep = ","。
否则，令 sep = ? ToString(separator)。
令 R 为空字符串。
令 k = 0。
当 k < len 重复，
1. 若 k > 0，设 R 为 R 与 sep 的字符串拼接。
2. 令 element 为 ! Get(O, ! ToString(𝔽(k)))。
3. 若 element 不为 undefined，则
  1. 令 S 为 ! ToString(element)。
  2. 设 R 为 R 与 S 的字符串拼接。
4. 设 k = k + 1。
返回 R。

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

23.2.3.19 %TypedArray%.prototype.keys ( )

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

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

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

该方法参数的解释与用法与 23.1.3.20 中的 Array.prototype.lastIndexOf 相同。

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
若 len = 0，返回 -1_𝔽。
若提供 fromIndex，令 n 为 ? ToIntegerOrInfinity(fromIndex)；否则令 n = len - 1。
若 n = -∞，返回 -1_𝔽。
若 n ≥ 0，则
1. 令 k = min(n, len - 1)。
否则，
1. 令 k = len + n。
当 k ≥ 0 重复，
1. 令 Pk = ! ToString(𝔽(k))。
2. 令 kPresent = ! HasProperty(O, Pk)。
3. 若 kPresent 为 true，则
  1. 令 elementK = ! Get(O, Pk)。
  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 访问器函数被调用时执行：

令 O 为 this 值。
执行 ? RequireInternalSlot(O, [[TypedArrayName]])。
断言：O 具有 [[ViewedArrayBuffer]] 与 [[ArrayLength]] 内部槽。
令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord(O, 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 相同。

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
若 IsCallable(callback) 为 false，抛出 TypeError 异常。
令 A 为 ? TypedArraySpeciesCreate(O, « 𝔽(len) »)。
令 k = 0。
当 k < len 重复，
1. 令 Pk = ! ToString(𝔽(k))。
2. 令 kValue = ! Get(O, Pk)。
3. 令 mappedValue = ? Call(callback, thisArg, « kValue, 𝔽(k), O »)。
4. 执行 ? Set(A, Pk, mappedValue, true)。
5. 设 k = k + 1。
返回 A。

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

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

该方法参数的解释与用法与 23.1.3.24 中的 Array.prototype.reduce 相同。

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
若 IsCallable(callback) 为 false，抛出 TypeError 异常。
若 len = 0 且 initialValue 不存在，抛出 TypeError 异常。
令 k = 0。
令 accumulator = undefined。
若存在 initialValue，则
1. 设 accumulator = initialValue。
否则，
1. 令 Pk = ! ToString(𝔽(k))。
2. 设 accumulator = ! Get(O, Pk)。
3. 设 k = k + 1。
当 k < len 重复，
1. 令 Pk = ! ToString(𝔽(k))。
2. 令 kValue = ! Get(O, Pk)。
3. 设 accumulator = ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), O »)。
4. 设 k = k + 1。
返回 accumulator。

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

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

该方法参数的解释与用法与 23.1.3.25 中的 Array.prototype.reduceRight 相同。

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
若 IsCallable(callback) 为 false，抛出 TypeError 异常。
若 len = 0 且 initialValue 不存在，抛出 TypeError 异常。
令 k = len - 1。
令 accumulator = undefined。
若存在 initialValue，则
1. 设 accumulator = initialValue。
否则，
1. 令 Pk = ! ToString(𝔽(k))。
2. 设 accumulator = ! Get(O, Pk)。
3. 设 k = k - 1。
当 k ≥ 0 重复，
1. 令 Pk = ! ToString(𝔽(k))。
2. 令 kValue = ! Get(O, Pk)。
3. 设 accumulator = ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), O »)。
4. 设 k = k - 1。
返回 accumulator。

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

23.2.3.25 %TypedArray%.prototype.reverse ( )

该方法参数的解释与用法与 23.1.3.26 中的 Array.prototype.reverse 相同。

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

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

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

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

该方法在此 TypedArray 中设置多个值，从 source 读取这些值。具体细节依据 source 的类型不同而不同。可选的 offset 指定开始写入的首个元素索引。如省略则视为 0。

其被调用时执行以下步骤：

令 target 为 this 值。
执行 ? RequireInternalSlot(target, [[TypedArrayName]])。
断言：target 具有 [[ViewedArrayBuffer]] 内部槽。
令 targetOffset 为 ? ToIntegerOrInfinity(offset)。
若 targetOffset < 0，抛出 RangeError 异常。
若 source 是具有 [[TypedArrayName]] 内部槽的对象，则
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 返回 unused 的正常完成或抛出完成. 从 source 读取值并自 targetOffset 开始在 target 中设置多个值。 It performs the following steps when called:

令 targetRecord 为 MakeTypedArrayWithBufferWitnessRecord(target, seq-cst)。
若 IsTypedArrayOutOfBounds(targetRecord) 为 true，抛出 TypeError 异常。
令 targetLength 为 TypedArrayLength(targetRecord)。
令 src 为 ? ToObject(source)。
令 srcLength 为 ? LengthOfArrayLike(src)。
若 targetOffset = +∞，抛出 RangeError 异常。
若 srcLength + targetOffset > targetLength，抛出 RangeError 异常。
令 k = 0。
当 k < srcLength 重复，
1. 令 Pk = ! ToString(𝔽(k))。
2. 令 value = ? Get(src, Pk)。
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 返回 unused 的正常完成或抛出完成. 从 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)。
令 srcBuffer 为 source.[[ViewedArrayBuffer]]。
令 srcRecord 为 MakeTypedArrayWithBufferWitnessRecord(source, seq-cst)。
若 IsTypedArrayOutOfBounds(srcRecord) 为 true，抛出 TypeError 异常。
令 srcLength 为 TypedArrayLength(srcRecord)。
令 targetType 为 TypedArrayElementType(target)。
令 targetElementSize 为 TypedArrayElementSize(target)。
令 targetByteOffset 为 target.[[ByteOffset]]。
令 srcType 为 TypedArrayElementType(source)。
令 srcElementSize 为 TypedArrayElementSize(source)。
令 srcByteOffset 为 source.[[ByteOffset]]。
若 targetOffset = +∞，抛出 RangeError 异常。
若 srcLength + targetOffset > targetLength，抛出 RangeError 异常。
若 target.[[ContentType]] 不等于 source.[[ContentType]]，抛出 TypeError 异常。
若 IsSharedArrayBuffer(srcBuffer) 为 true、IsSharedArrayBuffer(targetBuffer) 为 true 且 srcBuffer.[[ArrayBufferData]] 为 targetBuffer.[[ArrayBufferData]]，令 sameSharedArrayBuffer = true；否则令 sameSharedArrayBuffer = false。
若 SameValue(srcBuffer, targetBuffer) 为 true 或 sameSharedArrayBuffer 为 true，则
1. 令 srcByteLength 为 TypedArrayByteLength(srcRecord)。
2. 设 srcBuffer 为 ? CloneArrayBuffer(srcBuffer, srcByteOffset, srcByteLength)。
3. 令 srcByteIndex = 0。
否则，
1. 令 srcByteIndex = srcByteOffset。
令 targetByteIndex = (targetOffset × targetElementSize) + targetByteOffset。
令 limit = targetByteIndex + (targetElementSize × srcLength)。
若 srcType 是 targetType，则
1. 注：复制必须保持源数据的位级编码。
2. 当 targetByteIndex < limit 重复，
  1. 令 value 为 GetValueFromBuffer(srcBuffer, srcByteIndex, uint8, true, unordered)。
  2. 执行 SetValueInBuffer(targetBuffer, targetByteIndex, uint8, value, true, unordered)。
  3. 设 srcByteIndex = srcByteIndex + 1。
  4. 设 targetByteIndex = targetByteIndex + 1。
否则，
1. 当 targetByteIndex < limit 重复，
  1. 令 value 为 GetValueFromBuffer(srcBuffer, srcByteIndex, srcType, true, unordered)。
  2. 执行 SetValueInBuffer(targetBuffer, targetByteIndex, targetType, value, true, unordered)。
  3. 设 srcByteIndex = srcByteIndex + srcElementSize。
  4. 设 targetByteIndex = targetByteIndex + targetElementSize。
返回 unused。

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

该方法参数的解释与用法与 23.1.3.28 中的 Array.prototype.slice 相同。

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 srcArrayLength 为 TypedArrayLength(taRecord)。
令 relativeStart 为 ? ToIntegerOrInfinity(start)。
若 relativeStart = -∞，令 startIndex = 0。
否则若 relativeStart < 0，令 startIndex = max(srcArrayLength + relativeStart, 0)。
否则令 startIndex = min(relativeStart, srcArrayLength)。
若 end 为 undefined，令 relativeEnd = srcArrayLength；否则令 relativeEnd = ? ToIntegerOrInfinity(end)。
若 relativeEnd = -∞，令 endIndex = 0。
否则若 relativeEnd < 0，令 endIndex = max(srcArrayLength + relativeEnd, 0)。
否则令 endIndex = min(relativeEnd, srcArrayLength)。
令 countBytes = max(endIndex - startIndex, 0)。
令 A 为 ? TypedArraySpeciesCreate(O, « 𝔽(countBytes) »)。
若 countBytes > 0，则
1. 设 taRecord 为 MakeTypedArrayWithBufferWitnessRecord(O, seq-cst)。
2. 若 IsTypedArrayOutOfBounds(taRecord) 为 true，抛出 TypeError 异常。
3. 设 endIndex = min(endIndex, TypedArrayLength(taRecord))。
4. 设 countBytes = max(endIndex - startIndex, 0)。
5. 令 srcType = TypedArrayElementType(O)。
6. 令 targetType = TypedArrayElementType(A)。
7. 若 srcType 是 targetType，则
  1. 注：传输必须保持源数据的位级编码。
  2. 令 srcBuffer = O.[[ViewedArrayBuffer]]。
  3. 令 targetBuffer = A.[[ViewedArrayBuffer]]。
  4. 令 elementSize = TypedArrayElementSize(O)。
  5. 令 srcByteOffset = O.[[ByteOffset]]。
  6. 令 srcByteIndex = (startIndex × elementSize) + srcByteOffset。
  7. 令 targetByteIndex = A.[[ByteOffset]]。
  8. 令 endByteIndex = targetByteIndex + (countBytes × elementSize)。
  9. 当 targetByteIndex < endByteIndex 重复，
    1. 令 value 为 GetValueFromBuffer(srcBuffer, srcByteIndex, uint8, true, unordered)。
    2. 执行 SetValueInBuffer(targetBuffer, targetByteIndex, uint8, value, true, unordered)。
    3. 设 srcByteIndex = srcByteIndex + 1。
    4. 设 targetByteIndex = targetByteIndex + 1。
8. 否则，
  1. 令 n = 0。
  2. 令 k = startIndex。
  3. 当 k < endIndex 重复，
    1. 令 Pk = ! ToString(𝔽(k))。
    2. 令 kValue = ! Get(O, Pk)。
    3. 执行 ! Set(A, ! ToString(𝔽(n)), kValue, true)。
    4. 设 k = k + 1。
    5. 设 n = n + 1。
返回 A。

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

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

该方法参数的解释与用法与 23.1.3.29 中的 Array.prototype.some 相同。

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
若 IsCallable(callback) 为 false，抛出 TypeError 异常。
令 k = 0。
当 k < len 重复，
1. 令 Pk = ! ToString(𝔽(k))。
2. 令 kValue = ! Get(O, Pk)。
3. 令 testResult = ToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), O »))。
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)。
令 len 为 TypedArrayLength(taRecord)。
注：以下闭包执行数值比较而非 23.1.3.30 中使用的字符串比较。
令 SortCompare 为具有参数 (x, y) 并捕获 comparator 的新抽象闭包，调用时执行：
1. 返回 ? CompareTypedArrayElements(x, y, comparator)。
令 sortedList 为 ? SortIndexedProperties(obj, len, SortCompare, read-through-holes)。
令 j = 0。
当 j < len 重复，
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 为负值，则表示自数组末尾起的索引。

其被调用时执行以下步骤：

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

该方法不是泛型。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 ( )

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
令 A 为 ? TypedArrayCreateSameType(O, len)。
令 k = 0。
当 k < len 重复，
1. 令 from = ! ToString(𝔽(len - k - 1))。
2. 令 Pk = ! ToString(𝔽(k))。
3. 令 fromValue = ! Get(O, from)。
4. 执行 ! Set(A, Pk, fromValue, true)。
5. 设 k = k + 1。
返回 A。

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

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

若 comparator 不为 undefined 且 IsCallable(comparator) 为 false，抛出 TypeError 异常。
令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
令 A 为 ? TypedArrayCreateSameType(O, len)。
注：以下闭包执行数值比较，而非 23.1.3.34 中使用的字符串比较。
令 SortCompare 为具有参数 (x, y) 并捕获 comparator 的新抽象闭包，调用时执行：
1. 返回 ? CompareTypedArrayElements(x, y, comparator)。
令 sortedList 为 ? SortIndexedProperties(O, len, SortCompare, read-through-holes)。
令 j = 0。
当 j < len 重复，
1. 执行 ! Set(A, ! ToString(𝔽(j)), sortedList[j], true)。
2. 设 j = j + 1。
返回 A。

23.2.3.34 %TypedArray%.prototype.toString ( )

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

23.2.3.35 %TypedArray%.prototype.values ( )

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

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

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

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

令 O 为 this 值。
令 taRecord 为 ? ValidateTypedArray(O, seq-cst)。
令 len 为 TypedArrayLength(taRecord)。
令 relativeIndex 为 ? ToIntegerOrInfinity(index)。
若 relativeIndex ≥ 0，令 actualIndex = relativeIndex。
否则，令 actualIndex = len + relativeIndex。
若 O.[[ContentType]] 为 bigint，令 numericValue = ? ToBigInt(value)。
否则，令 numericValue = ? ToNumber(value)。
若 IsValidIntegerIndex(O, 𝔽(actualIndex)) 为 false，抛出 RangeError 异常。
令 A 为 ? TypedArrayCreateSameType(O, len)。
令 k = 0。
当 k < len 重复，
1. 令 Pk = ! ToString(𝔽(k))。
2. 若 k = actualIndex，令 fromValue = numericValue；否则令 fromValue = ! Get(O, Pk)。
3. 执行 ! Set(A, Pk, fromValue, true)。
4. 设 k = k + 1。
返回 A。

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 访问器函数被调用时执行：

令 O 为 this 值。
若 O 不是对象，返回 undefined。
若 O 不具有 [[TypedArrayName]] 内部槽，返回 undefined。
令 name = O.[[TypedArrayName]]。
断言：name 是一个字符串。
返回 name。

该属性特性为 { [[Enumerable]]: false, [[Configurable]]: true }。

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

23.2.4 TypedArray 对象的抽象操作

23.2.4.1 TypedArrayCreateFromConstructor ( `constructor`, `argumentList` )

The abstract operation TypedArrayCreateFromConstructor takes arguments constructor (a constructor) and argumentList (a List of ECMAScript language values) and returns 返回一个 TypedArray 的正常完成或抛出完成. 用于通过构造函数创建一个新的 TypedArray。 It performs the following steps when called:

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

23.2.4.2 TypedArrayCreateSameType ( `exemplar`, `length` )

The abstract operation TypedArrayCreateSameType takes arguments exemplar (a TypedArray) and length (a non-negative integer) and returns 返回一个 TypedArray 的正常完成或抛出完成. 用于使用从 exemplar 派生的构造函数创建一个新的 TypedArray。与 TypedArraySpeciesCreate 不同，后者可以通过 %Symbol.species% 构造自定义 TypedArray 子类，此操作始终使用内置的 TypedArray 构造函数之一。 It performs the following steps when called:

令 constructor 为与 exemplar.[[TypedArrayName]] 的构造函数名称关联的内在对象，见 Table 73。
令 result 为 ? TypedArrayCreateFromConstructor(constructor, « 𝔽(length) »)。
断言：result 具有 [[TypedArrayName]] 与 [[ContentType]] 内部槽。
断言：result.[[ContentType]] 为 exemplar.[[ContentType]]。
返回 result。

23.2.4.3 TypedArraySpeciesCreate ( `exemplar`, `argumentList` )

The abstract operation TypedArraySpeciesCreate takes arguments exemplar (a TypedArray) and argumentList (a List of ECMAScript language values) and returns 返回一个 TypedArray 的正常完成或抛出完成. 用于通过从 exemplar 派生的构造函数创建新的 TypedArray。不同于可通过 %Symbol.species% 创建非 Array 对象的 ArraySpeciesCreate，该操作强制构造函数必须创建一个实际的 TypedArray。 It performs the following steps when called:

令 defaultConstructor 为与 exemplar.[[TypedArrayName]] 的构造函数名称关联的内在对象，见 Table 73。
令 constructor 为 ? SpeciesConstructor(exemplar, defaultConstructor)。
令 result 为 ? TypedArrayCreateFromConstructor(constructor, argumentList)。
若 result.[[ContentType]] 不为 exemplar.[[ContentType]]，抛出 TypeError 异常。
返回 result。

23.2.4.4 ValidateTypedArray ( `O`, `order` )

The abstract operation ValidateTypedArray takes arguments O (an ECMAScript language value) and order (seq-cst or unordered) and returns 返回一个带缓冲见证记录的 TypedArray 的正常完成或抛出完成. It performs the following steps when called:

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

23.2.4.5 TypedArrayElementSize ( `O` )

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

返回在 Table 73 中为 O.[[TypedArrayName]] 指定的元素大小值。

23.2.4.6 TypedArrayElementType ( `O` )

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

返回在 Table 73 中为 O.[[TypedArrayName]] 指定的元素类型值。

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 返回一个 Number 的正常完成或一个突然完成. It performs the following steps when called:

断言：x 与 y 同为 Number，或 x 与 y 同为 BigInt。
若 comparator 不为 undefined，则
1. 令 v 为 ? ToNumber(? Call(comparator, undefined, « x, y »))。
2. 若 v 为 NaN，返回 +0_𝔽。
3. 返回 v。
若 x 和 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 构造函数：

是一个具有下述结构的内在对象，除了构造函数名使用不同于 TypedArray 的名称外，与 Table 73 中描述的一致，除非另有说明。
是一个函数，其行为会根据参数的数量和类型而有所不同。对 TypedArray 的调用实际行为取决于传递的参数数量和类型。
不应作为函数调用，否则会抛出异常。
可以用作类定义中 extends 子句的值。打算继承指定 TypedArray 行为的子类构造函数必须在构造中包含对 TypedArray 构造函数的 super 调用，以使用必要的内部状态创建并初始化子类实例，从而支持 %TypedArray%.prototype 内置方法。

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

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

若 NewTarget 为 undefined，抛出 TypeError 异常。
令 constructorName 为此 TypedArray 构造函数在 Table 73 中指定的构造函数名称的字符串值。
令 proto 为 "%TypedArray.prototype%"。
令 numberOfArgs 为 args 中元素的数量。
若 numberOfArgs = 0，则
1. 返回 ? AllocateTypedArray(constructorName, NewTarget, proto, 0)。
否则，
1. 令 firstArgument = args[0]。
2. 若 firstArgument 是对象，则
  1. 令 O 为 ? AllocateTypedArray(constructorName, NewTarget, proto)。
  2. 若 firstArgument 具有 [[TypedArrayName]] 内部槽，则
    1. 执行 ? InitializeTypedArrayFromTypedArray(O, firstArgument)。
  3. 否则若 firstArgument 具有 [[ArrayBufferData]] 内部槽，则
    1. 若 numberOfArgs > 1，令 byteOffset = args[1]；否则 byteOffset = undefined。
    2. 若 numberOfArgs > 2，令 length = args[2]；否则 length = undefined。
    3. 执行 ? InitializeTypedArrayFromArrayBuffer(O, firstArgument, byteOffset, length)。
  4. 否则，
    1. 断言：firstArgument 是对象且不具有 [[TypedArrayName]] 或 [[ArrayBufferData]]。
    2. 令 usingIterator = ? GetMethod(firstArgument, %Symbol.iterator%)。
    3. 若 usingIterator 不为 undefined，则
      1. 令 values = ? IteratorToList(? GetIteratorFromMethod(firstArgument, usingIterator))。
      2. 执行 ? InitializeTypedArrayFromList(O, values)。
    4. 否则，
      1. 注：firstArgument 不是可迭代对象，因此假定其已为类数组对象。
      2. 执行 ? InitializeTypedArrayFromArrayLike(O, firstArgument)。
  5. 返回 O。
3. 否则，
  1. 断言：firstArgument 不是对象。
  2. 令 elementLength = ? ToIndex(firstArgument)。
  3. 返回 ? AllocateTypedArray(constructorName, NewTarget, proto, elementLength)。

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

The abstract operation AllocateTypedArray takes arguments constructorName (a String which is the name of a TypedArray constructor in Table 73), newTarget (a constructor), and defaultProto (a String) and optional argument length (a non-negative integer) and returns 返回一个 TypedArray 的正常完成或抛出完成. 用于验证并创建某个 TypedArray 构造函数的实例。若传入 length，则还会分配一个该长度的 ArrayBuffer 并与新实例关联。AllocateTypedArray 提供 TypedArray 使用的通用语义。 It performs the following steps when called:

令 proto 为 ? GetPrototypeFromConstructor(newTarget, defaultProto)。
令 obj 为 TypedArrayCreate(proto)。
断言：obj.[[ViewedArrayBuffer]] 为 undefined。
设 obj.[[TypedArrayName]] = constructorName。
若 constructorName 为 "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 ( `O`, `srcArray` )

The abstract operation InitializeTypedArrayFromTypedArray takes arguments O (a TypedArray) and srcArray (a TypedArray) and returns 返回 unused 的正常完成或抛出完成. It performs the following steps when called:

令 srcData = srcArray.[[ViewedArrayBuffer]]。
令 elementType = TypedArrayElementType(O)。
令 elementSize = TypedArrayElementSize(O)。
令 srcType = TypedArrayElementType(srcArray)。
令 srcElementSize = TypedArrayElementSize(srcArray)。
令 srcByteOffset = srcArray.[[ByteOffset]]。
令 srcRecord 为 MakeTypedArrayWithBufferWitnessRecord(srcArray, seq-cst)。
若 IsTypedArrayOutOfBounds(srcRecord) 为 true，抛出 TypeError 异常。
令 elementLength = TypedArrayLength(srcRecord)。
令 byteLength = elementSize × elementLength。
若 elementType 是 srcType，则
1. 令 data = ? CloneArrayBuffer(srcData, srcByteOffset, byteLength)。
否则，
1. 令 data = ? AllocateArrayBuffer(%ArrayBuffer%, byteLength)。
2. 若 srcArray.[[ContentType]] 不等于 O.[[ContentType]]，抛出 TypeError 异常。
3. 令 srcByteIndex = srcByteOffset。
4. 令 targetByteIndex = 0。
5. 令 count = elementLength。
6. 当 count > 0 重复，
  1. 令 value = GetValueFromBuffer(srcData, srcByteIndex, srcType, true, unordered)。
  2. 执行 SetValueInBuffer(data, targetByteIndex, elementType, value, true, unordered)。
  3. 设 srcByteIndex = srcByteIndex + srcElementSize。
  4. 设 targetByteIndex = targetByteIndex + elementSize。
  5. 设 count = count - 1。
设 O.[[ViewedArrayBuffer]] = data。
设 O.[[ByteLength]] = byteLength。
设 O.[[ByteOffset]] = 0。
设 O.[[ArrayLength]] = elementLength。
返回 unused。

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

The abstract operation InitializeTypedArrayFromArrayBuffer takes arguments O (a TypedArray), buffer (an ArrayBuffer or a SharedArrayBuffer), byteOffset (an ECMAScript language value), and length (an ECMAScript language value) and returns 返回 unused 的正常完成或抛出完成. It performs the following steps when called:

令 elementSize = TypedArrayElementSize(O)。
令 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. 设 O.[[ByteLength]] = auto。
3. 设 O.[[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. 设 O.[[ByteLength]] = newByteLength。
4. 设 O.[[ArrayLength]] = newByteLength / elementSize。
设 O.[[ViewedArrayBuffer]] = buffer。
设 O.[[ByteOffset]] = offset。
返回 unused。

23.2.5.1.4 InitializeTypedArrayFromList ( `O`, `values` )

The abstract operation InitializeTypedArrayFromList takes arguments O (a TypedArray) and values (a List of ECMAScript language values) and returns 返回 unused 的正常完成或抛出完成. It performs the following steps when called:

令 len 为 values 中的元素数量。
执行 ? AllocateTypedArrayBuffer(O, len)。
令 k = 0。
当 k < len 重复，
1. 令 Pk = ! ToString(𝔽(k))。
2. 令 kValue 为 values 的第一个元素。
3. 移除 values 的第一个元素。
4. 执行 ? Set(O, Pk, kValue, true)。
5. 设 k = k + 1。
断言：values 现在为空列表。
返回 unused。

23.2.5.1.5 InitializeTypedArrayFromArrayLike ( `O`, `arrayLike` )

The abstract operation InitializeTypedArrayFromArrayLike takes arguments O (a TypedArray) and arrayLike (an Object, but not a TypedArray or an ArrayBuffer) and returns 返回 unused 的正常完成或抛出完成. It performs the following steps when called:

令 len 为 ? LengthOfArrayLike(arrayLike)。
执行 ? AllocateTypedArrayBuffer(O, len)。
令 k = 0。
当 k < len 重复，
1. 令 Pk = ! ToString(𝔽(k))。
2. 令 kValue = ? Get(arrayLike, Pk)。
3. 执行 ? Set(O, Pk, kValue, true)。
4. 设 k = k + 1。
返回 unused。

23.2.5.1.6 AllocateTypedArrayBuffer ( `O`, `length` )

The abstract operation AllocateTypedArrayBuffer takes arguments O (a TypedArray) and length (a non-negative integer) and returns 返回 unused 的正常完成或抛出完成. 为 O 分配并关联一个 ArrayBuffer。 It performs the following steps when called:

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

23.2.6 `TypedArray` 构造函数的属性

每个 TypedArray 构造函数：

具有 [[Prototype]] 内部槽，其值为 %TypedArray%。
具有 "length" 属性，其值为 3_𝔽。
具有 "name" 属性，其值为在 Table 73 中为其指定的构造函数名称的字符串值。
具有以下属性：

23.2.6.1 `TypedArray`.BYTES_PER_ELEMENT

TypedArray.BYTES_PER_ELEMENT 的值是 Table 73 中为 TypedArray 指定的元素大小值。

该属性特性为 { [[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 73 中为 TypedArray 指定的元素大小值。

该属性特性为 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }。

23.2.7.2 `TypedArray`.prototype.constructor

给定 TypedArray 构造函数的原型的 "constructor" 属性初始值为该构造函数本身。

23.2.8 `TypedArray` 实例的属性

TypedArray 实例是 TypedArrays。每个 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 不是一个字符串，则抛出 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. 返回 ThrowCompletion(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 不是一个字符串，则抛出 TypeError 异常。
令 result 为 FromHex(string)。
如果 result.[[Error]] 不为 none，则
1. 返回 ThrowCompletion(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 不是一个字符串，则抛出 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. 返回 ThrowCompletion(result.[[Error]])。
令 resultObject 为 OrdinaryObjectCreate(%Object.prototype%)。
执行 ! CreateDataPropertyOrThrow(resultObject, "read", 𝔽(result.[[Read]]))。
执行 ! CreateDataPropertyOrThrow(resultObject, "written", 𝔽(written))。
返回 resultObject。

23.3.2.2 Uint8Array.prototype.setFromHex ( `string` )

令 into 为 this 值。
执行 ? ValidateUint8Array(into)。
如果 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. 返回 ThrowCompletion(result.[[Error]])。
令 resultObject 为 OrdinaryObjectCreate(%Object.prototype%)。
执行 ! CreateDataPropertyOrThrow(resultObject, "read", 𝔽(result.[[Read]]))。
执行 ! CreateDataPropertyOrThrow(resultObject, "written", 𝔽(written))。
返回 resultObject。

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

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

23.3.2.4 Uint8Array.prototype.toHex ( )

令 O 为 this 值。
执行 ? ValidateUint8Array(O)。
令 toEncode 为 ? GetUint8ArrayBytes(O)。
令 out 为空字符串。
对于 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 (一个 ECMAScript 语言值，). 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 (一个 Uint8Array，). It performs the following steps when called:

令 buffer 为 ta.[[ViewedArrayBuffer]]。
令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord(ta, seq-cst)。
如果 IsTypedArrayOutOfBounds(taRecord) 为 true，则抛出 TypeError 异常。
令 len 为 TypedArrayLength(taRecord)。
令 byteOffset 为 ta.[[ByteOffset]]。
令 bytes 为一个新的空列表。
令 index 为 0。
当 index < len 时，重复
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 (一个 Uint8Array，) and bytes (一个字节值列表，). It performs the following steps when called:

令 offset 为 into.[[ByteOffset]]。
令 len 为 bytes 的元素数量。
令 index 为 0。
当 index < len 时，重复
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 (一个字符串，) and index (一个非负整数，). 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 (长度为 2 或 3 的字符串，) and throwOnExtraBits (一个布尔值，). 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，则
  1. 抛出 SyntaxError 异常。
2. 返回 « bytes[0] »。
否则，
1. 如果 throwOnExtraBits 为 true 且 bytes[2] ≠ 0，则
  1. 抛出 SyntaxError 异常。
2. 返回 « bytes[0], bytes[1] »。

23.3.3.6 DecodeFullLengthBase64Chunk ( `chunk` )

The abstract operation DecodeFullLengthBase64Chunk takes argument chunk (长度为 4 的字符串，).

标准 base64 字母表为 "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/"，即其元素为 Unicode 基本拉丁块中每个字母和数字，以及 "+" 和 "/" 的码元的字符串。

令 byteSequence 为将 chunk 作为 base64 解码后唯一得到的 3 字节序列（即，将 RFC 4648 第 4 节中 base64 编码应用于 byteSequence 时会得到 chunk）。
返回一个列表，其元素按顺序为 byteSequence 的元素。

23.3.3.7 FromBase64 ( `string`: 一个字符串， `alphabet`: "base64" 或 "base64url"， `lastChunkHandling`: "loose"、"strict" 或 "stop-before-partial"，可选 `maxLength`: 一个非负整数， )：一个具有字段 `[[Read]]`（整数）、`[[Bytes]]`（字节值列表）和 `[[Error]]`（SyntaxError 对象或 none）的记录

The abstract operation UNKNOWN takes UNPARSEABLE ARGUMENTS. It performs the following steps when called:

如果 maxLength 未传入，则
1. 将 maxLength 设为 2⁵³ - 1。
2. 注：由于输入是字符串，字符串长度被限制为 2⁵³ - 1 个字符，且输出所需字节数不会超过输入字符数，因此此限制实际无法达到。但编辑上便于使用有限值。
注：下述算法中的校验和解码顺序是不可观测的。实现可以按最高效的顺序执行校验和解码，甚至可以交错进行。
如果 maxLength = 0，则
1. 返回记录 { [[Read]]: 0, [[Bytes]]: « », [[Error]]: none }。
令 read 为 0。
令 bytes 为一个新的空列表。
令 chunk 为空字符串。
令 chunkLength 为 0。
令 index 为 0。
令 length 为 string 的长度。
重复，
1. 将 index 设为 SkipAsciiWhitespace(string, index)。
2. 如果 index = length，则
  1. 如果 chunkLength > 0，则
    1. 如果 lastChunkHandling 为 "stop-before-partial"，则
      1. 返回记录 { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }。
    2. 否则如果 lastChunkHandling 为 "loose"，则
      1. 如果 chunkLength = 1，则
        令 error 为新建的 SyntaxError 对象。
        返回记录 { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
      2. 将 bytes 设为 bytes 与 ! DecodeFinalBase64Chunk(chunk, false) 的列表拼接。
    3. 否则，
      1. 断言：lastChunkHandling 为 "strict"。
      2. 令 error 为新建的 SyntaxError 对象。
      3. 返回记录 { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
  2. 返回记录 { [[Read]]: length, [[Bytes]]: bytes, [[Error]]: none }。
3. 令 char 为 string 从 index 到 index + 1 的子串。
4. 将 index 设为 index + 1。
5. 如果 char 为 "="，则
  1. 如果 chunkLength < 2，则
    1. 令 error 为新建的 SyntaxError 对象。
    2. 返回记录 { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
  2. 将 index 设为 SkipAsciiWhitespace(string, index)。
  3. 如果 chunkLength = 2，则
    1. 如果 index = length，则
      1. 如果 lastChunkHandling 为 "stop-before-partial"，则
        返回记录 { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }。
      2. 令 error 为新建的 SyntaxError 对象。
      3. 返回记录 { [[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. 返回记录 { [[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. 返回记录 { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
  8. 将 bytes 设为 bytes 与 ! decodeResult 的列表拼接。
  9. 返回记录 { [[Read]]: length, [[Bytes]]: bytes, [[Error]]: none }。
6. 如果 alphabet 为 "base64url"，则
  1. 如果 char 是 "+" 或 "/"，则
    1. 令 error 为新建的 SyntaxError 对象。
    2. 返回记录 { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
  2. 否则如果 char 为 "-"，则
    1. 将 char 设为 "+"。
  3. 否则如果 char 为 "_"，则
    1. 将 char 设为 "/"。
7. 如果 char 的唯一码元不是标准 base64 字母表的元素，则
  1. 令 error 为新建的 SyntaxError 对象。
  2. 返回记录 { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }。
8. 令 remaining 为 maxLength - bytes 的元素数量。
9. 如果 remaining = 1 且 chunkLength = 2，或 remaining = 2 且 chunkLength = 3，则
  1. 返回记录 { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }。
10. 将 chunk 设为 chunk 与 char 的字符串拼接。
11. 将 chunkLength 设为 chunk 的长度。
12. 如果 chunkLength = 4，则
  1. 将 bytes 设为 bytes 与 DecodeFullLengthBase64Chunk(chunk) 的列表拼接。
  2. 将 chunk 设为空字符串。
  3. 将 chunkLength 设为 0。
  4. 将 read 设为 index。
  5. 如果 bytes 的元素数量 = maxLength，则
    1. 返回记录 { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }。

23.3.3.8 FromHex ( `string`: 一个字符串，可选 `maxLength`: 一个非负整数， )：一个具有字段 `[[Read]]`（整数）、`[[Bytes]]`（字节值列表）和 `[[Error]]`（SyntaxError 对象或 none）的记录

The abstract operation UNKNOWN takes UNPARSEABLE ARGUMENTS. It performs the following steps when called:

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

23 索引集合（Indexed Collections）

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.isArray ( arg )

23.1.2.3 Array.of ( ...items )

23.1.2.4 Array.prototype

23.1.2.5 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 ( O )

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 ( O, len, direction, predicate, thisArg )

23.1.3.13 Array.prototype.flat ( [ depth ] )

23.1.3.14 Array.prototype.flatMap ( mapperFunction [ , 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: an Object, len: a non-negative integer, SortCompare: an Abstract Closure with two parameters, holes: skip-holes or read-through-holes, ): either a normal completion containing a List of ECMAScript language values or a throw completion

23.1.3.30.2 CompareArrayElements ( x: an ECMAScript language value, y: an ECMAScript language value, comparator: a function object or undefined, ): either a normal completion containing a Number or an abrupt completion

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 迭代器对象

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 迭代器实例的属性

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.2.3.6 %TypedArray%.prototype.copyWithin ( target, start [ , end ] )

23.2.3.7 %TypedArray%.prototype.entries ( )

23.1.1.1 Array ( ...`values` )

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

23.1.2.2 Array.isArray ( `arg` )

23.1.2.3 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 ( `O` )

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 ( `O`, `len`, `direction`, `predicate`, `thisArg` )

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

23.1.3.14 Array.prototype.flatMap ( `mapperFunction` [ , `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`: an Object, `len`: a non-negative integer, `SortCompare`: an Abstract Closure with two parameters, `holes`: skip-holes or read-through-holes, ): either a normal completion containing a List of ECMAScript language values or a throw completion

23.1.3.30.2 CompareArrayElements ( `x`: an ECMAScript language value, `y`: an ECMAScript language value, `comparator`: a function object or undefined, ): either a normal completion containing a Number or an abrupt completion

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 ( `constructor`, `argumentList` )

23.2.4.2 TypedArrayCreateSameType ( `exemplar`, `length` )

23.2.4.3 TypedArraySpeciesCreate ( `exemplar`, `argumentList` )

23.2.4.4 ValidateTypedArray ( `O`, `order` )

23.2.4.5 TypedArrayElementSize ( `O` )

23.2.4.6 TypedArrayElementType ( `O` )

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

23.2.5 `TypedArray` 构造函数

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

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

23.2.5.1.2 InitializeTypedArrayFromTypedArray ( `O`, `srcArray` )

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