23 インデックス付きコレクション

23.1 Array オブジェクト

配列 (Array) は特定種類のプロパティ名に特別な扱いを与えるエキゾチックオブジェクトである。この特別扱いの定義については 10.4.2 を参照。

23.1.1 Array コンストラクター

Array コンストラクター:

%Array% である。
グローバルオブジェクトの "Array" プロパティの初期値である。
コンストラクターとして呼び出されたとき新しい Array を生成し初期化する。
関数として（コンストラクターではなく）呼び出された場合も新しい Array を生成し初期化する。従って関数呼び出し Array(…) は、同じ引数のオブジェクト生成式 new Array(…) と等価である。
その振る舞いが引数の個数と型に依存して変化する関数である。
クラス定義の extends 句の値として利用できる。エキゾチック Array の挙動を継承することを意図したサブクラスコンストラクターは、サブクラスインスタンス（Array エキゾチックオブジェクト）を初期化するために Array コンストラクターへの super 呼び出しを含めなければならない。ただし、Array.prototype のメソッドの多くは this 値が Array エキゾチックオブジェクトであることに依存しない汎用メソッドである。

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 コンストラクター:

値 %Function.prototype% を持つ [[Prototype]] 内部スロットを有する。
値 1_𝔽 の "length" プロパティを持つ。
以下のプロパティを持つ:

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 は iterable ではないので配列ライクオブジェクトとみなす。
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 値の constructor を使って派生オブジェクトを生成する。しかしサブクラスコンストラクターは %Symbol.species% プロパティを再定義することで既定の挙動を上書きできる。

23.1.3 Array プロトタイプオブジェクトのプロパティ

Array プロトタイプオブジェクト:

%Array.prototype% である。
Array エキゾチックオブジェクトであり、そのようなオブジェクトに規定された内部メソッドを持つ。
初期値 +0_𝔽 の "length" プロパティを持ち、その属性は { [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false } である。
[[Prototype]] 内部スロットの値は %Object.prototype% である。

Note

Array プロトタイプオブジェクトを Array エキゾチックオブジェクトとして規定するのは 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。
items の先頭に O を挿入する。
各要素 E ∈ items について:
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" を明示的に設定するのは、items の最後の非空要素に後続の hole がある場合や A が組込み Array でない場合の正しい長さを保証するためである。

Note 2

このメソッドは意図的に汎用であり、this 値が Array であることを要求しない。そのため他の種類のオブジェクトへメソッドとして転用可能である。

23.1.3.2.1 IsConcatSpreadable ( `O` )

The abstract operation IsConcatSpreadable takes argument O (ECMAScript 言語値) and returns Boolean を含む通常完了または throw 完了. 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 が負なら配列長を length として length + target と扱う。start が負なら length + start。end が負なら length + end と扱う。

このメソッドは呼び出し時に以下を実行する:

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。
そうでなければ
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. アサート: fromPresent は false。
  2. ? DeletePropertyOrThrow(O, toKey)。
6. from += direction。
7. to += direction。
8. count -= 1。
O を返す。

Note 3

このメソッドは意図的に汎用であり、this 値が Array である必要はない。他オブジェクトへ転用できる。

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 は 3 引数を受け取り Boolean へ強制可能な値を返す関数であるべき。every は昇順で各要素に対し callback を 1 回ずつ呼び、callback が false を返す要素を見つけた時点で直ちに false を返す。見つからなければ true を返す。callback は実際に存在する要素に対してのみ呼ばれ、欠落要素には呼ばれない。

thisArg が指定されれば各呼び出しの this 値として使用され、指定がなければ undefined が用いられる。

callback は (要素値, 要素インデックス, 走査対象オブジェクト) を受け取る。

every 自体は直接対象オブジェクトをミューテートしないが、callback の呼び出しにより変更され得る。

処理される要素の範囲は最初の callback 呼び出し前に固定される。every 開始後に追加された要素は訪問されない。既存要素が変更された場合、その時点の値が渡される；開始後に削除された要素は訪問されない。空配列に対しては 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 が true なら
  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

このメソッドは意図的に汎用であり、this 値が Array であることを要求しない。

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

Note 1

start は省略可。省略時 +0_𝔽 を使用。

end は省略可。省略時 this 値の長さを使用。

Note 2

start が負なら length + start、end が負なら length + end と扱う。

このメソッドは呼び出し時以下を実行:

O を ? ToObject(this value)。
len を ? LengthOfArrayLike(O)。
relativeStart を ? ToIntegerOrInfinity(start)。
relativeStart = -∞ なら k = 0。
そうでなく relativeStart < 0 なら k = max(len + relativeStart, 0)。
それ以外は k = min(relativeStart, len)。
end が undefined なら relativeEnd = len；そうでなければ relativeEnd = ? ToIntegerOrInfinity(end)。
relativeEnd = -∞ なら final = 0。
そうでなく relativeEnd < 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 3

このメソッドは意図的に汎用。

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

Note 1

callback は 3 引数を受け Boolean へ強制可能な値を返す関数であるべき。filter は昇順で各要素に対し callback を呼び、true を返した値を集め新しい配列を構成する。欠落要素には呼ばれない。

thisArg が提供されれば this として使われ、なければ undefined。

callback は (値, インデックス, 走査対象) を受け取る。

filter 自体は直接オブジェクトを変更しないが callback により変更され得る。

処理範囲は開始前に固定。開始後に追加された要素は訪問されず、変更された既存要素は訪問時点の値、開始後に削除された要素は訪問されない。

このメソッドは呼び出し時以下を実行:

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 が true なら
  1. kValue を ? Get(O, Pk)。
  2. selected を ToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), O »))。
  3. selected が true なら
    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 を呼び、true に強制される値を返した最初の要素値を返す。存在しなければ undefined。

追加情報は FindViaPredicate を参照。

呼び出し時の手順:

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

昇順で predicate を呼び、true に強制される値を返した最初の要素のインデックスを返す。なければ -1。

追加情報は FindViaPredicate 参照。

呼び出し時手順:

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

降順で predicate を呼び、true に強制される値を返した最初の要素値を返す。なければ undefined。

追加情報は FindViaPredicate 参照。

手順:

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

降順で predicate を呼び、true に強制される値を返した最初の要素のインデックスを返す。なければ -1。

追加情報は FindViaPredicate 参照。

手順:

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 (オブジェクト), len (非負整数), direction (ascending または descending), predicate (ECMAScript 言語値), and thisArg (ECMAScript 言語値) and returns フィールド [[Index]] (整数 Number) と [[Value]] (ECMAScript 言語値) を持つ Record を含む通常完了または throw 完了.

O は配列ライクまたは TypedArray であるべき。この操作は指定方向で各要素に predicate を 1 回ずつ呼び、true に強制される値を返した時点でそのインデックスと値を含む Record を返す。該当要素がない場合、インデックス -1_𝔽 と値 undefined の Record を返す。

predicate は関数であるべき。呼び出し時 (要素値, インデックス, 対象オブジェクト) が渡され、戻り値は Boolean へ強制される。

thisArg は各呼び出しの this として用いられる。

この操作自体は直接オブジェクトを変更しないが predicate により変更され得る。

処理範囲は走査開始直前に固定される。以降に追加された要素は訪問されない。既存要素が変更された場合はその訪問時の値が渡される。走査開始後に削除された要素は依然訪問され、存在しなければ undefined またはプロトタイプから取得される。

It performs the following steps when called:

IsCallable(predicate) が false なら TypeError 例外。
direction が ascending なら
1. indices を 0 以上 len 未満の整数の昇順 List とする。
そうでなければ
1. indices を 0 以上 len 未満の整数の降順 List とする。
各整数 k ∈ indices について
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 なら Record { [[Index]]: 𝔽(k), [[Value]]: kValue } を返す。
Record { [[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 なら depthNum = 0。
A を ? ArraySpeciesCreate(O, 0)。
? FlattenIntoArray(A, O, sourceLen, 0, depthNum) を実行。
A を返す。

23.1.3.13.1 FlattenIntoArray ( `target`, `source`, `sourceLen`, `start`, `depth` [ , `mapperFunction` [ , `thisArg` ] ] )

The abstract operation FlattenIntoArray takes arguments target (オブジェクト), source (オブジェクト), sourceLen (非負整数), start (非負整数), and depth (非負整数または +∞) and optional arguments mapperFunction (関数オブジェクト) and thisArg (ECMAScript 言語値) and returns 非負整数を含む通常完了または throw 完了. It performs the following steps when called:

アサート: mapperFunction が存在するなら IsCallable(mapperFunction) は true であり、thisArg が存在し、かつ depth は 1。
targetIndex を start。
sourceIndex を +0_𝔽。
ℝ(sourceIndex) < sourceLen の間繰り返し、
1. P を ! ToString(sourceIndex)。
2. exists を ? HasProperty(source, P)。
3. exists が true なら
  1. element を ? Get(source, P)。
  2. mapperFunction が存在するなら
    1. element を ? Call(mapperFunction, thisArg, « element, sourceIndex, source ») に設定。
  3. shouldFlatten を false。
  4. depth > 0 なら
    1. shouldFlatten を ? IsArray(element) に設定。
  5. shouldFlatten が true なら
    1. depth = +∞ なら newDepth = +∞。
    2. そうでなければ newDepth = depth - 1。
    3. elementLen を ? LengthOfArrayLike(element)。
    4. targetIndex を ? FlattenIntoArray(target, element, elementLen, targetIndex, newDepth) に設定。
  6. そうでなければ
    1. targetIndex ≥ 2⁵³ - 1 なら TypeError 例外。
    2. ? CreateDataPropertyOrThrow(target, ! ToString(𝔽(targetIndex)), element)。
    3. targetIndex++。
4. sourceIndex を sourceIndex + 1_𝔽。
targetIndex を返す。

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

このメソッドは呼び出し時以下を実行する:

O を ? ToObject(this value)。
sourceLen を ? LengthOfArrayLike(O)。
1. 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 は 3 引数を受け取る関数であるべき。forEach は昇順で存在する各要素に対し callback を 1 回呼ぶ。欠落要素には呼ばれない。

thisArg があれば this 値、なければ undefined。

callback の引数は (値, インデックス, 対象オブジェクト)。

forEach 自体は直接オブジェクトを変更しないが 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 が true なら
  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 アルゴリズムで昇順に searchElement と各要素を比較し、いずれかで一致したら true、なければ false を返す。

第 2 引数 fromIndex の既定値は +0_𝔽（全検索）。配列長以上なら false。 -0_𝔽 未満なら末尾からのオフセットとして扱い、計算結果が +0_𝔽 以下なら全検索。

手順:

O を ? ToObject(this value)。
len を ? LengthOfArrayLike(O)。
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++。
false を返す。

Note 2

汎用。

Note 3

このメソッドは indexOf と異なり、SameValueZero を使うため NaN を検出でき、欠落要素をスキップせず undefined として扱う。

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

昇順で IsStrictlyEqual アルゴリズムにより比較し、マッチする最小インデックスを返し、なければ -1_𝔽 を返す。

Note 1

第 2 引数 fromIndex の既定値は +0_𝔽。配列長以上なら検索せず -1_𝔽。-0_𝔽 未満なら末尾からのオフセットとして扱い、結果が +0_𝔽 以下なら全検索。

手順:

O を ? ToObject(this value)。
len を ? LengthOfArrayLike(O)。
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++。
-1_𝔽 を返す。

Note 2

汎用。

23.1.3.18 Array.prototype.join ( `separator` )

配列要素を String に変換し separator を挟んで連結した結果を返す。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_𝔽。

第2引数 fromIndex の既定は長さ−1。長さ以上なら全検索。-0_𝔽 未満なら末尾からのオフセット。計算結果が +0_𝔽 以下なら -1_𝔽。

手順:

O を ? ToObject(this value)。
len を ? LengthOfArrayLike(O)。
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--。
-1_𝔽 を返す。

Note 2

汎用。

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

Note 1

callback は 3 引数を受ける関数であるべき。map は昇順に各要素に対し callback を呼び、その結果から新しい配列を作成。欠落要素には呼ばない。

thisArg があれば this、なければ undefined。

callback の引数: (値, インデックス, 対象)。

map 自体は直接ミューテーションしないが 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 が true なら
  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. アサート: len > 0。
2. newLen = 𝔽(len - 1)。
3. index = ! ToString(newLen)。
4. element を ? Get(O, index)。
5. ? DeletePropertyOrThrow(O, index)。
6. ? Set(O, "length", newLen, true)。
7. 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

callback は 4 引数を受け取るべき。reduce は最初の（もしくは初期値を与えた場合その次の）要素以降に対して昇順で 1 回ずつ呼ぶ。

callback の引数: previousValue, currentValue, currentIndex, 走査対象オブジェクト。最初の呼び出し時の previousValue と currentValue は初期値有無で変化。空配列かつ初期値なしは TypeError。

reduce 自体は直接ミューテートしない。

処理範囲は開始前固定。追加要素は無視。変更要素は訪問時の値。開始後削除された要素は訪問されない。

手順:

O を ? ToObject(this value)。
len を ? LengthOfArrayLike(O)。
IsCallable(callback) が false なら TypeError。
len = 0 かつ initialValue が無ければ TypeError。
k = 0。
accumulator = undefined。
initialValue が存在すれば
1. accumulator = initialValue。
そうでなければ
1. kPresent = false。
2. kPresent が false かつ k < len の間、
  1. Pk = ! ToString(𝔽(k))。
  2. kPresent = ? HasProperty(O, Pk)。
  3. kPresent が true なら
    1. accumulator = ? Get(O, Pk)。
  4. k++。
3. kPresent が false なら TypeError。
k < len の間、
1. Pk = ! ToString(𝔽(k))。
2. kPresent = ? HasProperty(O, Pk)。
3. kPresent が true なら
  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 の逆方向版。空配列で初期値なしは TypeError。

手順:

O, len を前節同様に取得。
IsCallable(callback) が false なら TypeError。
len = 0 かつ initialValue 無しなら TypeError。
k = len - 1。
accumulator = undefined。
initialValue が存在すれば
1. accumulator = initialValue。
そうでなければ
1. kPresent = false。
2. kPresent が false かつ k ≥ 0 の間、
  1. Pk = ! ToString(𝔽(k))。
  2. kPresent = ? HasProperty(O, Pk)。
  3. kPresent が true なら
    1. accumulator = ? Get(O, Pk)。
  4. k--。
3. kPresent が false なら TypeError。
k ≥ 0 の間、
1. Pk = ! ToString(𝔽(k))。
2. kPresent = ? HasProperty(O, Pk)。
3. kPresent が true なら
  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))。
3. lowerP = ! ToString(𝔽(lower))。
4. lowerExists = ? HasProperty(O, lowerP)。
5. lowerExists が true なら lowerValue = ? Get(O, lowerP)。
6. upperExists = ? HasProperty(O, upperP)。
7. upperExists が true なら upperValue = ? Get(O, upperP)。
8. 両方 true なら
  1. ? Set(O, lowerP, upperValue, true)。
  2. ? Set(O, upperP, lowerValue, true)。
9. そうでなく lowerExists false かつ upperExists true なら
  1. ? Set(O, lowerP, upperValue, true)。
  2. ? DeletePropertyOrThrow(O, upperP)。
10. そうでなく lowerExists true かつ upperExists false なら
  1. ? DeletePropertyOrThrow(O, lowerP)。
  2. ? Set(O, upperP, lowerValue, true)。
11. そうでなければ（両方 false）何もしない。
12. lower++。
O を返す。

Note 2

汎用。

23.1.3.27 Array.prototype.shift ( )

最初の要素を削除して返す。

手順:

O を ? ToObject(this value)。
len を ? LengthOfArrayLike(O)。
len = 0 なら
1. ? Set(O, "length", +0_𝔽, true)。
2. undefined を返す。
first を ? Get(O, "0")。
k = 1。
k < len の間、
1. from = ! ToString(𝔽(k))。
2. to = ! ToString(𝔽(k - 1))。
3. fromPresent = ? HasProperty(O, from)。
4. fromPresent が true なら
  1. fromValue = ? Get(O, from)。
  2. ? Set(O, to, fromValue, true)。
5. そうでなければ
  1. ? DeletePropertyOrThrow(O, to)。
6. 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 が undefined なら末尾まで、そうでなければ end 非含む）要素を含む新しい配列を返す。負値は長さを length として length + start, length + end。

手順:

O を ? ToObject(this value)。
len を ? LengthOfArrayLike(O)。
relativeStart を ? ToIntegerOrInfinity(start)。
relativeStart = -∞ なら k = 0。
そうでなく relativeStart < 0 なら k = max(len + relativeStart, 0)。
それ以外は k = 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 = max(final - k, 0)。
A を ? ArraySpeciesCreate(O, count)。
n = 0。
k < final の間、
1. Pk = ! ToString(𝔽(k))。
2. kPresent = ? HasProperty(O, Pk)。
3. kPresent が true なら
  1. kValue = ? Get(O, Pk)。
  2. ? CreateDataPropertyOrThrow(A, ! ToString(𝔽(n)), kValue)。
4. k++。
5. n++。
? Set(A, "length", 𝔽(n), true) を実行。
A を返す。

Note 1

で明示的に長さを設定するのは A が組込み Array でない場合でも正しい長さを保証するため。

Note 2

汎用。

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

Note 1

callback は 3 引数を受け Boolean へ強制可能な値を返す関数であるべき。some は true を返す最初の要素を見つけるまで昇順で呼び、見つかれば true、なければ false。欠落要素は無視。

thisArg があれば this、なければ undefined。

引数: (値, インデックス, 対象)。

オブジェクトは直接ミューテートしないが 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. kPresent が true なら
  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 が undefined でなければ 2 引数 (x, y) を受け負数 / 正数 / 0 を返す関数であるべき。

手順:

comparator が undefined でなく IsCallable(comparator) が false なら TypeError。
obj = ? ToObject(this value)。
len = ? LengthOfArrayLike(obj)。
SortCompare を (x, y) を引数に comparator を捕捉し呼出時 CompareArrayElements を返す新しい抽象クロージャとする。
sortedList = ? SortIndexedProperties(obj, len, SortCompare, skip-holes)。
itemCount を sortedList の要素数。
j = 0。
j < itemCount の間、
1. ? Set(obj, ! ToString(𝔽(j)), sortedList[j], true)。
2. j++。
注記: ステップの呼出は skip-holes を用いる。残りのインデックスは hole 数を保持するため削除する。
j < len の間、
1. ? DeletePropertyOrThrow(obj, ! ToString(𝔽(j)))。
2. j++。
obj を返す。

Note 1

存在しないプロパティ値は常に undefined より後方、かつ undefined は他の任意値より後方に並ぶため（CompareArrayElements 参照）、undefined が末尾、その後に非存在要素が続く。

Note 2

手順 , の ToString によるメソッド呼出は SortCompare を一貫した比較器にしない可能性がある。

Note 3

汎用。

23.1.3.30.1 SortIndexedProperties ( `obj`, `len`, `SortCompare`, `holes` )

The abstract operation SortIndexedProperties takes arguments obj (オブジェクト), len (非負整数), SortCompare (2 パラメータ抽象クロージャ), and holes (skip-holes または read-through-holes) and returns ECMAScript 言語値の List を含む通常完了または throw 完了. It performs the following steps when called:

items を空 List。
k = 0。
k < len の間、
1. Pk = ! ToString(𝔽(k))。
2. holes が skip-holes なら
  1. kRead = ? HasProperty(obj, Pk)。
3. そうでなければ（read-through-holes）
  1. kRead = true。
4. kRead が true なら
  1. kValue = ? Get(obj, Pk)。
  2. items に kValue を追加。
5. k++。
実装定義の SortCompare 呼出列を用いて items をソート。いずれかの呼出が異常完了したらそれ以上呼び出さずその Completion Record を返す。
items を返す。

ソート順は上記アルゴリズムのステップ後の items の順序。SortCompare が一貫した比較器でない場合は実装定義。Array.prototype.sort または Array.prototype.toSorted により呼び出された場合で comparator が undefined かつ特定値への全ての ToString 適用結果が同じでない場合も実装定義。

実装定義でない場合、次を満たすこと:

非負整数 itemCount 未満の整数についてある置換 π が存在し、各 j (0 ≤ j < itemCount) で old[j] が new[π(j)] と同一。
すべての j, k について ℝ(SortCompare(old[j], old[k])) < 0 なら π(j) < π(k)。
j < k < itemCount かつ ℝ(SortCompare(old[j], old[k])) = 0 なら π(j) < π(k)（安定ソート）。

old[j] はステップ前の items[j]、new[j] は後の値。

抽象クロージャまたは関数 comparator が集合 S の一貫した比較器であるとは、任意の a, b, c ∈ S について以下を満たすこと。記法 a <_C b は ℝ(comparator(a, b)) < 0 を、=_C, >_C も同様。

同一ペア (a, b) への呼出は常に同じ Number v（NaN でない）を返し、三つの関係のいずれかのみ成り立つ。
comparator 呼出は obj またはそのプロトタイプチェーン上のオブジェクトを変更しない。
反射律: a =_C a。
対称律: a =_C b ⇒ b =_C a。
推移律 (=): a =_C b, b =_C c ⇒ a =_C c。
推移律 (<): a <_C b, b <_C c ⇒ a <_C c。
推移律 (>): a >_C b, b >_C c ⇒ a >_C c。

Note

これら条件は comparator が S を同値類に分割し、それらが全順序付けされるために必要十分。

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

The abstract operation CompareArrayElements takes arguments x (ECMAScript 言語値), y (ECMAScript 言語値), and comparator (関数オブジェクトまたは undefined) and returns Number を含む通常完了または異常完了. It performs the following steps when called:

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)。
relativeStart = -∞ なら actualStart = 0。
そうでなく relativeStart < 0 なら actualStart = max(len + relativeStart, 0)。
それ以外は actualStart = min(relativeStart, len)。
itemCount を items の要素数。
start が存在しなければ actualDeleteCount = 0。
そうでなく deleteCount が存在しなければ actualDeleteCount = len - actualStart。
それ以外
1. dc = ? ToIntegerOrInfinity(deleteCount)。
2. 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) が true なら
  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) が true なら
    1. fromValue = ? Get(O, from)。
    2. ? Set(O, to, fromValue, true)。
  4. そうでなければ ? DeletePropertyOrThrow(O, to)。
  5. 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) が true なら
    1. fromValue = ? Get(O, from)。
    2. ? Set(O, to, fromValue, true)。
  4. そうでなければ ? DeletePropertyOrThrow(O, to)。
  5. k--。
k = actualStart。
各 E ∈ items について
1. ? Set(O, ! ToString(𝔽(k)), E, true)。
2. k++。
? Set(O, "length", 𝔽(len - actualDeleteCount + itemCount), true) を実行。
A を返す。

Note 2

ステップ , で明示的に長さを設定するのは組込み配列でない場合でも正しい長さを保証するため。

Note 3

汎用。

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

ECMA-402 国際化 API を含む実装は ECMA-402 仕様に従って実装しなければならない。含まない場合は以下の仕様を用いる。

Note 1

ECMA-402 第 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

各要素の toLocaleString 結果をロケール依存区切りで連結。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 でなく IsCallable(comparator) が false なら TypeError。
O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
A = ? ArrayCreate(len)。
SortCompare を (x, y) を引数に comparator を捕捉し CompareArrayElements を呼ぶ抽象クロージャとする。
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` )

呼び出し時手順:

O = ? ToObject(this value)。
len = ? LengthOfArrayLike(O)。
relativeStart = ? ToIntegerOrInfinity(start)。
relativeStart = -∞ なら actualStart = 0。
そうでなく relativeStart < 0 なら actualStart = max(len + relativeStart, 0)。
それ以外は actualStart = min(relativeStart, len)。
insertCount を items 要素数。
start が存在しなければ actualSkipCount = 0。
そうでなく skipCount が存在しなければ actualSkipCount = len - actualStart。
それ以外
1. sc = ? ToIntegerOrInfinity(skipCount)。
2. 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++。
各 E ∈ items について
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++。
6. 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))。
  2. to = ! ToString(𝔽(k + argCount - 1))。
  3. fromPresent = ? HasProperty(O, from)。
  4. fromPresent が true なら
    1. fromValue = ? Get(O, from)。
    2. ? Set(O, to, fromValue, true)。
  5. そうでなければ ? DeletePropertyOrThrow(O, to)。
  6. k--。
4. j = +0_𝔽。
5. 各 E ∈ items について
  1. ? Set(O, ! ToString(j), E, true)。
  2. 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% プロパティの初期値は 23.1.3.38 で定義される %Array.prototype.values% である。

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

このオブジェクトの own プロパティ名は ECMAScript 2015 以前に Array.prototype の標準プロパティでなかった名前であり、with 文でシャドウされる既存コードの挙動を守るため無視される。

"with" が含まれないのは既に予約語であるため。

23.1.4 Array インスタンスのプロパティ

Array インスタンスは Array エキゾチックオブジェクトであり、その内部メソッドを持つ。Array プロトタイプオブジェクトからプロパティを継承する。

Array インスタンスは "length" プロパティと配列インデックス名を持つ列挙可能プロパティ集合を有する。

23.1.4.1 length

Array インスタンスの "length" プロパティは、配列インデックス名を持つ全ての configurable な自プロパティ名より常に数値的に大きい値を持つデータプロパティである。

初期属性は { [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false }。

Note

"length" の値を減少させると旧値と新値の間のインデックスを持つ自要素が削除される（ただし非設定可能は削除不可）。非設定可能な array-indexed プロパティの最大値以上に "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 (オブジェクト) and kind (key+value, key, または value) and returns オブジェクト. 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 が Array Iterator Instance の全内部スロットを持たなければ 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)。
そうでなければ
1. len = ? LengthOfArrayLike(array)。
index ≥ len なら
1. O.[[IteratedArrayLike]] = undefined。
2. CreateIteratorResultObject(undefined, true) を返す。
O.[[ArrayLikeNextIndex]] = index + 1。
indexNumber = 𝔽(index)。
kind = key なら
1. result = indexNumber。
そうでなければ
1. elementKey = ! ToString(indexNumber)。
2. elementValue = ? Get(array, elementKey)。
3. kind = value なら
  1. result = elementValue。
4. そうでなければ（key+value）
  1. 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 Iterator インスタンスのプロパティ

Array Iterator インスタンスは %ArrayIteratorPrototype% から継承する通常オブジェクトで、初期化時に Table 72 の内部スロットを持つ。

Table 72: Array Iterator インスタンスの内部スロット

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 ビット 2 の補数符号付き整数
Uint8Array %Uint8Array%	uint8	1	ToUint8	8 ビット符号なし整数
Uint8ClampedArray %Uint8ClampedArray%	uint8clamped	1	ToUint8Clamp	8 ビット符号なし整数 (クランプ変換)
Int16Array %Int16Array%	int16	2	ToInt16	16 ビット 2 の補数符号付き整数
Uint16Array %Uint16Array%	uint16	2	ToUint16	16 ビット符号なし整数
Int32Array %Int32Array%	int32	4	ToInt32	32 ビット 2 の補数符号付き整数
Uint32Array %Uint32Array%	uint32	4	ToUint32	32 ビット符号なし整数
BigInt64Array %BigInt64Array%	bigint64	8	ToBigInt64	64 ビット 2 の補数符号付き整数
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% 組込みオブジェクト:

値 %Function.prototype% の [[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 は空 List。
7. targetObj を返す。
注: source は iterable でないので配列ライクであるとみなす。
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++。
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++。
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)。
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. elementSize = TypedArrayElementSize(O)。
7. byteOffset = O.[[ByteOffset]]。
8. bufferByteLimit = (len × elementSize) + byteOffset。
9. toByteIndex = (targetIndex × elementSize) + byteOffset。
10. fromByteIndex = (startIndex × elementSize) + byteOffset。
11. countBytes = count × elementSize。
12. もし fromByteIndex < toByteIndex かつ toByteIndex < fromByteIndex + countBytes なら
  1. direction = -1。
  2. fromByteIndex = fromByteIndex + countBytes - 1。
  3. toByteIndex = toByteIndex + countBytes - 1。
13. そうでなければ
  1. direction = 1。
14. countBytes > 0 の間繰り返し、
  1. もし fromByteIndex < bufferByteLimit かつ toByteIndex < bufferByteLimit なら
    1. value = GetValueFromBuffer(buffer, fromByteIndex, uint8, true, unordered)。
    2. SetValueInBuffer(buffer, toByteIndex, uint8, value, true, unordered) を実行。
    3. fromByteIndex += direction。
    4. toByteIndex += direction。
    5. countBytes = countBytes - 1。
  2. そうでなければ
    1. countBytes = 0。
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++。
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++。
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 = 新しい空 List。
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++。
A = ? TypedArraySpeciesCreate(O, « 𝔽(captured) »)。
n = 0。
各 e ∈ kept について
1. ! Set(A, ! ToString(𝔽(n)), e, true)。
2. n++。
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]] を返す。

汎用ではない。

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]] を返す。

汎用ではない。

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]] を返す。

汎用ではない。

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]] を返す。

汎用ではない。

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++。
undefined を返す。

汎用ではない。

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++。
false を返す。

汎用ではない。

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++。
-1_𝔽 を返す。

汎用ではない。

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++。
R を返す。

汎用ではない。

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--。
-1_𝔽 を返す。

汎用ではない。

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) を返す。

この関数は汎用ではない。

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++。
A を返す。

汎用ではない。

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 < len の間、
1. Pk = ! ToString(𝔽(k))。
2. kValue = ! Get(O, Pk)。
3. accumulator = ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), O »)。
4. k++。
accumulator を返す。

汎用ではない。

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 ≥ 0 の間、
1. Pk = ! ToString(𝔽(k))。
2. kValue = ! Get(O, Pk)。
3. accumulator = ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), O »)。
4. k--。
accumulator を返す。

汎用ではない。

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++。
O を返す。

汎用ではない。

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

このメソッドは source から値を読み取り複数の値をこの TypedArray に設定する。詳細は 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 を返す。

汎用ではない。

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 を含む通常完了または throw 完了. target の targetOffset から source の値を複数設定する。 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++。
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 を含む通常完了または throw 完了. target の targetOffset から source の値を複数設定する。 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) かつ IsSharedArrayBuffer(targetBuffer) かつ srcBuffer.[[ArrayBufferData]] = targetBuffer.[[ArrayBufferData]] なら sameSharedArrayBuffer = true、そうでなければ false。
SameValue(srcBuffer, targetBuffer) または 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++。
  4. targetByteIndex++。
そうでなければ
1. targetByteIndex < limit の間、
  1. value = GetValueFromBuffer(srcBuffer, srcByteIndex, srcType, true, unordered)。
  2. SetValueInBuffer(targetBuffer, targetByteIndex, targetType, value, true, unordered)。
  3. srcByteIndex += srcElementSize。
  4. 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++。
    4. targetByteIndex++。
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++。
    5. n++。
A を返す。

汎用ではない。

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++。
false を返す。

汎用ではない。

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

これは独立したメソッドであり、以下に述べる点を除き 23.1.3.30 の Array.prototype.sort と同じ要件を実装する。実装は this 値が固定長で疎でない整数インデックス付きプロパティを持つことを利用して最適化できる。

汎用ではない。

呼び出し時:

comparator が undefined でなく IsCallable(comparator) が false なら TypeError。
obj = this 値。
taRecord = ? ValidateTypedArray(obj, seq-cst)。
len = TypedArrayLength(taRecord)。
注: 以下のクロージャは文字列比較ではなく数値比較を行う。
SortCompare を (x, y) を取り comparator を捕捉し CompareTypedArrayElements を呼ぶ抽象クロージャとする。
sortedList = ? SortIndexedProperties(obj, len, SortCompare, read-through-holes)。
j = 0。
j < len の間、
1. ! Set(obj, ! ToString(𝔽(j)), sortedList[j], true)。
2. j++。
obj を返す。

Note

NaN は他の任意値より常に大きく比較されるため (CompareTypedArrayElements 参照)、comparator 未指定時は NaN 値は末尾に並ぶ。

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

このメソッドは元の TypedArray と同じ要素型・同じ ArrayBuffer を参照し、start (含む) から end (含まない) までの要素を参照する新しい TypedArray を返す。start または end が負なら配列末尾からのインデックスを示す。

呼び出し時:

O = this 値。
? RequireInternalSlot(O, [[TypedArrayName]])。
アサート: O は [[ViewedArrayBuffer]] を持つ。
1. 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) を返す。

汎用ではない。

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

これは 23.1.3.32 の Array.prototype.toLocaleString と同アルゴリズムを実装するが、"length" の [[Get]] の代わりに TypedArrayLength を呼ぶ点が異なる。基礎バッファがリサイズ不可で固定長かつ疎でないことを利用した最適化は許されるが、観測可能な仕様上の挙動を変えてはならない。

汎用ではない。アルゴリズム実行前に ValidateTypedArray が this 値と seq-cst で呼ばれ、その結果が異常完了ならアルゴリズムを実行せず例外を投げる。

Note

実装が 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++。
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)。
注: 以下のクロージャは文字列比較でなく数値比較。
SortCompare を (x, y) を取り comparator を捕捉し CompareTypedArrayElements を呼ぶ抽象クロージャとする。
sortedList = ? SortIndexedProperties(O, len, SortCompare, read-through-holes)。
j = 0。
j < len の間、
1. ! Set(A, ! ToString(𝔽(j)), sortedList[j], true)。
2. j++。
A を返す。

23.2.3.34 %TypedArray%.prototype.toString ( )

"toString" プロパティの初期値は 23.1.3.36 で定義される %Array.prototype.toString% である。

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++。
A を返す。

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

%Symbol.iterator% プロパティの初期値は 23.2.3.35 で定義される %TypedArray.prototype.values% である。

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 は String。
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 を含む通常完了または throw 完了. コンストラクター関数を用いた新規 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 を含む通常完了または throw 完了. exemplar から派生したコンストラクターと length を用いて新しい TypedArray を生成する。TypedArraySpeciesCreate が %Symbol.species% によりカスタムサブクラスを構築できるのに対し常に組込み 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 を含む通常完了または throw 完了. exemplar から派生したコンストラクターを用いて新しい TypedArray を作成する。ArraySpeciesCreate と異なり常に実際の TypedArray を生成することを強制する。 It performs the following steps when called:

defaultConstructor を exemplar.[[TypedArrayName]] に対応する組込みオブジェクトとする。
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 With Buffer Witness Record を含む通常完了または throw 完了. 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 非負整数. It performs the following steps when called:

O.[[TypedArrayName]] に対し Table 73 で規定された要素サイズ値を返す。

23.2.4.6 TypedArrayElementType ( `O` )

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

O.[[TypedArrayName]] に対し Table 73 で規定された要素型値を返す。

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 か両方 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 コンストラクターは:

Table 73 にて TypedArray の代わりに用いられる名称が異なるだけで、以下に記述する構造を持つ組込みオブジェクトである。
引数の数と型により挙動が変わる関数であり、呼び出し時の実際の挙動は渡された引数の数と種類に依存する。
関数として呼び出すことを意図しておらず、その形で呼べば例外を投げる。
クラス定義の extends 句に利用できる。指定された TypedArray の挙動を継承するサブクラスコンストラクターは、%TypedArray%.prototype 組込みメソッドを支える内部状態でインスタンスを初期化するため TypedArray コンストラクターへの super 呼び出しを含めねばならない。

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

各 TypedArray コンストラクターは呼び出し時に以下を行う:

NewTarget が undefined なら TypeError。
constructorName をこの TypedArray コンストラクターに対応する Table 73 の Constructor Name の String 値とする。
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. そうでなく [[ArrayBufferData]] を持つなら
    1. numberOfArgs > 1 なら byteOffset = args[1]; そうでなければ undefined。
    2. numberOfArgs > 2 なら length = args[2]; そうでなければ 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 は iterable でないので配列ライクと仮定。
      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 (Table 73 にある TypedArray コンストラクター名 String), newTarget (a constructor), and defaultProto (a String) and optional argument length (非負整数) and returns TypedArray を含む通常完了または throw 完了. TypedArray コンストラクターインスタンスを検証・生成する。length が渡されればその長さの ArrayBuffer も割当て関連付ける。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 を含む通常完了または throw 完了. 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 += srcElementSize。
  4. targetByteIndex += elementSize。
  5. count--。
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 を含む通常完了または throw 完了. It performs the following steps when called:

elementSize = TypedArrayElementSize(O)。
offset = ? ToIndex(byteOffset)。
offset mod 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 mod 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 を含む通常完了または throw 完了. 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++。
アサート: 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 を含む通常完了または throw 完了. 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++。
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 を含む通常完了または throw 完了. 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 に規定されたコンストラクター名の String 値。
以下のプロパティを持つ:

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 インスタンスは TypedArray である。各 TypedArray インスタンスは対応する TypedArray プロトタイプオブジェクトからプロパティを継承し、[[ViewedArrayBuffer]], [[TypedArrayName]], [[ContentType]], [[ByteLength]], [[ByteOffset]], [[ArrayLength]] の内部スロットを持つ。

23 インデックス付きコレクション

23.1 Array オブジェクト

23.1.1 Array コンストラクター

23.1.1.1 Array ( ...values )

23.1.2 Array コンストラクターのプロパティ

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

23.1.2.2 Array.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.13.1 FlattenIntoArray ( target, source, sourceLen, start, depth [ , mapperFunction [ , thisArg ] ] )

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, len, SortCompare, holes )

23.1.3.30.2 CompareArrayElements ( x, y, comparator )

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

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

23.1.3.33 Array.prototype.toReversed ( )

23.1.3.34 Array.prototype.toSorted ( comparator )

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

23.1.3.36 Array.prototype.toString ( )

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

23.1.3.38 Array.prototype.values ( )

23.1.3.39 Array.prototype.with ( index, value )

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

23.1.3.41 Array.prototype [ %Symbol.unscopables% ]

23.1.4 Array インスタンスのプロパティ

23.1.4.1 length

23.1.5 Array イテレータオブジェクト

23.1.5.1 CreateArrayIterator ( array, kind )

23.1.5.2 %ArrayIteratorPrototype% オブジェクト

23.1.5.2.1 %ArrayIteratorPrototype%.next ( )

23.1.5.2.2 %ArrayIteratorPrototype% [ %Symbol.toStringTag% ]

23.1.5.3 Array Iterator インスタンスのプロパティ

23.2 TypedArray オブジェクト

23.2.1 %TypedArray% 組込みオブジェクト

23.2.1.1 %TypedArray% ( )

23.2.2 %TypedArray% 組込みオブジェクトのプロパティ

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

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

23.2.2.3 %TypedArray%.prototype

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

23.2.3 %TypedArray% プロトタイプオブジェクトのプロパティ

23.2.3.1 %TypedArray%.prototype.at ( index )

23.2.3.2 get %TypedArray%.prototype.buffer

23.2.3.3 get %TypedArray%.prototype.byteLength

23.2.3.4 get %TypedArray%.prototype.byteOffset

23.2.3.5 %TypedArray%.prototype.constructor

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

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.13.1 FlattenIntoArray ( `target`, `source`, `sourceLen`, `start`, `depth` [ , `mapperFunction` [ , `thisArg` ] ] )

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`, `len`, `SortCompare`, `holes` )

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

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

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

23.1.3.34 Array.prototype.toSorted ( `comparator` )

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

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

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

23.1.5.1 CreateArrayIterator ( `array`, `kind` )

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

23.2.4.1 TypedArrayCreateFromConstructor ( `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` )