23 Indexed Collections

23.1 Array Objects

Arraysは、あるclassのproperty namesにspecial treatmentを与えるexotic objectsです。このspecial treatmentのdefinitionについては、10.4.2を参照してください。

23.1.1 The Array Constructor

Array constructorは：

%Array%です。
global objectの"Array" propertyのinitial valueです。
constructorとして呼び出されたとき、新しいArrayを作成およびinitializeします。
constructorとしてではなくfunctionとして呼び出されたときも、新しいArrayを作成およびinitializeします。したがって、function call Array(…)は、same argumentsを伴うobject creation expression new Array(…)とequivalentです。
argumentsの数およびtypesに基づいてbehaviourが異なるfunctionです。
class definitionのextends clauseのvalueとして使用できます。exotic Array behaviourをinheritしようとするsubclass constructorsは、Array exotic objectsであるsubclass instancesをinitializeするために、Array constructorへのsuper callを含まなければなりません。しかし、Array.prototype methodsのほとんどは、そのthis valueがArray exotic objectであることに依存しないgeneric methodsです。

23.1.1.1 Array ( ...`values` )

このfunctionは呼び出されたとき、次のstepsを実行します：

NewTargetがundefinedなら、newTargetをactive function objectとする；そうでなければ、newTargetをNewTargetとする。
protoを ? GetPrototypeFromConstructor(newTarget, "%Array.prototype%") とする。
numberOfArgsをvalues内のelementsの数とする。
numberOfArgs = 0なら、! ArrayCreate(0, proto)を返す。
numberOfArgs = 1なら、
1. lengthをvalues[0]とする。
2. arrayを ! ArrayCreate(0, proto) とする。
3. lengthがNumberでないなら、
  1. ! CreateDataPropertyOrThrow(array, "0", length)を実行する。
  2. intLengthを1_𝔽とする。
4. そうでなければ、
  1. intLengthを ! ToUint32(length) とする。
  2. SameValueZero(intLength, length)がfalseなら、RangeError例外をthrowする。
5. ! Set(array, "length", intLength, true)を実行する。
6. arrayを返す。
Assert: numberOfArgs ≥ 2である。
arrayを ? ArrayCreate(numberOfArgs, proto) とする。
kを0とする。
k < numberOfArgsの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. itemKをvalues[k]とする。
3. ! CreateDataPropertyOrThrow(array, propertyKey, itemK)を実行する。
4. kをk + 1に設定する。
Assert: arrayの"length" propertyのmathematical valueはnumberOfArgsである。
arrayを返す。

23.1.2 Properties of the Array Constructor

Array constructorは：

valueが%Function.prototype%である[[Prototype]] internal slotを持ちます。
valueが1_𝔽である"length" propertyを持ちます。
次のpropertiesを持ちます：

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

このfunctionは呼び出されたとき、次のstepsを実行します：

ctorをthis valueとする。
mapperがundefinedなら、
1. mappingをfalseとする。
そうでなければ、
1. IsCallable(mapper)がfalseなら、TypeError例外をthrowする。
2. mappingをtrueとする。
usingIteratorを ? GetMethod(items, %Symbol.iterator%) とする。
usingIteratorがundefinedでないなら、
1. IsConstructor(ctor)がtrueなら、
  1. arrayを ? Construct(ctor) とする。
2. そうでなければ、
  1. arrayを ! ArrayCreate(0) とする。
3. iteratorRecordを ? GetIteratorFromMethod(items, usingIterator) とする。
4. kを0とする。
5. 繰り返す：
  1. k ≥ 2⁵³ - 1なら、
    1. errorをThrowCompletion(a newly created TypeError object)とする。
    2. ? IteratorClose(iteratorRecord, error)を返す。
  2. propertyKeyを ! ToString(𝔽(k)) とする。
  3. nextを ? IteratorStepValue(iteratorRecord) とする。
  4. nextがdoneなら、
    1. ? Set(array, "length", 𝔽(k), true)を実行する。
    2. arrayを返す。
  5. mappingがtrueなら、
    1. mappedValueをCompletion(Call(mapper, thisArg, « next, 𝔽(k) »))とする。
    2. IfAbruptCloseIterator(mappedValue, iteratorRecord).
  6. そうでなければ、
    1. mappedValueをnextとする。
  7. defineStatusをCompletion(CreateDataPropertyOrThrow(array, propertyKey, mappedValue))とする。
  8. IfAbruptCloseIterator(defineStatus, iteratorRecord).
  9. kをk + 1に設定する。
NOTE: itemsはiterableでないため、array-like objectであるとassumeする。
arrayLikeを ! ToObject(items) とする。
lengthを ? LengthOfArrayLike(arrayLike) とする。
IsConstructor(ctor)がtrueなら、
1. arrayを ? Construct(ctor, « 𝔽(length) ») とする。
そうでなければ、
1. arrayを ? ArrayCreate(length) とする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kValueを ? Get(arrayLike, propertyKey) とする。
3. mappingがtrueなら、
  1. mappedValueを ? Call(mapper, thisArg, « kValue, 𝔽(k) ») とする。
4. そうでなければ、
  1. mappedValueをkValueとする。
5. ? CreateDataPropertyOrThrow(array, propertyKey, mappedValue)を実行する。
6. kをk + 1に設定する。
? Set(array, "length", 𝔽(length), true)を実行する。
arrayを返す。

Note

このmethodは意図的にgenericなfactory methodです；そのthis valueがArray constructorであることをrequireしません。したがって、single numeric argumentで呼び出され得るany other constructorsへtransferまたはinheritできます。

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

このasync functionは呼び出されたとき、次のstepsを実行します：

ctorをthis valueとする。
mappingをfalseとする。
mapperがundefinedでないなら、
1. IsCallable(mapper)がfalseなら、TypeError例外をthrowする。
2. mappingをtrueに設定する。
iteratorRecordをundefinedとする。
usingAsyncIteratorを ? GetMethod(items, %Symbol.asyncIterator%) とする。
usingAsyncIteratorがundefinedなら、
1. usingSyncIteratorを ? GetMethod(items, %Symbol.iterator%) とする。
2. usingSyncIteratorがundefinedでないなら、
  1. iteratorRecordをCreateAsyncFromSyncIterator(? GetIteratorFromMethod(items, usingSyncIterator))に設定する。
そうでなければ、
1. iteratorRecordを ? GetIteratorFromMethod(items, usingAsyncIterator) に設定する。
iteratorRecordがundefinedでないなら、
1. IsConstructor(ctor)がtrueなら、
  1. arrayを ? Construct(ctor) とする。
2. そうでなければ、
  1. arrayを ! ArrayCreate(0) とする。
3. kを0とする。
4. 繰り返す：
  1. k ≥ 2⁵³ - 1なら、
    1. errorをThrowCompletion(a newly created TypeError object)とする。
    2. ? AsyncIteratorClose(iteratorRecord, error)を返す。
  2. propertyKeyを ! ToString(𝔽(k)) とする。
  3. nextResultを ? Call(iteratorRecord.[[NextMethod]], iteratorRecord.[[Iterator]]) とする。
  4. nextResultを ? Await(nextResult) に設定する。
  5. nextResultがObjectでないなら、TypeError例外をthrowする。
  6. doneを ? IteratorComplete(nextResult) とする。
  7. doneがtrueなら、
    1. ? Set(array, "length", 𝔽(k), true)を実行する。
    2. arrayを返す。
  8. nextValueを ? IteratorValue(nextResult) とする。
  9. mappingがtrueなら、
    1. mappedValueをCompletion(Call(mapper, thisArg, « nextValue, 𝔽(k) »))とする。
    2. IfAbruptCloseAsyncIterator(mappedValue, iteratorRecord).
    3. mappedValueをCompletion(Await(mappedValue))に設定する。
    4. IfAbruptCloseAsyncIterator(mappedValue, iteratorRecord).
  10. そうでなければ、
    1. mappedValueをnextValueとする。
  11. defineStatusをCompletion(CreateDataPropertyOrThrow(array, propertyKey, mappedValue))とする。
  12. IfAbruptCloseAsyncIterator(defineStatus, iteratorRecord).
  13. kをk + 1に設定する。
そうでなければ、
1. NOTE: itemsはasync iterableでもiterableでもないため、array-like objectであるとassumeする。
2. arrayLikeを ! ToObject(items) とする。
3. lengthを ? LengthOfArrayLike(arrayLike) とする。
4. IsConstructor(ctor)がtrueなら、
  1. arrayを ? Construct(ctor, « 𝔽(length) ») とする。
5. そうでなければ、
  1. arrayを ? ArrayCreate(length) とする。
6. kを0とする。
7. k < lengthの間、繰り返す
  1. propertyKeyを ! ToString(𝔽(k)) とする。
  2. kValueを ? Get(arrayLike, propertyKey) とする。
  3. kValueを ? Await(kValue) に設定する。
  4. mappingがtrueなら、
    1. mappedValueを ? Call(mapper, thisArg, « kValue, 𝔽(k) ») とする。
    2. mappedValueを ? Await(mappedValue) に設定する。
  5. そうでなければ、
    1. mappedValueをkValueとする。
  6. ? CreateDataPropertyOrThrow(array, propertyKey, mappedValue)を実行する。
  7. kをk + 1に設定する。
8. ? Set(array, "length", 𝔽(length), true)を実行する。
9. arrayを返す。

Note

23.1.2.3 Array.isArray ( `arg` )

このfunctionは呼び出されたとき、次のstepsを実行します：

? IsArray(arg)を返す。

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

このmethodは呼び出されたとき、次のstepsを実行します：

lengthをitems内のelementsの数とする。
lengthNumberを𝔽(length)とする。
ctorをthis valueとする。
IsConstructor(ctor)がtrueなら、
1. arrayを ? Construct(ctor, « lengthNumber ») とする。
そうでなければ、
1. arrayを ? ArrayCreate(length) とする。
kを0とする。
k < lengthの間、繰り返す
1. kValueをitems[k]とする。
2. propertyKeyを ! ToString(𝔽(k)) とする。
3. ? CreateDataPropertyOrThrow(array, propertyKey, kValue)を実行する。
4. kをk + 1に設定する。
? Set(array, "length", lengthNumber, true)を実行する。
arrayを返す。

Note

このmethodは意図的にgenericなfactory methodです；そのthis valueがArray constructorであることをrequireしません。したがって、single numeric argumentで呼び出され得るother constructorsへtransferまたはinheritできます。

23.1.2.5 Array.prototype

Array.prototypeのvalueはArray prototype objectです。

このpropertyはattributes { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }を持ちます。

23.1.2.6 get Array [ %Symbol.species% ]

Array[%Symbol.species%]は、set accessor functionがundefinedであるaccessor propertyです。そのget accessor functionは呼び出されたとき、次のstepsを実行します：

this valueを返す。

このfunctionの"name" propertyのvalueは"get [Symbol.species]"です。

Note

Array prototype methodsは通常、そのthis valueのconstructorを使用してderived objectを作成します。しかし、subclass constructorは、その%Symbol.species% propertyをredefiningすることにより、そのdefault behaviourをover-rideしてもよいです。

23.1.3 Properties of the Array Prototype Object

Array prototype objectは：

%Array.prototype%です。
Array exotic objectであり、そのようなobjectsに対して指定されたinternal methodsを持ちます。
initial valueが+0_𝔽であり、attributesが { [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false } である"length" propertyを持ちます。
valueが%Object.prototype%である[[Prototype]] internal slotを持ちます。

Note

Array prototype objectは、ECMAScript 2015 specificationより前に作成されたECMAScript codeとのcompatibilityをensureするために、Array exotic objectであるとspecifiedされています。

23.1.3.1 Array.prototype.at ( `index` )

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
relativeIndexを ? ToIntegerOrInfinity(index) とする。
relativeIndex ≥ 0なら、
1. kをrelativeIndexとする。
そうでなければ、
1. kをlength + relativeIndexとする。
k < 0またはk ≥ lengthなら、undefinedを返す。
? Get(obj, ! ToString(𝔽(k)))を返す。

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

このmethodは、objectのarray elementsに各argumentのarray elementsがfollowしたものを含むarrayを返します。

これは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
arrayを ? ArraySpeciesCreate(obj, 0) とする。
nextIndexを0とする。
objをitemsの先頭にprependする。
itemsの各要素itemについて、以下を行う
1. spreadableを ? IsConcatSpreadable(item) とする。
2. spreadableがtrueなら、
  1. lengthを ? LengthOfArrayLike(item) とする。
  2. nextIndex + length > 2⁵³ - 1なら、TypeError例外をthrowする。
  3. sourceIndexを0とする。
  4. sourceIndex < lengthの間、繰り返す
    1. propertyKeyを ! ToString(𝔽(sourceIndex)) とする。
    2. existsを ? HasProperty(item, propertyKey) とする。
    3. existsがtrueなら、
      1. subElementを ? Get(item, propertyKey) とする。
      2. ? CreateDataPropertyOrThrow(array, ! ToString(𝔽(nextIndex)), subElement)を実行する。
    4. nextIndexをnextIndex + 1に設定する。
    5. sourceIndexをsourceIndex + 1に設定する。
3. そうでなければ、
  1. NOTE: itemはspreadされるのではなくsingle itemとしてaddedされる。
  2. nextIndex ≥ 2⁵³ - 1なら、TypeError例外をthrowする。
  3. ? CreateDataPropertyOrThrow(array, ! ToString(𝔽(nextIndex)), item)を実行する。
  4. nextIndexをnextIndex + 1に設定する。
? Set(array, "length", 𝔽(nextIndex), true)を実行する。
arrayを返す。

このmethodの"length" propertyは1_𝔽です。

Note 1

step 6における"length" propertyのexplicit settingは、itemsのfinal non-empty elementがtrailing holesを持つ場合、またはarrayがbuilt-in Arrayでない場合に、lengthがcorrectであることをensureすることを意図しています。

Note 2

このmethodは意図的にgenericです；そのthis valueがArrayであることをrequireしません。したがって、methodとして使用するために他の種類のobjectsへtransferできます。

23.1.3.2.1 IsConcatSpreadable ( `obj` )

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

objがObjectでないなら、falseを返す。
spreadableを ? Get(obj, %Symbol.isConcatSpreadable%) とする。
spreadableがundefinedでないなら、ToBoolean(spreadable)を返す。
? IsArray(obj)を返す。

23.1.3.3 Array.prototype.constructor

Array.prototype.constructorのinitial valueは%Array%です。

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

Note 1

end argumentはoptionalです。providedされない場合、this valueのlengthが使用されます。

Note 2

targetがnegativeなら、lengthをarrayのlengthとして、length + targetとして扱われます。startがnegativeなら、length + startとして扱われます。endがnegativeなら、length + endとして扱われます。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
relativeTargetを ? ToIntegerOrInfinity(target) とする。
relativeTarget = -∞なら、toを0とする。
そうでなく、relativeTarget < 0なら、toをmax(length + relativeTarget, 0)とする。
そうでなければ、toをmin(relativeTarget, length)とする。
relativeStartを ? ToIntegerOrInfinity(start) とする。
relativeStart = -∞なら、fromを0とする。
そうでなく、relativeStart < 0なら、fromをmax(length + relativeStart, 0)とする。
そうでなければ、fromをmin(relativeStart, length)とする。
endがundefinedなら、relativeEndをlengthとする；そうでなければ、relativeEndを ? ToIntegerOrInfinity(end) とする。
relativeEnd = -∞なら、finalを0とする。
そうでなく、relativeEnd < 0なら、finalをmax(length + relativeEnd, 0)とする。
そうでなければ、finalをmin(relativeEnd, length)とする。
countをmin(final - from, length - to)とする。
from < toかつto < from + countなら、
1. directionを-1とする。
2. fromをfrom + count - 1に設定する。
3. toをto + count - 1に設定する。
そうでなければ、
1. directionを1とする。
count > 0の間、繰り返す
1. fromKeyを ! ToString(𝔽(from)) とする。
2. toKeyを ! ToString(𝔽(to)) とする。
3. fromPresentを ? HasProperty(obj, fromKey) とする。
4. fromPresentがtrueなら、
  1. fromValueを ? Get(obj, fromKey) とする。
  2. ? Set(obj, toKey, fromValue, true)を実行する。
5. そうでなければ、
  1. Assert: fromPresentはfalseである。
  2. ? DeletePropertyOrThrow(obj, toKey)を実行する。
6. fromをfrom + directionに設定する。
7. toをto + directionに設定する。
8. countをcount - 1に設定する。
objを返す。

Note 3

23.1.3.5 Array.prototype.entries ( )

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
CreateArrayIterator(obj, key+value)を返す。

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

Note 1

callbackはthree argumentsをacceptし、Boolean valueへcoercibleなvalueを返すfunctionであるべきです。everyは、callbackがfalseを返すoneをfindするまで、array内にpresentな各elementについてascending orderでcallbackをonce呼び出します。そのようなelementが見つかると、everyはimmediately falseを返します。そうでなければ、everyはtrueを返します。callbackは、arrayの実際にexistするelementsに対してのみ呼び出されます；arrayのmissing elementsに対しては呼び出されません。

thisArg parameterがprovidedされる場合、callbackの各invocationに対するthis valueとして使用されます。providedされない場合、代わりにundefinedが使用されます。

callbackはthree argumentsで呼び出されます：elementのvalue、elementのindex、およびtraversedされているobjectです。

everyは、それが呼び出されたobjectをdirectlyにはmutateしませんが、objectはcallbackへのcallsによってmutateされる可能性があります。

everyによってprocessedされるelementsのrangeは、callbackへのfirst callの前にsetされます。everyへのcallがbeginした後にarrayへappendedされたelementsは、callbackによってvisitedされません。arrayのexisting elementsがchangedされた場合、callbackへpassedされるそのvalueは、everyがそれらをvisitする時点のvalueになります；everyへのcallがbeginした後、visitedされる前にdeletedされたelementsはvisitedされません。everyは数学における“for all” quantifierのようにactします。特に、empty arrayについてはtrueを返します。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kPresentを ? HasProperty(obj, propertyKey) とする。
3. kPresentがtrueなら、
  1. kValueを ? Get(obj, propertyKey) とする。
  2. testResultをToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), obj »))とする。
  3. testResultがfalseなら、falseを返す。
4. kをk + 1に設定する。
trueを返す。

Note 2

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

Note 1

start argumentはoptionalです。providedされない場合、+0_𝔽が使用されます。

end argumentはoptionalです。providedされない場合、this valueのlengthが使用されます。

Note 2

startがnegativeなら、lengthをarrayのlengthとして、length + startとして扱われます。endがnegativeなら、length + endとして扱われます。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
relativeStartを ? ToIntegerOrInfinity(start) とする。
relativeStart = -∞なら、kを0とする。
そうでなく、relativeStart < 0なら、kをmax(length + relativeStart, 0)とする。
そうでなければ、kをmin(relativeStart, length)とする。
endがundefinedなら、relativeEndをlengthとする；そうでなければ、relativeEndを ? ToIntegerOrInfinity(end) とする。
relativeEnd = -∞なら、finalを0とする。
そうでなく、relativeEnd < 0なら、finalをmax(length + relativeEnd, 0)とする。
そうでなければ、finalをmin(relativeEnd, length)とする。
k < finalの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. ? Set(obj, propertyKey, value, true)を実行する。
3. kをk + 1に設定する。
objを返す。

Note 3

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

Note 1

callbackはthree argumentsをacceptし、Boolean valueへcoercibleなvalueを返すfunctionであるべきです。filterは、array内の各elementについてascending orderでcallbackをonce呼び出し、callbackがtrueを返すすべてのvaluesからなるnew arrayをconstructします。callbackは、arrayの実際にexistするelementsに対してのみ呼び出されます；arrayのmissing elementsに対しては呼び出されません。

thisArg parameterがprovidedされる場合、callbackの各invocationに対するthis valueとして使用されます。providedされない場合、代わりにundefinedが使用されます。

callbackはthree argumentsで呼び出されます：elementのvalue、elementのindex、およびtraversedされているobjectです。

filterは、それが呼び出されたobjectをdirectlyにはmutateしませんが、objectはcallbackへのcallsによってmutateされる可能性があります。

filterによってprocessedされるelementsのrangeは、callbackへのfirst callの前にsetされます。filterへのcallがbeginした後にarrayへappendedされたelementsは、callbackによってvisitedされません。arrayのexisting elementsがchangedされた場合、callbackへpassedされるそのvalueは、filterがそれらをvisitする時点のvalueになります；filterへのcallがbeginした後、visitedされる前にdeletedされたelementsはvisitedされません。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
arrayを ? ArraySpeciesCreate(obj, 0) とする。
kを0とする。
toを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kPresentを ? HasProperty(obj, propertyKey) とする。
3. kPresentがtrueなら、
  1. kValueを ? Get(obj, propertyKey) とする。
  2. selectedをToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), obj »))とする。
  3. selectedがtrueなら、
    1. ? CreateDataPropertyOrThrow(array, ! ToString(𝔽(to)), kValue)を実行する。
    2. toをto + 1に設定する。
4. kをk + 1に設定する。
arrayを返す。

Note 2

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

Note 1

このmethodは、predicateがtrueへcoercesされるvalueを返すoneをfindするまで、arrayの各elementについてascending index orderでpredicateをonce呼び出します。そのようなelementが見つかると、findはimmediatelyそのelement valueを返します。そうでなければ、findはundefinedを返します。

additional informationについてはFindViaPredicateを参照してください。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
findRecordを ? FindViaPredicate(obj, length, ascending, predicate, thisArg) とする。
findRecord.[[Value]]を返す。

Note 2

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

Note 1

このmethodは、predicateがtrueへcoercesされるvalueを返すoneをfindするまで、arrayの各elementについてascending index orderでpredicateをonce呼び出します。そのようなelementが見つかると、findIndexはimmediatelyそのelement valueのindexを返します。そうでなければ、findIndexは-1を返します。

additional informationについてはFindViaPredicateを参照してください。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
findRecordを ? FindViaPredicate(obj, length, ascending, predicate, thisArg) とする。
findRecord.[[Index]]を返す。

Note 2

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

Note 1

このmethodは、predicateがtrueへcoercesされるvalueを返すoneをfindするまで、arrayの各elementについてdescending index orderでpredicateをonce呼び出します。そのようなelementが見つかると、findLastはimmediatelyそのelement valueを返します。そうでなければ、findLastはundefinedを返します。

additional informationについてはFindViaPredicateを参照してください。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
findRecordを ? FindViaPredicate(obj, length, descending, predicate, thisArg) とする。
findRecord.[[Value]]を返す。

Note 2

このmethodは意図的にgenericです；そのthis valueがArray objectであることをrequireしません。したがって、methodとして使用するために他の種類のobjectsへtransferできます。

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

Note 1

このmethodは、predicateがtrueへcoercesされるvalueを返すoneをfindするまで、arrayの各elementについてdescending index orderでpredicateをonce呼び出します。そのようなelementが見つかると、findLastIndexはimmediatelyそのelement valueのindexを返します。そうでなければ、findLastIndexは-1を返します。

additional informationについてはFindViaPredicateを参照してください。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
findRecordを ? FindViaPredicate(obj, length, descending, predicate, thisArg) とする。
findRecord.[[Index]]を返す。

Note 2

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

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

objはarray-like objectまたはTypedArrayであるべきです。このoperationは、directionによって示される通り、ascending index orderまたはdescending index orderのいずれかで、predicateがtrueへcoercesされるvalueを返すoneをfindするまで、objの各elementについてpredicateをonce呼び出します。その時点で、このoperationは見つかったelementのindexおよびvalueを与えるRecordを返します。そのようなelementが見つからない場合、このoperationはindexに-1_𝔽、valueにundefinedをspecifyするRecordを返します。

predicateはfunctionであるべきです。arrayのelementについて呼び出されるとき、three argumentsが渡されます：elementのvalue、elementのindex、およびtraversedされているobjectです。そのreturn valueはBoolean valueへcoercedされます。

thisArgは、predicateの各invocationに対するthis valueとして使用されます。

このoperationは、それが呼び出されたobjectをdirectlyにはmutateしませんが、objectはpredicateへのcallsによってmutateされる可能性があります。

processedされるelementsのrangeは、predicateへのfirst callの前、traversalがbeginする直前にsetされます。この後にarrayへappendedされたelementsは、predicateによってvisitedされません。arrayのexisting elementsがchangedされた場合、predicateへpassedされるそのvalueは、このoperationがそれらをvisitする時点のvalueになります。traversalがbeginした後、visitedされる前にdeletedされたelementsはstill visitedされ、prototypeからlooked upされるか、undefinedになります。

It performs the following steps when called:

IsCallable(predicate)がfalseなら、TypeError例外をthrowする。
directionがascendingなら、
1. indicesを、0（inclusive）からlength（exclusive）までのinterval内のintegersのListで、ascending orderとする。
そうでなければ、
1. indicesを、0（inclusive）からlength（exclusive）までのinterval内のintegersのListで、descending orderとする。
indicesの各integer kについて、以下を行う
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. NOTE: objがTypedArrayである場合、以下のGetのinvocationはnormal completionを返す。
3. kValueを ? Get(obj, propertyKey) とする。
4. testResultを ? Call(predicate, thisArg, « kValue, 𝔽(k), obj ») とする。
5. ToBoolean(testResult)がtrueなら、Record { [[Index]]: 𝔽(k), [[Value]]: kValue }を返す。
Record { [[Index]]: -1_𝔽, [[Value]]: undefined }を返す。

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

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
sourceLengthを ? LengthOfArrayLike(obj) とする。
depthNumberを1とする。
depthがundefinedでないなら、
1. depthNumberを ? ToIntegerOrInfinity(depth) に設定する。
2. depthNumber < 0なら、depthNumberを0に設定する。
arrayを ? ArraySpeciesCreate(obj, 0) とする。
? FlattenIntoArray(array, obj, sourceLength, 0, depthNumber)を実行する。
arrayを返す。

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

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

Assert: mapperFuncがpresentなら、IsCallable(mapperFunc)はtrueであり、thisArgはpresentであり、depthは1である。
targetIndexをstartとする。
sourceIndexを+0_𝔽とする。
ℝ(sourceIndex) < sourceLengthの間、繰り返す
1. propertyKeyを ! ToString(sourceIndex) とする。
2. existsを ? HasProperty(source, propertyKey) とする。
3. existsがtrueなら、
  1. elementを ? Get(source, propertyKey) とする。
  2. mapperFuncがpresentなら、
    1. elementを ? Call(mapperFunc, thisArg, « element, sourceIndex, source ») に設定する。
  3. shouldFlattenをfalseとする。
  4. depth > 0なら、
    1. shouldFlattenを ? IsArray(element) に設定する。
  5. shouldFlattenがtrueなら、
    1. depth = +∞なら、newDepthを+∞とする。
    2. そうでなければ、newDepthをdepth - 1とする。
    3. elementLengthを ? LengthOfArrayLike(element) とする。
    4. targetIndexを ? FlattenIntoArray(target, element, elementLength, targetIndex, newDepth) に設定する。
  6. そうでなければ、
    1. targetIndex ≥ 2⁵³ - 1なら、TypeError例外をthrowする。
    2. ? CreateDataPropertyOrThrow(target, ! ToString(𝔽(targetIndex)), element)を実行する。
    3. targetIndexをtargetIndex + 1に設定する。
4. sourceIndexをsourceIndex + 1_𝔽に設定する。
targetIndexを返す。

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

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
sourceLengthを ? LengthOfArrayLike(obj) とする。
IsCallable(mapperFunc)がfalseなら、TypeError例外をthrowする。
arrayを ? ArraySpeciesCreate(obj, 0) とする。
? FlattenIntoArray(array, obj, sourceLength, 0, 1, mapperFunc, thisArg)を実行する。
arrayを返す。

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

Note 1

callbackはthree argumentsをacceptするfunctionであるべきです。forEachは、array内にpresentな各elementについてascending orderでcallbackをonce呼び出します。callbackは、arrayの実際にexistするelementsに対してのみ呼び出されます；arrayのmissing elementsに対しては呼び出されません。

thisArg parameterがprovidedされる場合、callbackの各invocationに対するthis valueとして使用されます。providedされない場合、代わりにundefinedが使用されます。

callbackはthree argumentsで呼び出されます：elementのvalue、elementのindex、およびtraversedされているobjectです。

forEachは、それが呼び出されたobjectをdirectlyにはmutateしませんが、objectはcallbackへのcallsによってmutateされる可能性があります。

forEachによってprocessedされるelementsのrangeは、callbackへのfirst callの前にsetされます。forEachへのcallがbeginした後にarrayへappendedされたelementsは、callbackによってvisitedされません。arrayのexisting elementsがchangedされた場合、callbackへpassedされるそのvalueは、forEachがそれらをvisitする時点のvalueになります；forEachへのcallがbeginした後、visitedされる前にdeletedされたelementsはvisitedされません。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kPresentを ? HasProperty(obj, propertyKey) とする。
3. kPresentがtrueなら、
  1. kValueを ? Get(obj, propertyKey) とする。
  2. ? Call(callback, thisArg, « kValue, 𝔽(k), obj »)を実行する。
4. kをk + 1に設定する。
undefinedを返す。

Note 2

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

Note 1

このmethodは、SameValueZero algorithmを使用してsearchElementをarrayのelementsとascending orderでcompareし、いずれかのpositionでfoundされる場合はtrueを返します；そうでなければ、falseを返します。

optional second argument fromIndexは+0_𝔽をdefaultとします（つまり、whole arrayがsearchedされます）。それがarrayのlength以上である場合、falseが返されます、つまりarrayはsearchedされません。それが-0_𝔽より小さい場合、arrayのendからのoffsetとして使用され、fromIndexをcomputeします。computed indexが+0_𝔽以下である場合、whole arrayがsearchedされます。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
length = 0なら、falseを返す。
startIndexを ? ToIntegerOrInfinity(fromIndex) とする。
Assert: fromIndexがundefinedなら、startIndexは0である。
startIndex = +∞なら、falseを返す。
startIndex = -∞なら、startIndexを0に設定する。
startIndex ≥ 0なら、
1. kをstartIndexとする。
そうでなければ、
1. kをlength + startIndexとする。
2. k < 0なら、kを0に設定する。
k < lengthの間、繰り返す
1. elementKを ? Get(obj, ! ToString(𝔽(k))) とする。
2. SameValueZero(searchElement, elementK)がtrueなら、trueを返す。
3. kをk + 1に設定する。
falseを返す。

Note 2

Note 3

このmethodは、similarなindexOf methodと意図的にtwo waysで異なります。First、それはIsStrictlyEqualではなくSameValueZero algorithmを使用するため、NaN array elementsをdetectできます。Second、それはmissing array elementsをskipせず、代わりにundefinedとして扱います。

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

このmethodは、IsStrictlyEqual algorithmを使用してsearchElementをarrayのelementsとascending orderでcompareし、one or more indicesでfoundされる場合はそのsmallest such indexを返します；そうでなければ、-1_𝔽を返します。

Note 1

optional second argument fromIndexは+0_𝔽をdefaultとします（つまり、whole arrayがsearchedされます）。それがarrayのlength以上である場合、-1_𝔽が返されます、つまりarrayはsearchedされません。それが-0_𝔽より小さい場合、arrayのendからのoffsetをcomputeするために使用されます。computed indexが+0_𝔽以下である場合、whole arrayがsearchedされます。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
length = 0なら、-1_𝔽を返す。
startIndexを ? ToIntegerOrInfinity(fromIndex) とする。
Assert: fromIndexがundefinedなら、startIndexは0である。
startIndex = +∞なら、-1_𝔽を返す。
startIndex = -∞なら、startIndexを0に設定する。
startIndex ≥ 0なら、
1. kをstartIndexとする。
そうでなければ、
1. kをlength + startIndexとする。
2. k < 0なら、kを0に設定する。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kPresentを ? HasProperty(obj, propertyKey) とする。
3. kPresentがtrueなら、
  1. elementKを ? Get(obj, propertyKey) とする。
  2. IsStrictlyEqual(searchElement, elementK)がtrueなら、𝔽(k)を返す。
4. kをk + 1に設定する。
-1_𝔽を返す。

Note 2

23.1.3.18 Array.prototype.join ( `separator` )

このmethodはarrayのelementsをStringsへconvertし、その後、separatorのoccurrencesでseparatedしてそれらのStringsをconcatenateします。separatorがprovidedされない場合、single commaがseparatorとして使用されます。

これは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
separatorがundefinedなら、sepを","とする。
そうでなければ、sepを ? ToString(separator) とする。
resultをempty Stringとする。
kを0とする。
k < lengthの間、繰り返す
1. k > 0なら、resultをresultとsepのstring-concatenationに設定する。
2. elementを ? Get(obj, ! ToString(𝔽(k))) とする。
3. elementがundefinedでもnullでもないなら、
  1. elementStringを ? ToString(element) とする。
  2. resultをresultとelementStringのstring-concatenationに設定する。
4. kをk + 1に設定する。
resultを返す。

Note

23.1.3.19 Array.prototype.keys ( )

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
CreateArrayIterator(obj, key)を返す。

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

Note 1

このmethodは、IsStrictlyEqual algorithmを使用してsearchElementをarrayのelementsとdescending orderでcompareし、one or more indicesでfoundされる場合はそのlargest such indexを返します；そうでなければ、-1_𝔽を返します。

optional second argument fromIndexはarrayのlength minus oneをdefaultとします（つまり、whole arrayがsearchedされます）。それがarrayのlength以上である場合、whole arrayがsearchedされます。それが-0_𝔽より小さい場合、arrayのendからのoffsetをcomputeするために使用されます。computed indexが-0_𝔽より小さい場合、-1_𝔽が返されます。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
length = 0なら、-1_𝔽を返す。
fromIndexがpresentなら、startIndexを ? ToIntegerOrInfinity(fromIndex) とする；そうでなければ、startIndexをlength - 1とする。
startIndex = -∞なら、-1_𝔽を返す。
startIndex ≥ 0なら、
1. kをmin(startIndex, length - 1)とする。
そうでなければ、
1. kをlength + startIndexとする。
k ≥ 0の間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kPresentを ? HasProperty(obj, propertyKey) とする。
3. kPresentがtrueなら、
  1. elementKを ? Get(obj, propertyKey) とする。
  2. IsStrictlyEqual(searchElement, elementK)がtrueなら、𝔽(k)を返す。
4. kをk - 1に設定する。
-1_𝔽を返す。

Note 2

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

Note 1

callbackはthree argumentsをacceptするfunctionであるべきです。mapは、array内の各elementについてascending orderでcallbackをonce呼び出し、そのresultsからnew Arrayをconstructします。callbackは、arrayの実際にexistするelementsに対してのみ呼び出されます；arrayのmissing elementsに対しては呼び出されません。

thisArg parameterがprovidedされる場合、callbackの各invocationに対するthis valueとして使用されます。providedされない場合、代わりにundefinedが使用されます。

callbackはthree argumentsで呼び出されます：elementのvalue、elementのindex、およびtraversedされているobjectです。

mapは、それが呼び出されたobjectをdirectlyにはmutateしませんが、objectはcallbackへのcallsによってmutateされる可能性があります。

mapによってprocessedされるelementsのrangeは、callbackへのfirst callの前にsetされます。mapへのcallがbeginした後にarrayへappendedされたelementsは、callbackによってvisitedされません。arrayのexisting elementsがchangedされた場合、callbackへpassedされるそのvalueは、mapがそれらをvisitする時点のvalueになります；mapへのcallがbeginした後、visitedされる前にdeletedされたelementsはvisitedされません。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
arrayを ? ArraySpeciesCreate(obj, length) とする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kPresentを ? HasProperty(obj, propertyKey) とする。
3. kPresentがtrueなら、
  1. kValueを ? Get(obj, propertyKey) とする。
  2. mappedValueを ? Call(callback, thisArg, « kValue, 𝔽(k), obj ») とする。
  3. ? CreateDataPropertyOrThrow(array, propertyKey, mappedValue)を実行する。
4. kをk + 1に設定する。
arrayを返す。

Note 2

23.1.3.22 Array.prototype.pop ( )

Note 1

このmethodはarrayのlast elementをremoveし、それを返します。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
length = 0なら、
1. ? Set(obj, "length", +0_𝔽, true)を実行する。
2. undefinedを返す。
Assert: length > 0である。
newLengthを𝔽(length - 1)とする。
indexを ! ToString(newLength) とする。
elementを ? Get(obj, index) とする。
? DeletePropertyOrThrow(obj, index)を実行する。
? Set(obj, "length", newLength, true)を実行する。
elementを返す。

Note 2

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

Note 1

このmethodは、argumentsを、それらがappearするorderでarrayのendへappendします。これはarrayのnew lengthを返します。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
argCountをitems内のelementsの数とする。
length + argCount > 2⁵³ - 1なら、TypeError例外をthrowする。
itemsの各要素itemについて、以下を行う
1. ? Set(obj, ! ToString(𝔽(length)), item, true)を実行する。
2. lengthをlength + 1に設定する。
? Set(obj, "length", 𝔽(length), true)を実行する。
𝔽(length)を返す。

このmethodの"length" propertyは1_𝔽です。

Note 2

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

Note 1

callbackはfour argumentsを取るfunctionであるべきです。reduceは、initialValueがprovidedされない限りfirst elementをskippingしながら、array内にpresentな各elementについてascending orderでcallbackをonce呼び出します。

callbackはfour argumentsで呼び出されます：previousValue（callbackへのprevious callからのvalue）、currentValue（current elementのvalue）、currentIndex、およびtraversedされているobjectです。callbackがfirst time呼び出されるとき、previousValueとcurrentValueはtwo valuesのいずれかになり得ます。reduceへのcallでinitialValueがsuppliedされた場合、previousValueはinitialValueになり、currentValueはarray内のfirst valueになります。initialValueがsuppliedされなかった場合、previousValueはarray内のfirst valueになり、currentValueはsecondになります。arrayがelementsを含まず、かつinitialValueがprovidedされない場合、TypeErrorです。

reduceは、それが呼び出されたobjectをdirectlyにはmutateしませんが、objectはcallbackへのcallsによってmutateされる可能性があります。

reduceによってprocessedされるelementsのrangeは、callbackへのfirst callの前にsetされます。reduceへのcallがbeginした後にarrayへappendedされたelementsは、callbackによってvisitedされません。arrayのexisting elementsがchangedされた場合、callbackへpassedされるそのvalueは、reduceがそれらをvisitする時点のvalueになります；reduceへのcallがbeginした後、visitedされる前にdeletedされたelementsはvisitedされません。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
length = 0であり、かつinitialValueがpresentでないなら、TypeError例外をthrowする。
kを0とする。
accumulatorをundefinedとする。
initialValueがpresentなら、
1. accumulatorをinitialValueに設定する。
そうでなければ、
1. kPresentをfalseとする。
2. kPresentがfalseであり、かつk < lengthである間、繰り返す
  1. propertyKeyを ! ToString(𝔽(k)) とする。
  2. kPresentを ? HasProperty(obj, propertyKey) に設定する。
  3. kPresentがtrueなら、
    1. accumulatorを ? Get(obj, propertyKey) に設定する。
  4. kをk + 1に設定する。
3. kPresentがfalseなら、TypeError例外をthrowする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kPresentを ? HasProperty(obj, propertyKey) とする。
3. kPresentがtrueなら、
  1. kValueを ? Get(obj, propertyKey) とする。
  2. accumulatorを ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), obj ») に設定する。
4. kをk + 1に設定する。
accumulatorを返す。

Note 2

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

Note 1

callbackはfour argumentsを取るfunctionであるべきです。reduceRightは、initialValueがprovidedされない限りfirst callをskippingしながら、array内にpresentな各elementについてdescending orderでcallbackをonce呼び出します。

callbackはfour argumentsで呼び出されます：previousValue（callbackへのprevious callからのvalue）、currentValue（current elementのvalue）、currentIndex、およびtraversedされているobjectです。functionがfirst time呼び出されるとき、previousValueとcurrentValueはtwo valuesのいずれかになり得ます。reduceRightへのcallでinitialValueがsuppliedされた場合、previousValueはinitialValueになり、currentValueはarray内のlast valueになります。initialValueがsuppliedされなかった場合、previousValueはarray内のlast valueになり、currentValueはsecond-to-last valueになります。arrayがelementsを含まず、かつinitialValueがprovidedされない場合、TypeErrorです。

reduceRightは、それが呼び出されたobjectをdirectlyにはmutateしませんが、objectはcallbackへのcallsによってmutateされる可能性があります。

reduceRightによってprocessedされるelementsのrangeは、callbackへのfirst callの前にsetされます。reduceRightへのcallがbeginした後にarrayへappendedされたelementsは、callbackによってvisitedされません。arrayのexisting elementsがcallbackによってchangedされた場合、callbackへpassedされるそのvalueは、reduceRightがそれらをvisitする時点のvalueになります；reduceRightへのcallがbeginした後、visitedされる前にdeletedされたelementsはvisitedされません。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
length = 0であり、かつinitialValueがpresentでないなら、TypeError例外をthrowする。
kをlength - 1とする。
accumulatorをundefinedとする。
initialValueがpresentなら、
1. accumulatorをinitialValueに設定する。
そうでなければ、
1. kPresentをfalseとする。
2. kPresentがfalseであり、かつk ≥ 0である間、繰り返す
  1. propertyKeyを ! ToString(𝔽(k)) とする。
  2. kPresentを ? HasProperty(obj, propertyKey) に設定する。
  3. kPresentがtrueなら、
    1. accumulatorを ? Get(obj, propertyKey) に設定する。
  4. kをk - 1に設定する。
3. kPresentがfalseなら、TypeError例外をthrowする。
k ≥ 0の間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kPresentを ? HasProperty(obj, propertyKey) とする。
3. kPresentがtrueなら、
  1. kValueを ? Get(obj, propertyKey) とする。
  2. accumulatorを ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), obj ») に設定する。
4. kをk - 1に設定する。
accumulatorを返す。

Note 2

23.1.3.26 Array.prototype.reverse ( )

Note 1

このmethodはarrayのelementsをrearrangeし、そのorderをreverseします。これはreversed arrayを返します。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
middleをfloor(length / 2)とする。
lowerを0とする。
lower ≠ middleの間、繰り返す
1. upperをlength - lower - 1とする。
2. upperPを ! ToString(𝔽(upper)) とする。
3. lowerPを ! ToString(𝔽(lower)) とする。
4. lowerExistsを ? HasProperty(obj, lowerP) とする。
5. lowerExistsがtrueなら、
  1. lowerValueを ? Get(obj, lowerP) とする。
6. upperExistsを ? HasProperty(obj, upperP) とする。
7. upperExistsがtrueなら、
  1. upperValueを ? Get(obj, upperP) とする。
8. lowerExistsがtrueであり、かつupperExistsがtrueなら、
  1. ? Set(obj, lowerP, upperValue, true)を実行する。
  2. ? Set(obj, upperP, lowerValue, true)を実行する。
9. そうでなく、lowerExistsがfalseであり、かつupperExistsがtrueなら、
  1. ? Set(obj, lowerP, upperValue, true)を実行する。
  2. ? DeletePropertyOrThrow(obj, upperP)を実行する。
10. そうでなく、lowerExistsがtrueであり、かつupperExistsがfalseなら、
  1. ? DeletePropertyOrThrow(obj, lowerP)を実行する。
  2. ? Set(obj, upperP, lowerValue, true)を実行する。
11. そうでなければ、
  1. Assert: lowerExistsおよびupperExistsはともにfalseである。
  2. NOTE: actionはrequiredされない。
12. lowerをlower + 1に設定する。
objを返す。

Note 2

23.1.3.27 Array.prototype.shift ( )

このmethodはarrayのfirst elementをremoveし、それを返します。

これは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
length = 0なら、
1. ? Set(obj, "length", +0_𝔽, true)を実行する。
2. undefinedを返す。
firstを ? Get(obj, "0") とする。
kを1とする。
k < lengthの間、繰り返す
1. fromを ! ToString(𝔽(k)) とする。
2. toを ! ToString(𝔽(k - 1)) とする。
3. fromPresentを ? HasProperty(obj, from) とする。
4. fromPresentがtrueなら、
  1. fromValueを ? Get(obj, from) とする。
  2. ? Set(obj, to, fromValue, true)を実行する。
5. そうでなければ、
  1. Assert: fromPresentはfalseである。
  2. ? DeletePropertyOrThrow(obj, to)を実行する。
6. kをk + 1に設定する。
? DeletePropertyOrThrow(obj, ! ToString(𝔽(length - 1)))を実行する。
? Set(obj, "length", 𝔽(length - 1), true)を実行する。
firstを返す。

Note

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

このmethodは、element startからelement endまで（ただしendを含まない）のarrayのelementsを含むarrayを返します（またはendがundefinedならarrayのendまで）。startがnegativeなら、lengthをarrayのlengthとしてlength + startとして扱われます。endがnegativeなら、lengthをarrayのlengthとしてlength + endとして扱われます。

これは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
relativeStartを ? ToIntegerOrInfinity(start) とする。
relativeStart = -∞なら、kを0とする。
そうでなく、relativeStart < 0なら、kをmax(length + relativeStart, 0)とする。
そうでなければ、kをmin(relativeStart, length)とする。
endがundefinedなら、relativeEndをlengthとする；そうでなければ、relativeEndを ? ToIntegerOrInfinity(end) とする。
relativeEnd = -∞なら、finalを0とする。
そうでなく、relativeEnd < 0なら、finalをmax(length + relativeEnd, 0)とする。
そうでなければ、finalをmin(relativeEnd, length)とする。
countをmax(final - k, 0)とする。
arrayを ? ArraySpeciesCreate(obj, count) とする。
resultIndexを0とする。
k < finalの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kPresentを ? HasProperty(obj, propertyKey) とする。
3. kPresentがtrueなら、
  1. kValueを ? Get(obj, propertyKey) とする。
  2. ? CreateDataPropertyOrThrow(array, ! ToString(𝔽(resultIndex)), kValue)を実行する。
4. kをk + 1に設定する。
5. resultIndexをresultIndex + 1に設定する。
? Set(array, "length", 𝔽(resultIndex), true)を実行する。
arrayを返す。

Note 1

step 15における"length" propertyのexplicit settingは、arrayがbuilt-in Arrayでない場合であってもlengthがcorrectであることをensureすることを意図しています。

Note 2

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

Note 1

callbackはthree argumentsをacceptし、Boolean valueへcoercibleなvalueを返すfunctionであるべきです。someは、callbackがtrueを返すoneをfindするまで、array内にpresentな各elementについてascending orderでcallbackをonce呼び出します。そのようなelementが見つかると、someはimmediately trueを返します。そうでなければ、someはfalseを返します。callbackは、arrayの実際にexistするelementsに対してのみ呼び出されます；arrayのmissing elementsに対しては呼び出されません。

thisArg parameterがprovidedされる場合、callbackの各invocationに対するthis valueとして使用されます。providedされない場合、代わりにundefinedが使用されます。

callbackはthree argumentsで呼び出されます：elementのvalue、elementのindex、およびtraversedされているobjectです。

someは、それが呼び出されたobjectをdirectlyにはmutateしませんが、objectはcallbackへのcallsによってmutateされる可能性があります。

someによってprocessedされるelementsのrangeは、callbackへのfirst callの前にsetされます。someへのcallがbeginした後にarrayへappendedされたelementsは、callbackによってvisitedされません。arrayのexisting elementsがchangedされた場合、callbackへpassedされるそのvalueは、someがそれらをvisitする時点のvalueになります；someへのcallがbeginした後、visitedされる前にdeletedされたelementsはvisitedされません。someは数学における“exists” quantifierのようにactします。特に、empty arrayについてはfalseを返します。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kPresentを ? HasProperty(obj, propertyKey) とする。
3. kPresentがtrueなら、
  1. kValueを ? Get(obj, propertyKey) とする。
  2. testResultをToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), obj »))とする。
  3. testResultがtrueなら、trueを返す。
4. kをk + 1に設定する。
falseを返す。

Note 2

23.1.3.30 Array.prototype.sort ( `comparator` )

このmethodはthis arrayのelementsをsortします。comparatorがundefinedでないなら、それはtwo arguments xおよびyをacceptし、x < yならnegative Number、x > yならpositive Number、そうでなければzeroを返すfunctionであるべきです。

これは呼び出されたとき、次のstepsを実行します：

comparatorがundefinedでなく、かつIsCallable(comparator)がfalseなら、TypeError例外をthrowする。
objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
sortCompareを、comparatorをcaptureし、calledされたときに次のstepsを実行する、parameters (x, y)を持つnew Abstract Closureとする：
1. ? CompareArrayElements(x, y, comparator)を返す。
sortedListを ? SortIndexedProperties(obj, length, sortCompare, skip-holes) とする。
itemCountをsortedList内のelementsの数とする。
jを0とする。
j < itemCountの間、繰り返す
1. ? Set(obj, ! ToString(𝔽(j)), sortedList[j], true)を実行する。
2. jをj + 1に設定する。
NOTE: step 5のSortIndexedPropertiesへのcallはskip-holesを使用する。remaining indicesは、sortからdetectedおよびexcludedされたholesの数をpreserveするためにdeletedされる。
j < lengthの間、繰り返す
1. ? DeletePropertyOrThrow(obj, ! ToString(𝔽(j)))を実行する。
2. jをj + 1に設定する。
objを返す。

Note 1

non-existent property valuesは常にundefined property valuesよりgreaterとしてcompareされ、undefinedは常にany other valueよりgreaterとしてcompareされるため（CompareArrayElementsを参照）、undefined property valuesは常にresultのendへsortされ、その後にnon-existent property valuesがfollowします。

Note 2

steps 5および6内のToString abstract operationsによってperformedされるmethod callsは、sortCompareがconsistent comparatorとしてbehaveしなくなる可能性があります。

Note 3

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

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

itemsを新しい空のListとする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. holesがskip-holesなら、
  1. kReadを ? HasProperty(obj, propertyKey) とする。
3. そうでなければ、
  1. Assert: holesはread-through-holesである。
  2. kReadをtrueとする。
4. kReadがtrueなら、
  1. kValueを ? Get(obj, propertyKey) とする。
  2. kValueをitemsへappendする。
5. kをk + 1に設定する。
implementation-defined sequence of calls to sortCompareを使用してitemsをSortする。そのようなcallのいずれかがabrupt completionを返す場合、sortCompareへのそれ以上のcallsをperformする前にstopし、そのCompletion Recordを返す。
itemsを返す。

sort orderは、上記algorithmのstep 4のcompletion後のitemsのorderingです。sortCompareがitemsのelementsに対するconsistent comparatorでない場合、sort orderはimplementation-definedです。SortIndexedPropertiesがArray.prototype.sortまたはArray.prototype.toSortedによってinvokedされる場合、comparatorがundefinedであり、かつsortCompareへのargumentとしてpassedされたany specific valueへのToStringのすべてのapplicationsがsame resultをproduceしない場合にも、sort orderはimplementation-definedです。

sort orderがimplementation-definedであるとspecifiedされていない限り、次のconditionsのすべてをsatisfyしなければなりません：

itemCountより小さいnon-negative integersのmathematical permutation πが存在し、itemCountより小さいevery non-negative integer jについて、element old[j]はnew[π(j)]とexactly the sameでなければなりません。
そして、itemCountより小さいすべてのnon-negative integers jおよびkについて、ℝ(sortCompare(old[j], old[k])) < 0なら、π(j) < π(k)です。
さらに、j < k < itemCountであるすべてのnon-negative integers jおよびkについて、ℝ(sortCompare(old[j], old[k])) = 0なら、π(j) < π(k)です；つまり、sortはstableです。

ここでnotation old[j]は、step 4がexecutedされる前のitems[j]をreferするために使用され、notation new[j]は、step 4がexecutedされた後のitems[j]をreferするために使用されます。

Abstract Closureまたはfunction comparatorは、set values内のall values a、b、およびc（possibly the same value）について以下のrequirementsのすべてが満たされる場合、valuesのset valuesに対するconsistent comparatorです：notation a <_C bはℝ(comparator(a, b)) < 0を意味します；a =_C bはℝ(comparator(a, b)) = 0を意味します；そしてa >_C bはℝ(comparator(a, b)) > 0を意味します。

comparator(a, b)をcallingすると、two argumentsとしてspecific pair of values aおよびbがgivenされたとき、常にsame value vを返します。さらに、vはNumberであり、vはNaNではありません。これは、given pair of aおよびbについて、a <_C b、a =_C b、およびa >_C bのexactly oneがtrueになることをimplyすることに注意してください。
comparator(a, b)をcallingしても、objまたはobjのprototype chain上のany objectをmodifyしません。
a =_C a（reflexivity）
a =_C bなら、b =_C a（symmetry）
a =_C bであり、かつb =_C cなら、a =_C c（transitivity of =_C）
a <_C bであり、かつb <_C cなら、a <_C c（transitivity of <_C）
a >_C bであり、かつb >_C cなら、a >_C c（transitivity of >_C）

Note

上記のconditionsは、comparatorがset valuesをequivalence classesへdivideし、これらのequivalence classesがtotally orderedであることをensureするためにnecessary and sufficientです。

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

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

xがundefinedであり、かつyがundefinedなら、+0_𝔽を返す。
xがundefinedなら、1_𝔽を返す。
yがundefinedなら、-1_𝔽を返す。
comparatorがundefinedでないなら、
1. resultを ? ToNumber(? Call(comparator, undefined, « x, y »)) とする。
2. resultがNaNなら、+0_𝔽を返す。
3. resultを返す。
xStringを ? ToString(x) とする。
yStringを ? ToString(y) とする。
xSmallerを ! IsLessThan(xString, yString, true) とする。
xSmallerがtrueなら、-1_𝔽を返す。
ySmallerを ! IsLessThan(yString, xString, true) とする。
ySmallerがtrueなら、1_𝔽を返す。
+0_𝔽を返す。

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

Note 1

このmethodはinteger index startからstartingするarrayのdeleteCount elementsをdeleteし、それらをitemsのelementsでreplaceします。これはdeleted elements（もしあれば）を含むArrayを返します。

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
relativeStartを ? ToIntegerOrInfinity(start) とする。
relativeStart = -∞なら、actualStartを0とする。
そうでなく、relativeStart < 0なら、actualStartをmax(length + relativeStart, 0)とする。
そうでなければ、actualStartをmin(relativeStart, length)とする。
itemCountをitems内のelementsの数とする。
startがpresentでないなら、
1. actualDeleteCountを0とする。
そうでなく、deleteCountがpresentでないなら、
1. actualDeleteCountをlength - actualStartとする。
そうでなければ、
1. dcを ? ToIntegerOrInfinity(deleteCount) とする。
2. actualDeleteCountをdcを0とlength - actualStartの間にclampingしたresultとする。
length + itemCount - actualDeleteCount > 2⁵³ - 1なら、TypeError例外をthrowする。
deletedArrayを ? ArraySpeciesCreate(obj, actualDeleteCount) とする。
kを0とする。
k < actualDeleteCountの間、繰り返す
1. fromを ! ToString(𝔽(actualStart + k)) とする。
2. ? HasProperty(obj, from)がtrueなら、
  1. fromValueを ? Get(obj, from) とする。
  2. ? CreateDataPropertyOrThrow(deletedArray, ! ToString(𝔽(k)), fromValue)を実行する。
3. kをk + 1に設定する。
? Set(deletedArray, "length", 𝔽(actualDeleteCount), true)を実行する。
itemCount < actualDeleteCountなら、
1. kをactualStartに設定する。
2. k < (length - actualDeleteCount)の間、繰り返す
  1. fromを ! ToString(𝔽(k + actualDeleteCount)) とする。
  2. toを ! ToString(𝔽(k + itemCount)) とする。
  3. ? HasProperty(obj, from)がtrueなら、
    1. fromValueを ? Get(obj, from) とする。
    2. ? Set(obj, to, fromValue, true)を実行する。
  4. そうでなければ、
    1. ? DeletePropertyOrThrow(obj, to)を実行する。
  5. kをk + 1に設定する。
3. kをlengthに設定する。
4. k > (length - actualDeleteCount + itemCount)の間、繰り返す
  1. ? DeletePropertyOrThrow(obj, ! ToString(𝔽(k - 1)))を実行する。
  2. kをk - 1に設定する。
そうでなく、itemCount > actualDeleteCountなら、
1. kを(length - actualDeleteCount)に設定する。
2. k > actualStartの間、繰り返す
  1. fromを ! ToString(𝔽(k + actualDeleteCount - 1)) とする。
  2. toを ! ToString(𝔽(k + itemCount - 1)) とする。
  3. ? HasProperty(obj, from)がtrueなら、
    1. fromValueを ? Get(obj, from) とする。
    2. ? Set(obj, to, fromValue, true)を実行する。
  4. そうでなければ、
    1. ? DeletePropertyOrThrow(obj, to)を実行する。
  5. kをk - 1に設定する。
kをactualStartに設定する。
itemsの各要素itemについて、以下を行う
1. ? Set(obj, ! ToString(𝔽(k)), item, true)を実行する。
2. kをk + 1に設定する。
? Set(obj, "length", 𝔽(length - actualDeleteCount + itemCount), true)を実行する。
deletedArrayを返す。

Note 2

steps 15および20における"length" propertyのexplicit settingは、objectsがbuilt-in Arraysでない場合であってもlengthsがcorrectであることをensureすることを意図しています。

Note 3

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

ECMA-402 Internationalization APIを含むECMAScript implementationは、このmethodをECMA-402 specificationで指定される通りにimplementしなければなりません。ECMAScript implementationがECMA-402 APIを含まない場合、このmethodの次のspecificationが使用されます。

Note 1

ECMA-402のfirst editionは、このmethodのreplacement specificationを含みませんでした。

このmethodのoptional parametersのmeaningsはECMA-402 specificationで定義されます；ECMA-402 supportを含まないimplementationsは、それらのparameter positionsを他の何かに使用してはなりません。

このmethodは呼び出されたとき、次のstepsを実行します：

arrayを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(array) とする。
separatorを、host environmentのcurrent localeにappropriateなimplementation-defined list-separator String value（", "など）とする。
resultをempty Stringとする。
kを0とする。
k < lengthの間、繰り返す
1. k > 0なら、resultをresultとseparatorのstring-concatenationに設定する。
2. elementを ? Get(array, ! ToString(𝔽(k))) とする。
3. elementがundefinedでもnullでもないなら、
  1. elementStringを ? ToString(? Invoke(element, "toLocaleString")) とする。
  2. resultをresultとelementStringのstring-concatenationに設定する。
4. kをk + 1に設定する。
resultを返す。

Note 2

このmethodはarrayのelementsをそれらのtoLocaleString methodsを使用してStringsへconvertし、その後、implementation-defined locale-sensitive separator StringのoccurrencesでseparatedしてそれらのStringsをconcatenateします。このmethodはtoStringにanalogousですが、host environmentのcurrent localeのconventionsに対応するlocale-sensitive resultをyieldすることを意図している点が異なります。

Note 3

23.1.3.33 Array.prototype.toReversed ( )

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
arrayを ? ArrayCreate(length) とする。
kを0とする。
k < lengthの間、繰り返す
1. fromを ! ToString(𝔽(length - k - 1)) とする。
2. propertyKeyを ! ToString(𝔽(k)) とする。
3. fromValueを ? Get(obj, from) とする。
4. ! CreateDataPropertyOrThrow(array, propertyKey, fromValue)を実行する。
5. kをk + 1に設定する。
arrayを返す。

23.1.3.34 Array.prototype.toSorted ( `comparator` )

このmethodは呼び出されたとき、次のstepsを実行します：

comparatorがundefinedでなく、かつIsCallable(comparator)がfalseなら、TypeError例外をthrowする。
objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
arrayを ? ArrayCreate(length) とする。
sortCompareを、comparatorをcaptureし、calledされたときに次のstepsを実行する、parameters (x, y)を持つnew Abstract Closureとする：
1. ? CompareArrayElements(x, y, comparator)を返す。
sortedListを ? SortIndexedProperties(obj, length, sortCompare, read-through-holes) とする。
jを0とする。
j < lengthの間、繰り返す
1. ! CreateDataPropertyOrThrow(array, ! ToString(𝔽(j)), sortedList[j])を実行する。
2. jをj + 1に設定する。
arrayを返す。

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

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
relativeStartを ? ToIntegerOrInfinity(start) とする。
relativeStart = -∞なら、actualStartを0とする。
そうでなく、relativeStart < 0なら、actualStartをmax(length + relativeStart, 0)とする。
そうでなければ、actualStartをmin(relativeStart, length)とする。
insertCountをitems内のelementsの数とする。
startがpresentでないなら、
1. actualSkipCountを0とする。
そうでなく、skipCountがpresentでないなら、
1. actualSkipCountをlength - actualStartとする。
そうでなければ、
1. scを ? ToIntegerOrInfinity(skipCount) とする。
2. actualSkipCountをscを0とlength - actualStartの間にclampingしたresultとする。
newLengthをlength + insertCount - actualSkipCountとする。
newLength > 2⁵³ - 1なら、TypeError例外をthrowする。
newArrayを ? ArrayCreate(newLength) とする。
writeIndexを0とする。
readIndexをactualStart + actualSkipCountとする。
writeIndex < actualStartの間、繰り返す
1. propertyKeyを ! ToString(𝔽(writeIndex)) とする。
2. iValueを ? Get(obj, propertyKey) とする。
3. ! CreateDataPropertyOrThrow(newArray, propertyKey, iValue)を実行する。
4. writeIndexをwriteIndex + 1に設定する。
itemsの各要素itemについて、以下を行う
1. propertyKeyを ! ToString(𝔽(writeIndex)) とする。
2. ! CreateDataPropertyOrThrow(newArray, propertyKey, item)を実行する。
3. writeIndexをwriteIndex + 1に設定する。
writeIndex < newLengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(writeIndex)) とする。
2. fromを ! ToString(𝔽(readIndex)) とする。
3. fromValueを ? Get(obj, from) とする。
4. ! CreateDataPropertyOrThrow(newArray, propertyKey, fromValue)を実行する。
5. writeIndexをwriteIndex + 1に設定する。
6. readIndexをreadIndex + 1に設定する。
newArrayを返す。

23.1.3.36 Array.prototype.toString ( )

このmethodは呼び出されたとき、次のstepsを実行します：

arrayを ? ToObject(this value) とする。
funcを ? Get(array, "join") とする。
IsCallable(func)がfalseなら、funcをintrinsic function %Object.prototype.toString%に設定する。
? Call(func, array)を返す。

Note

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

このmethodは、argumentsをarrayのstartへprependし、array内でのそれらのorderがargument list内でappearするorderとsameになるようにします。

これは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
argCountをitems内のelementsの数とする。
argCount > 0なら、
1. length + argCount > 2⁵³ - 1なら、TypeError例外をthrowする。
2. kをlengthとする。
3. k > 0の間、繰り返す
  1. fromを ! ToString(𝔽(k - 1)) とする。
  2. toを ! ToString(𝔽(k + argCount - 1)) とする。
  3. fromPresentを ? HasProperty(obj, from) とする。
  4. fromPresentがtrueなら、
    1. fromValueを ? Get(obj, from) とする。
    2. ? Set(obj, to, fromValue, true)を実行する。
  5. そうでなければ、
    1. Assert: fromPresentはfalseである。
    2. ? DeletePropertyOrThrow(obj, to)を実行する。
  6. kをk - 1に設定する。
4. jを+0_𝔽とする。
5. itemsの各要素itemについて、以下を行う
  1. ? Set(obj, ! ToString(j), item, true)を実行する。
  2. jをj + 1_𝔽に設定する。
? Set(obj, "length", 𝔽(length + argCount), true)を実行する。
𝔽(length + argCount)を返す。

このmethodの"length" propertyは1_𝔽です。

Note

23.1.3.38 Array.prototype.values ( )

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
CreateArrayIterator(obj, value)を返す。

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

このmethodは呼び出されたとき、次のstepsを実行します：

objを ? ToObject(this value) とする。
lengthを ? LengthOfArrayLike(obj) とする。
relativeIndexを ? ToIntegerOrInfinity(index) とする。
relativeIndex ≥ 0なら、actualIndexをrelativeIndexとする。
そうでなければ、actualIndexをlength + relativeIndexとする。
actualIndex ≥ lengthまたはactualIndex < 0なら、RangeError例外をthrowする。
arrayを ? ArrayCreate(length) とする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. k = actualIndexなら、fromValueをvalueとする。
3. そうでなければ、fromValueを ? Get(obj, propertyKey) とする。
4. ! CreateDataPropertyOrThrow(array, propertyKey, fromValue)を実行する。
5. kをk + 1に設定する。
arrayを返す。

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

%Symbol.iterator% propertyのinitial valueは、23.1.3.38で定義される%Array.prototype.values%です。

23.1.3.41 Array.prototype [ %Symbol.unscopables% ]

%Symbol.unscopables% data propertyのinitial valueは、次のstepsによって作成されるobjectです：

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

このpropertyはattributes { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true }を持ちます。

Note

このobjectのown property namesは、ECMAScript 2015 specificationより前にArray.prototypeのstandard propertiesとして含まれていなかったproperty namesです。これらのnamesは、binding purposesにおけるwith statementについてignoredされます。これは、outer scope内のbindingとしてこれらのnamesのいずれかを使用し、そのbindingがbinding objectがArrayであるwith statementによってshadowedされる可能性のあるexisting codeのbehaviourをpreserveするためです。

"with"がunscopableListに含まれないreasonは、それがすでにreserved wordだからです。

23.1.4 Properties of Array Instances

Array instancesはArray exotic objectsであり、そのようなobjectsに対して指定されたinternal methodsを持ちます。Array instancesはArray prototype objectからpropertiesをinheritします。

Array instancesは"length" property、およびarray index namesを持つenumerable propertiesのsetを持ちます。

23.1.4.1 length

Array instanceの"length" propertyは、そのvalueが、nameがarray indexであるすべてのconfigurable own propertyのnameより常にnumerically greaterであるdata propertyです。

"length" propertyはinitially attributes { [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false }を持ちます。

Note

"length" propertyのvalueをreducingすることには、array indexがold length valueとnew length valueの間にあるown array elementsをdeletingするside-effectがあります。しかし、non-configurable propertiesはdeleteできません。Arrayの"length" propertyを、arrayのexisting non-configurable array-indexed propertyのlargest numeric own property name以下のnumeric valueへsetしようとすると、そのlengthは、そのnon-configurable numeric own property nameよりone greaterであるnumeric valueにsetされるresultになります。10.4.2.1を参照してください。

23.1.5 Array Iterator Objects

Array Iteratorは、some specific Array instance object上のspecific iterationを表すobjectです。Array Iterator objectsにはnamed constructorは存在しません。代わりに、Array Iterator objectsはArray instance objectsのcertain methodsを呼び出すことで作成されます。

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. これは、そのようなiteratorsを返すArray methodsのためにiterator objectsを作成するために使用されます。 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 The %ArrayIteratorPrototype% Object

%ArrayIteratorPrototype% objectは：

すべてのArray Iterator objectsによってinheritedされるpropertiesを持ちます。
ordinary objectです。
valueが%Iterator.prototype%である[[Prototype]] internal slotを持ちます。
次のpropertiesを持ちます：

23.1.5.2.1 %ArrayIteratorPrototype%.next ( )

iteratorObjをthis valueとする。
iteratorObjがObjectでないなら、TypeError例外をthrowする。
iteratorObjがArray Iterator Instanceのすべてのinternal slots（23.1.5.3）を持たないなら、TypeError例外をthrowする。
arrayをiteratorObj.[[IteratedArrayLike]]とする。
arrayがundefinedなら、CreateIteratorResultObject(undefined, true)を返す。
indexをiteratorObj.[[ArrayLikeNextIndex]]とする。
kindをiteratorObj.[[ArrayLikeIterationKind]]とする。
arrayが[[TypedArrayName]] internal slotを持つなら、
1. taRecordをMakeTypedArrayWithBufferWitnessRecord(array, seq-cst)とする。
2. IsTypedArrayOutOfBounds(taRecord)がtrueなら、TypeError例外をthrowする。
3. lengthをTypedArrayLength(taRecord)とする。
そうでなければ、
1. lengthを ? LengthOfArrayLike(array) とする。
index ≥ lengthなら、
1. iteratorObj.[[IteratedArrayLike]]をundefinedに設定する。
2. CreateIteratorResultObject(undefined, true)を返す。
iteratorObj.[[ArrayLikeNextIndex]]をindex + 1に設定する。
indexNumberを𝔽(index)とする。
kindがkeyなら、
1. resultをindexNumberとする。
そうでなければ、
1. elementKeyを ! ToString(indexNumber) とする。
2. elementValueを ? Get(array, elementKey) とする。
3. kindがvalueなら、
  1. resultをelementValueとする。
4. そうでなければ、
  1. Assert: kindはkey+valueである。
  2. resultをCreateArrayFromList(« indexNumber, elementValue »)とする。
CreateIteratorResultObject(result, false)を返す。

23.1.5.2.2 %ArrayIteratorPrototype% [ %Symbol.toStringTag% ]

%Symbol.toStringTag% propertyのinitial valueはString value "Array Iterator"です。

このpropertyはattributes { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true }を持ちます。

23.1.5.3 Properties of Array Iterator Instances

Array Iterator instancesは、%ArrayIteratorPrototype% intrinsic objectからpropertiesをinheritするordinary objectsです。Array Iterator instancesは、Table 70にlistedされたinternal slotsを持ってinitiallyに作成されます。

Table 70: Internal Slots of Array Iterator Instances

Internal Slot	Type	Description
`[[IteratedArrayLike]]`	an Object or undefined	iterateされているarray-like object。
`[[ArrayLikeNextIndex]]`	a non-negative integer	このiteratorによって次にexaminedされるelementのinteger index。
`[[ArrayLikeIterationKind]]`	key+value, key, or value	iterationの各elementについて何がreturnedされるかをidentifyするvalue。

23.2 TypedArray Objects

TypedArrayは、underlying binary data buffer（25.1）のarray-like viewを提供します。TypedArray element typeは、TypedArray instanceのすべてのelementsが持つunderlying binary scalar data typeです。supported element typesのそれぞれについて、Table 71にlistedされているdistinctなTypedArray constructorがあります。Table 71内の各constructorは、corresponding distinct prototype objectを持ちます。

Table 71: The TypedArray

Constructors

Constructor Name and Intrinsic	Element Type	Element Size	Conversion Operation	Description
Int8Array %Int8Array%	int8	1	ToInt8	8-bit two's complement signed integer
Uint8Array %Uint8Array%	uint8	1	ToUint8	8-bit unsigned integer
Uint8ClampedArray %Uint8ClampedArray%	uint8clamped	1	ToUint8Clamp	8-bit unsigned integer (clamped conversion)
Int16Array %Int16Array%	int16	2	ToInt16	16-bit two's complement signed integer
Uint16Array %Uint16Array%	uint16	2	ToUint16	16-bit unsigned integer
Int32Array %Int32Array%	int32	4	ToInt32	32-bit two's complement signed integer
Uint32Array %Uint32Array%	uint32	4	ToUint32	32-bit unsigned integer
BigInt64Array %BigInt64Array%	bigint64	8	ToBigInt64	64-bit two's complement signed integer
BigUint64Array %BigUint64Array%	biguint64	8	ToBigUint64	64-bit unsigned integer
Float16Array %Float16Array%	float16	2		16-bit IEEE floating point
Float32Array %Float32Array%	float32	4		32-bit IEEE floating point
Float64Array %Float64Array%	float64	8		64-bit IEEE floating point

以下のdefinitionsでは、TypedArrayへのreferencesは、上のtableからappropriate constructor nameで置き換えられるべきです。

23.2.1 The %TypedArray% Intrinsic Object

%TypedArray% intrinsic objectは：

すべてのTypedArray constructor objectsがinheritするconstructor function objectです。
そのcorresponding prototype objectとともに、すべてのTypedArray constructorsおよびそのinstancesによってinheritedされるcommon propertiesを提供します。
global nameを持たず、global objectのpropertyとして現れません。
various TypedArray constructorsのabstract superclassとしてactします。
abstract class constructorであるため、invokedされるとerrorをthrowします。TypedArray constructorsはこれに対するsuper callをperformしません。

23.2.1.1 %TypedArray% ( )

このfunctionは呼び出されたとき、次のstepsを実行します：

TypeError例外をthrowする。

このfunctionの"length" propertyは+0_𝔽です。

23.2.2 Properties of the %TypedArray% Intrinsic Object

%TypedArray% intrinsic objectは：

valueが%Function.prototype%である[[Prototype]] internal slotを持ちます。
valueが"TypedArray"である"name" propertyを持ちます。
次のpropertiesを持ちます：

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

このmethodは呼び出されたとき、次のstepsを実行します：

ctorをthis valueとする。
IsConstructor(ctor)がfalseなら、TypeError例外をthrowする。
mapperがundefinedなら、
1. mappingをfalseとする。
そうでなければ、
1. IsCallable(mapper)がfalseなら、TypeError例外をthrowする。
2. mappingをtrueとする。
usingIteratorを ? GetMethod(source, %Symbol.iterator%) とする。
usingIteratorがundefinedでないなら、
1. valuesを ? IteratorToList(? GetIteratorFromMethod(source, usingIterator)) とする。
2. lengthをvalues内のelementsの数とする。
3. targetObjを ? TypedArrayCreateFromConstructor(ctor, « 𝔽(length) ») とする。
4. kを0とする。
5. k < lengthの間、繰り返す
  1. propertyKeyを ! ToString(𝔽(k)) とする。
  2. kValueをvaluesのfirst elementとする。
  3. valuesからfirst elementをremoveする。
  4. mappingがtrueなら、
    1. mappedValueを ? Call(mapper, thisArg, « kValue, 𝔽(k) ») とする。
  5. そうでなければ、
    1. mappedValueをkValueとする。
  6. ? Set(targetObj, propertyKey, mappedValue, true)を実行する。
  7. kをk + 1に設定する。
6. Assert: valuesは現在empty Listである。
7. targetObjを返す。
NOTE: sourceはiterable objectではないため、すでにarray-like objectであるとassumeする。
arrayLikeを ! ToObject(source) とする。
lengthを ? LengthOfArrayLike(arrayLike) とする。
targetObjを ? TypedArrayCreateFromConstructor(ctor, « 𝔽(length) ») とする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kValueを ? Get(arrayLike, propertyKey) とする。
3. mappingがtrueなら、
  1. mappedValueを ? Call(mapper, thisArg, « kValue, 𝔽(k) ») とする。
4. そうでなければ、
  1. mappedValueをkValueとする。
5. ? Set(targetObj, propertyKey, mappedValue, true)を実行する。
6. kをk + 1に設定する。
targetObjを返す。

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

このmethodは呼び出されたとき、次のstepsを実行します：

lengthをitems内のelementsの数とする。
ctorをthis valueとする。
IsConstructor(ctor)がfalseなら、TypeError例外をthrowする。
newObjを ? TypedArrayCreateFromConstructor(ctor, « 𝔽(length) ») とする。
kを0とする。
k < lengthの間、繰り返す
1. kValueをitems[k]とする。
2. propertyKeyを ! ToString(𝔽(k)) とする。
3. ? Set(newObj, propertyKey, kValue, true)を実行する。
4. kをk + 1に設定する。
newObjを返す。

23.2.2.3 %TypedArray%.prototype

%TypedArray%.prototypeのinitial valueは%TypedArray% prototype objectです。

このpropertyはattributes { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }を持ちます。

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

%TypedArray%[%Symbol.species%]は、set accessor functionがundefinedであるaccessor propertyです。そのget accessor functionは呼び出されたとき、次のstepsを実行します：

this valueを返す。

このfunctionの"name" propertyのvalueは"get [Symbol.species]"です。

Note

%TypedArray.prototype% methodsは通常、そのthis valueのconstructorを使用してderived objectを作成します。しかし、subclass constructorは、その%Symbol.species% propertyをredefiningすることにより、そのdefault behaviourをover-rideしてもよいです。

23.2.3 Properties of the %TypedArray% Prototype Object

%TypedArray% prototype objectは：

valueが%Object.prototype%である[[Prototype]] internal slotを持ちます。
%TypedArray.prototype%です。
ordinary objectです。
[[ViewedArrayBuffer]]や、TypedArray instance objectsにspecificなその他のinternal slotsを持ちません。

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

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
relativeIndexを ? ToIntegerOrInfinity(index) とする。
relativeIndex ≥ 0なら、
1. kをrelativeIndexとする。
そうでなければ、
1. kをlength + relativeIndexとする。
k < 0またはk ≥ lengthなら、undefinedを返す。
! Get(obj, ! ToString(𝔽(k)))を返す。

23.2.3.2 get %TypedArray%.prototype.buffer

%TypedArray%.prototype.bufferは、set accessor functionがundefinedであるaccessor propertyです。そのget accessor functionは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
? RequireInternalSlot(obj, [[TypedArrayName]])を実行する。
Assert: objは[[ViewedArrayBuffer]] internal slotを持つ。
bufferをobj.[[ViewedArrayBuffer]]とする。
bufferを返す。

23.2.3.3 get %TypedArray%.prototype.byteLength

%TypedArray%.prototype.byteLengthは、set accessor functionがundefinedであるaccessor propertyです。そのget accessor functionは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
? RequireInternalSlot(obj, [[TypedArrayName]])を実行する。
Assert: objは[[ViewedArrayBuffer]] internal slotを持つ。
taRecordをMakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)とする。
IsTypedArrayOutOfBounds(taRecord)がtrueなら、+0_𝔽を返す。
sizeをTypedArrayByteLength(taRecord)とする。
𝔽(size)を返す。

23.2.3.4 get %TypedArray%.prototype.byteOffset

%TypedArray%.prototype.byteOffsetは、set accessor functionがundefinedであるaccessor propertyです。そのget accessor functionは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
? RequireInternalSlot(obj, [[TypedArrayName]])を実行する。
Assert: objは[[ViewedArrayBuffer]] internal slotを持つ。
taRecordをMakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)とする。
IsTypedArrayOutOfBounds(taRecord)がtrueなら、+0_𝔽を返す。
offsetをobj.[[ByteOffset]]とする。
𝔽(offset)を返す。

23.2.3.5 %TypedArray%.prototype.constructor

%TypedArray%.prototype.constructorのinitial valueは%TypedArray%です。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.4で定義されるArray.prototype.copyWithinと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
relativeTargetを ? ToIntegerOrInfinity(target) とする。
relativeTarget = -∞なら、targetIndexを0とする。
そうでなく、relativeTarget < 0なら、targetIndexをmax(length + relativeTarget, 0)とする。
そうでなければ、targetIndexをmin(relativeTarget, length)とする。
relativeStartを ? ToIntegerOrInfinity(start) とする。
relativeStart = -∞なら、startIndexを0とする。
そうでなく、relativeStart < 0なら、startIndexをmax(length + relativeStart, 0)とする。
そうでなければ、startIndexをmin(relativeStart, length)とする。
endがundefinedなら、relativeEndをlengthとする；そうでなければ、relativeEndを ? ToIntegerOrInfinity(end) とする。
relativeEnd = -∞なら、endIndexを0とする。
そうでなく、relativeEnd < 0なら、endIndexをmax(length + relativeEnd, 0)とする。
そうでなければ、endIndexをmin(relativeEnd, length)とする。
countをmin(endIndex - startIndex, length - targetIndex)とする。
count > 0なら、
1. NOTE: copyingはsource dataのbit-level encodingをpreserveするmannerでperformedされなければならない。
2. bufferをobj.[[ViewedArrayBuffer]]とする。
3. taRecordをMakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)に設定する。
4. IsTypedArrayOutOfBounds(taRecord)がtrueなら、TypeError例外をthrowする。
5. lengthをTypedArrayLength(taRecord)に設定する。
6. NOTE: 上記stepsのside-effectsによりobjのsizeがreducedされた可能性があり、そのcaseではcopyingはlongest still-applicable prefixでproceedすべきである。
7. countをmin(count, length - startIndex, length - targetIndex)に設定する。
8. elementSizeをTypedArrayElementSize(obj)とする。
9. byteOffsetをobj.[[ByteOffset]]とする。
10. toByteIndexを(targetIndex × elementSize) + byteOffsetとする。
11. fromByteIndexを(startIndex × elementSize) + byteOffsetとする。
12. countBytesをcount × elementSizeとする。
13. fromByteIndex < toByteIndexかつtoByteIndex < fromByteIndex + countBytesなら、
  1. directionを-1とする。
  2. fromByteIndexをfromByteIndex + countBytes - 1に設定する。
  3. toByteIndexをtoByteIndex + countBytes - 1に設定する。
14. そうでなければ、
  1. directionを1とする。
15. countBytes > 0の間、繰り返す
  1. valueをGetValueFromBuffer(buffer, fromByteIndex, uint8, true, unordered)とする。
  2. SetValueInBuffer(buffer, toByteIndex, uint8, value, true, unordered)を実行する。
  3. fromByteIndexをfromByteIndex + directionに設定する。
  4. toByteIndexをtoByteIndex + directionに設定する。
  5. countBytesをcountBytes - 1に設定する。
objを返す。

23.2.3.7 %TypedArray%.prototype.entries ( )

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
? ValidateTypedArray(obj, seq-cst)を実行する。
CreateArrayIterator(obj, key+value)を返す。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.6で定義されるArray.prototype.everyと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kValueを ! Get(obj, propertyKey) とする。
3. testResultをToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), obj »))とする。
4. testResultがfalseなら、falseを返す。
5. kをk + 1に設定する。
trueを返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.7で定義されるArray.prototype.fillと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
obj.[[ContentType]]がbigintなら、valueを ? ToBigInt(value) に設定する。
そうでなければ、valueを ? ToNumber(value) に設定する。
relativeStartを ? ToIntegerOrInfinity(start) とする。
relativeStart = -∞なら、startIndexを0とする。
そうでなく、relativeStart < 0なら、startIndexをmax(length + relativeStart, 0)とする。
そうでなければ、startIndexをmin(relativeStart, length)とする。
endがundefinedなら、relativeEndをlengthとする；そうでなければ、relativeEndを ? ToIntegerOrInfinity(end) とする。
relativeEnd = -∞なら、endIndexを0とする。
そうでなく、relativeEnd < 0なら、endIndexをmax(length + relativeEnd, 0)とする。
そうでなければ、endIndexをmin(relativeEnd, length)とする。
taRecordをMakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)に設定する。
IsTypedArrayOutOfBounds(taRecord)がtrueなら、TypeError例外をthrowする。
lengthをTypedArrayLength(taRecord)に設定する。
endIndexをmin(endIndex, length)に設定する。
kをstartIndexとする。
k < endIndexの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. ! Set(obj, propertyKey, value, true)を実行する。
3. kをk + 1に設定する。
objを返す。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.8で定義されるArray.prototype.filterと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
keptを新しい空のListとする。
capturedを0とする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kValueを ! Get(obj, propertyKey) とする。
3. selectedをToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), obj »))とする。
4. selectedがtrueなら、
  1. kValueをkeptへappendする。
  2. capturedをcaptured + 1に設定する。
5. kをk + 1に設定する。
resultを ? TypedArraySpeciesCreate(obj, « 𝔽(captured) ») とする。
nを0とする。
keptの各要素elementについて、以下を行う
1. ! Set(result, ! ToString(𝔽(n)), element, true)を実行する。
2. nをn + 1に設定する。
resultを返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.9で定義されるArray.prototype.findと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
findRecordを ? FindViaPredicate(obj, length, ascending, predicate, thisArg) とする。
findRecord.[[Value]]を返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.10で定義されるArray.prototype.findIndexと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
findRecordを ? FindViaPredicate(obj, length, ascending, predicate, thisArg) とする。
findRecord.[[Index]]を返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.11で定義されるArray.prototype.findLastと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
findRecordを ? FindViaPredicate(obj, length, descending, predicate, thisArg) とする。
findRecord.[[Value]]を返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.12で定義されるArray.prototype.findLastIndexと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
findRecordを ? FindViaPredicate(obj, length, descending, predicate, thisArg) とする。
findRecord.[[Index]]を返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.15で定義されるArray.prototype.forEachと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kValueを ! Get(obj, propertyKey) とする。
3. ? Call(callback, thisArg, « kValue, 𝔽(k), obj »)を実行する。
4. kをk + 1に設定する。
undefinedを返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.16で定義されるArray.prototype.includesと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
length = 0なら、falseを返す。
nを ? ToIntegerOrInfinity(fromIndex) とする。
Assert: fromIndexがundefinedなら、nは0である。
n = +∞なら、falseを返す。
n = -∞なら、nを0に設定する。
n ≥ 0なら、
1. kをnとする。
そうでなければ、
1. kをlength + nとする。
2. k < 0なら、kを0に設定する。
k < lengthの間、繰り返す
1. elementKを ! Get(obj, ! ToString(𝔽(k))) とする。
2. SameValueZero(searchElement, elementK)がtrueなら、trueを返す。
3. kをk + 1に設定する。
falseを返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.17で定義されるArray.prototype.indexOfと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
length = 0なら、-1_𝔽を返す。
nを ? ToIntegerOrInfinity(fromIndex) とする。
Assert: fromIndexがundefinedなら、nは0である。
n = +∞なら、-1_𝔽を返す。
n = -∞なら、nを0に設定する。
n ≥ 0なら、
1. kをnとする。
そうでなければ、
1. kをlength + nとする。
2. k < 0なら、kを0に設定する。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kPresentを ! HasProperty(obj, propertyKey) とする。
3. kPresentがtrueなら、
  1. elementKを ! Get(obj, propertyKey) とする。
  2. IsStrictlyEqual(searchElement, elementK)がtrueなら、𝔽(k)を返す。
4. kをk + 1に設定する。
-1_𝔽を返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.18で定義されるArray.prototype.joinと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
separatorがundefinedなら、sepを","とする。
そうでなければ、sepを ? ToString(separator) とする。
resultをempty Stringとする。
kを0とする。
k < lengthの間、繰り返す
1. k > 0なら、resultをresultとsepのstring-concatenationに設定する。
2. elementを ! Get(obj, ! ToString(𝔽(k))) とする。
3. elementがundefinedでないなら、
  1. elementStringを ! ToString(element) とする。
  2. resultをresultとelementStringのstring-concatenationに設定する。
4. kをk + 1に設定する。
resultを返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

23.2.3.19 %TypedArray%.prototype.keys ( )

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
? ValidateTypedArray(obj, seq-cst)を実行する。
CreateArrayIterator(obj, key)を返す。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.20で定義されるArray.prototype.lastIndexOfと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
length = 0なら、-1_𝔽を返す。
fromIndexがpresentなら、nを ? ToIntegerOrInfinity(fromIndex) とする；そうでなければ、nをlength - 1とする。
n = -∞なら、-1_𝔽を返す。
n ≥ 0なら、
1. kをmin(n, length - 1)とする。
そうでなければ、
1. kをlength + nとする。
k ≥ 0の間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kPresentを ! HasProperty(obj, propertyKey) とする。
3. kPresentがtrueなら、
  1. elementKを ! Get(obj, propertyKey) とする。
  2. IsStrictlyEqual(searchElement, elementK)がtrueなら、𝔽(k)を返す。
4. kをk - 1に設定する。
-1_𝔽を返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

23.2.3.21 get %TypedArray%.prototype.length

%TypedArray%.prototype.lengthは、set accessor functionがundefinedであるaccessor propertyです。そのget accessor functionは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
? RequireInternalSlot(obj, [[TypedArrayName]])を実行する。
Assert: objは[[ViewedArrayBuffer]]および[[ArrayLength]] internal slotsを持つ。
taRecordをMakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)とする。
IsTypedArrayOutOfBounds(taRecord)がtrueなら、+0_𝔽を返す。
lengthをTypedArrayLength(taRecord)とする。
𝔽(length)を返す。

このfunctionはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.21で定義されるArray.prototype.mapと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
resultを ? TypedArraySpeciesCreate(obj, « 𝔽(length) ») とする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kValueを ! Get(obj, propertyKey) とする。
3. mappedValueを ? Call(callback, thisArg, « kValue, 𝔽(k), obj ») とする。
4. ? Set(result, propertyKey, mappedValue, true)を実行する。
5. kをk + 1に設定する。
resultを返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.24で定義されるArray.prototype.reduceと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
length = 0であり、かつinitialValueがpresentでないなら、TypeError例外をthrowする。
kを0とする。
accumulatorをundefinedとする。
initialValueがpresentなら、
1. accumulatorをinitialValueに設定する。
そうでなければ、
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. accumulatorを ! Get(obj, propertyKey) に設定する。
3. kをk + 1に設定する。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kValueを ! Get(obj, propertyKey) とする。
3. accumulatorを ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), obj ») に設定する。
4. kをk + 1に設定する。
accumulatorを返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.25で定義されるArray.prototype.reduceRightと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
length = 0であり、かつinitialValueがpresentでないなら、TypeError例外をthrowする。
kをlength - 1とする。
accumulatorをundefinedとする。
initialValueがpresentなら、
1. accumulatorをinitialValueに設定する。
そうでなければ、
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. accumulatorを ! Get(obj, propertyKey) に設定する。
3. kをk - 1に設定する。
k ≥ 0の間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kValueを ! Get(obj, propertyKey) とする。
3. accumulatorを ? Call(callback, undefined, « accumulator, kValue, 𝔽(k), obj ») に設定する。
4. kをk - 1に設定する。
accumulatorを返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

23.2.3.25 %TypedArray%.prototype.reverse ( )

このmethodのargumentsのinterpretationおよびuseは、23.1.3.26で定義されるArray.prototype.reverseと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
middleをfloor(length / 2)とする。
lowerを0とする。
lower ≠ middleの間、繰り返す
1. upperをlength - lower - 1とする。
2. upperPを ! ToString(𝔽(upper)) とする。
3. lowerPを ! ToString(𝔽(lower)) とする。
4. lowerValueを ! Get(obj, lowerP) とする。
5. upperValueを ! Get(obj, upperP) とする。
6. ! Set(obj, lowerP, upperValue, true)を実行する。
7. ! Set(obj, upperP, lowerValue, true)を実行する。
8. lowerをlower + 1に設定する。
objを返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodは、このTypedArray内のmultiple valuesをsetし、sourceからvaluesを読み取ります。detailsはsourceのtypeに基づいて異なります。optional offset valueは、valuesがwrittenされるこのTypedArray内のfirst element indexを示します。omittedされる場合、0であるとassumedされます。

これは呼び出されたとき、次のstepsを実行します：

targetをthis valueとする。
? RequireInternalSlot(target, [[TypedArrayName]])を実行する。
Assert: targetは[[ViewedArrayBuffer]] internal slotを持つ。
targetOffsetを ? ToIntegerOrInfinity(offset) とする。
targetOffset < 0なら、RangeError例外をthrowする。
sourceが[[TypedArrayName]] internal slotを持つObjectなら、
1. ? SetTypedArrayFromTypedArray(target, targetOffset, source)を実行する。
そうでなければ、
1. ? SetTypedArrayFromArrayLike(target, targetOffset, source)を実行する。
undefinedを返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

The abstract operation SetTypedArrayFromArrayLike takes arguments target (a TypedArray), targetOffset (a non-negative integer or +∞), and source (an ECMAScript language value, but not a TypedArray) and returns either a normal completion containing unused or a throw completion. これは、target内でindex targetOffsetからstartingして、sourceからvaluesを読み取ってmultiple valuesをsetします。 It performs the following steps when called:

targetRecordをMakeTypedArrayWithBufferWitnessRecord(target, seq-cst)とする。
IsTypedArrayOutOfBounds(targetRecord)がtrueなら、TypeError例外をthrowする。
targetLengthをTypedArrayLength(targetRecord)とする。
sourceを ? ToObject(source) に設定する。
sourceLengthを ? LengthOfArrayLike(source) とする。
targetOffset = +∞なら、RangeError例外をthrowする。
sourceLength + targetOffset > targetLengthなら、RangeError例外をthrowする。
kを0とする。
k < sourceLengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. valueを ? Get(source, propertyKey) とする。
3. targetIndexを𝔽(targetOffset + k)とする。
4. ? TypedArraySetElement(target, targetIndex, value)を実行する。
5. kをk + 1に設定する。
unusedを返す。

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

The abstract operation SetTypedArrayFromTypedArray takes arguments target (a TypedArray), targetOffset (a non-negative integer or +∞), and source (a TypedArray) and returns either a normal completion containing unused or a throw completion. これは、target内でindex targetOffsetからstartingして、sourceからvaluesを読み取ってmultiple valuesをsetします。 It performs the following steps when called:

targetBufferをtarget.[[ViewedArrayBuffer]]とする。
targetRecordをMakeTypedArrayWithBufferWitnessRecord(target, seq-cst)とする。
IsTypedArrayOutOfBounds(targetRecord)がtrueなら、TypeError例外をthrowする。
targetLengthをTypedArrayLength(targetRecord)とする。
sourceBufferをsource.[[ViewedArrayBuffer]]とする。
sourceRecordをMakeTypedArrayWithBufferWitnessRecord(source, seq-cst)とする。
IsTypedArrayOutOfBounds(sourceRecord)がtrueなら、TypeError例外をthrowする。
sourceLengthをTypedArrayLength(sourceRecord)とする。
targetTypeをTypedArrayElementType(target)とする。
targetElementSizeをTypedArrayElementSize(target)とする。
targetByteOffsetをtarget.[[ByteOffset]]とする。
sourceTypeをTypedArrayElementType(source)とする。
sourceElementSizeをTypedArrayElementSize(source)とする。
sourceByteOffsetをsource.[[ByteOffset]]とする。
targetOffset = +∞なら、RangeError例外をthrowする。
sourceLength + targetOffset > targetLengthなら、RangeError例外をthrowする。
target.[[ContentType]]がsource.[[ContentType]]でないなら、TypeError例外をthrowする。
IsSharedArrayBuffer(sourceBuffer)がtrueであり、IsSharedArrayBuffer(targetBuffer)がtrueであり、かつsourceBuffer.[[ArrayBufferData]]がtargetBuffer.[[ArrayBufferData]]であるなら、sameSharedArrayBufferをtrueとする；そうでなければ、sameSharedArrayBufferをfalseとする。
SameValue(sourceBuffer, targetBuffer)がtrueまたはsameSharedArrayBufferがtrueなら、
1. sourceByteLengthをTypedArrayByteLength(sourceRecord)とする。
2. sourceBufferを ? CloneArrayBuffer(sourceBuffer, sourceByteOffset, sourceByteLength) に設定する。
3. sourceByteIndexを0とする。
そうでなければ、
1. sourceByteIndexをsourceByteOffsetとする。
targetByteIndexを(targetOffset × targetElementSize) + targetByteOffsetとする。
limitをtargetByteIndex + (targetElementSize × sourceLength)とする。
sourceTypeがtargetTypeなら、
1. NOTE: transferはsource dataのbit-level encodingをpreserveするmannerでperformedされなければならない。
2. targetByteIndex < limitの間、繰り返す
  1. valueをGetValueFromBuffer(sourceBuffer, sourceByteIndex, uint8, true, unordered)とする。
  2. SetValueInBuffer(targetBuffer, targetByteIndex, uint8, value, true, unordered)を実行する。
  3. sourceByteIndexをsourceByteIndex + 1に設定する。
  4. targetByteIndexをtargetByteIndex + 1に設定する。
そうでなければ、
1. targetByteIndex < limitの間、繰り返す
  1. valueをGetValueFromBuffer(sourceBuffer, sourceByteIndex, sourceType, true, unordered)とする。
  2. SetValueInBuffer(targetBuffer, targetByteIndex, targetType, value, true, unordered)を実行する。
  3. sourceByteIndexをsourceByteIndex + sourceElementSizeに設定する。
  4. targetByteIndexをtargetByteIndex + targetElementSizeに設定する。
unusedを返す。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.28で定義されるArray.prototype.sliceと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
sourceArrayLengthをTypedArrayLength(taRecord)とする。
relativeStartを ? ToIntegerOrInfinity(start) とする。
relativeStart = -∞なら、startIndexを0とする。
そうでなく、relativeStart < 0なら、startIndexをmax(sourceArrayLength + relativeStart, 0)とする。
そうでなければ、startIndexをmin(relativeStart, sourceArrayLength)とする。
endがundefinedなら、relativeEndをsourceArrayLengthとする；そうでなければ、relativeEndを ? ToIntegerOrInfinity(end) とする。
relativeEnd = -∞なら、endIndexを0とする。
そうでなく、relativeEnd < 0なら、endIndexをmax(sourceArrayLength + relativeEnd, 0)とする。
そうでなければ、endIndexをmin(relativeEnd, sourceArrayLength)とする。
countBytesをmax(endIndex - startIndex, 0)とする。
resultArrayを ? TypedArraySpeciesCreate(obj, « 𝔽(countBytes) ») とする。
countBytes > 0なら、
1. taRecordをMakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)に設定する。
2. IsTypedArrayOutOfBounds(taRecord)がtrueなら、TypeError例外をthrowする。
3. endIndexをmin(endIndex, TypedArrayLength(taRecord))に設定する。
4. countBytesをmax(endIndex - startIndex, 0)に設定する。
5. sourceTypeをTypedArrayElementType(obj)とする。
6. targetTypeをTypedArrayElementType(resultArray)とする。
7. sourceTypeがtargetTypeなら、
  1. NOTE: transferはsource dataのbit-level encodingをpreserveするmannerでperformedされなければならない。
  2. sourceBufferをobj.[[ViewedArrayBuffer]]とする。
  3. targetBufferをresultArray.[[ViewedArrayBuffer]]とする。
  4. elementSizeをTypedArrayElementSize(obj)とする。
  5. sourceByteOffsetをobj.[[ByteOffset]]とする。
  6. sourceByteIndexを(startIndex × elementSize) + sourceByteOffsetとする。
  7. targetByteIndexをresultArray.[[ByteOffset]]とする。
  8. endByteIndexをtargetByteIndex + (countBytes × elementSize)とする。
  9. targetByteIndex < endByteIndexの間、繰り返す
    1. valueをGetValueFromBuffer(sourceBuffer, sourceByteIndex, uint8, true, unordered)とする。
    2. SetValueInBuffer(targetBuffer, targetByteIndex, uint8, value, true, unordered)を実行する。
    3. sourceByteIndexをsourceByteIndex + 1に設定する。
    4. targetByteIndexをtargetByteIndex + 1に設定する。
8. そうでなければ、
  1. nを0とする。
  2. kをstartIndexとする。
  3. k < endIndexの間、繰り返す
    1. propertyKeyを ! ToString(𝔽(k)) とする。
    2. kValueを ! Get(obj, propertyKey) とする。
    3. ! Set(resultArray, ! ToString(𝔽(n)), kValue, true)を実行する。
    4. kをk + 1に設定する。
    5. nをn + 1に設定する。
resultArrayを返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

このmethodのargumentsのinterpretationおよびuseは、23.1.3.29で定義されるArray.prototype.someと同じです。

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
IsCallable(callback)がfalseなら、TypeError例外をthrowする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kValueを ! Get(obj, propertyKey) とする。
3. testResultをToBoolean(? Call(callback, thisArg, « kValue, 𝔽(k), obj »))とする。
4. testResultがtrueなら、trueを返す。
5. kをk + 1に設定する。
falseを返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

これはdistinct methodであり、以下でdescribedされる点を除き、23.1.3.30で定義されるArray.prototype.sortのrequirementsとsame requirementsをimplementします。このmethodのimplementationは、this valueがfixed lengthを持ち、そのinteger-indexed propertiesがsparseでないobjectであるというknowledgeを用いてoptimizedされてもよいです。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

これは呼び出されたとき、次のstepsを実行します：

comparatorがundefinedでなく、かつIsCallable(comparator)がfalseなら、TypeError例外をthrowする。
objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
NOTE: 以下のclosureは、23.1.3.30で使用されるstring comparisonではなくnumeric comparisonをperformする。
sortCompareを、comparatorをcaptureし、calledされたときに次のstepsを実行する、parameters (x, y)を持つnew Abstract Closureとする：
1. ? CompareTypedArrayElements(x, y, comparator)を返す。
sortedListを ? SortIndexedProperties(obj, length, sortCompare, read-through-holes) とする。
jを0とする。
j < lengthの間、繰り返す
1. ! Set(obj, ! ToString(𝔽(j)), sortedList[j], true)を実行する。
2. jをj + 1に設定する。
objを返す。

Note

NaNは常にany other valueよりgreaterとしてcompareされるため（CompareTypedArrayElementsを参照）、comparatorがprovidedされない場合、NaN property valuesは常にresultのendへsortされます。

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

このmethodは、element typeがこのTypedArrayのelement typeであり、ArrayBufferがこのTypedArrayのArrayBufferであるnew TypedArrayを返し、start（inclusive）からend（exclusive）までのinterval内のelementsをreferします。startまたはendのいずれかがnegativeである場合、beginningからではなく、arrayのendからのindexをreferします。

これは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
? RequireInternalSlot(obj, [[TypedArrayName]])を実行する。
Assert: objは[[ViewedArrayBuffer]] internal slotを持つ。
bufferをobj.[[ViewedArrayBuffer]]とする。
sourceRecordをMakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)とする。
IsTypedArrayOutOfBounds(sourceRecord)がtrueなら、
1. sourceLengthを0とする。
そうでなければ、
1. sourceLengthをTypedArrayLength(sourceRecord)とする。
relativeStartを ? ToIntegerOrInfinity(start) とする。
relativeStart = -∞なら、startIndexを0とする。
そうでなく、relativeStart < 0なら、startIndexをmax(sourceLength + relativeStart, 0)とする。
そうでなければ、startIndexをmin(relativeStart, sourceLength)とする。
elementSizeをTypedArrayElementSize(obj)とする。
sourceByteOffsetをobj.[[ByteOffset]]とする。
beginByteOffsetをsourceByteOffset + (startIndex × elementSize)とする。
obj.[[ArrayLength]]がautoであり、かつendがundefinedなら、
1. argListを« buffer, 𝔽(beginByteOffset) »とする。
そうでなければ、
1. endがundefinedなら、relativeEndをsourceLengthとする；そうでなければ、relativeEndを ? ToIntegerOrInfinity(end) とする。
2. relativeEnd = -∞なら、endIndexを0とする。
3. そうでなく、relativeEnd < 0なら、endIndexをmax(sourceLength + relativeEnd, 0)とする。
4. そうでなければ、endIndexをmin(relativeEnd, sourceLength)とする。
5. newLengthをmax(endIndex - startIndex, 0)とする。
6. argListを« buffer, 𝔽(beginByteOffset), 𝔽(newLength) »とする。
? TypedArraySpeciesCreate(obj, argList)を返す。

このmethodはgenericではありません。this valueは[[TypedArrayName]] internal slotを持つobjectでなければなりません。

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

これはdistinct methodであり、23.1.3.32で定義されるArray.prototype.toLocaleStringとsame algorithmをimplementします。ただし、"length"の[[Get]]をperformする代わりにTypedArrayLengthがcalledされます。このalgorithmのimplementationは、underlying bufferがresizableでない場合にthis valueがfixed lengthを持ち、そのinteger-indexed propertiesがsparseでないというknowledgeを用いてoptimizedされてもよいです。しかし、そのようなoptimizationは、algorithmのspecified behaviourにobservable changesを導入してはなりません。

このmethodはgenericではありません。ValidateTypedArrayは、algorithmをevaluatingする前に、this valueおよびseq-cstをargumentsとして呼び出されます。そのresultがabrupt completionである場合、algorithmをevaluatingする代わりにそのexceptionがthrowされます。

Note

ECMAScript implementationがECMA-402 Internationalization APIを含む場合、このmethodはECMA-402 specification内のArray.prototype.toLocaleStringのalgorithmに基づきます。

23.2.3.32 %TypedArray%.prototype.toReversed ( )

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
resultArrayを ? TypedArrayCreateSameType(obj, length) とする。
kを0とする。
k < lengthの間、繰り返す
1. fromを ! ToString(𝔽(length - k - 1)) とする。
2. propertyKeyを ! ToString(𝔽(k)) とする。
3. fromValueを ! Get(obj, from) とする。
4. ! Set(resultArray, propertyKey, fromValue, true)を実行する。
5. kをk + 1に設定する。
resultArrayを返す。

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

このmethodは呼び出されたとき、次のstepsを実行します：

comparatorがundefinedでなく、かつIsCallable(comparator)がfalseなら、TypeError例外をthrowする。
objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
resultArrayを ? TypedArrayCreateSameType(obj, length) とする。
NOTE: 以下のclosureは、23.1.3.34で使用されるstring comparisonではなくnumeric comparisonをperformする。
sortCompareを、comparatorをcaptureし、calledされたときに次のstepsを実行する、parameters (x, y)を持つnew Abstract Closureとする：
1. ? CompareTypedArrayElements(x, y, comparator)を返す。
sortedListを ? SortIndexedProperties(obj, length, sortCompare, read-through-holes) とする。
jを0とする。
j < lengthの間、繰り返す
1. ! Set(resultArray, ! ToString(𝔽(j)), sortedList[j], true)を実行する。
2. jをj + 1に設定する。
resultArrayを返す。

23.2.3.34 %TypedArray%.prototype.toString ( )

"toString" propertyのinitial valueは、23.1.3.36で定義される%Array.prototype.toString%です。

23.2.3.35 %TypedArray%.prototype.values ( )

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
? ValidateTypedArray(obj, seq-cst)を実行する。
CreateArrayIterator(obj, value)を返す。

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

このmethodは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
taRecordを ? ValidateTypedArray(obj, seq-cst) とする。
lengthをTypedArrayLength(taRecord)とする。
relativeIndexを ? ToIntegerOrInfinity(index) とする。
relativeIndex ≥ 0なら、actualIndexをrelativeIndexとする。
そうでなければ、actualIndexをlength + relativeIndexとする。
obj.[[ContentType]]がbigintなら、numericValueを ? ToBigInt(value) とする。
そうでなければ、numericValueを ? ToNumber(value) とする。
IsValidIntegerIndex(obj, 𝔽(actualIndex))がfalseなら、RangeError例外をthrowする。
resultArrayを ? TypedArrayCreateSameType(obj, length) とする。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. k = actualIndexなら、fromValueをnumericValueとする。
3. そうでなければ、fromValueを ! Get(obj, propertyKey) とする。
4. ! Set(resultArray, propertyKey, fromValue, true)を実行する。
5. kをk + 1に設定する。
resultArrayを返す。

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

%Symbol.iterator% propertyのinitial valueは、23.2.3.35で定義される%TypedArray.prototype.values%です。

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

%TypedArray%.prototype[%Symbol.toStringTag%]は、set accessor functionがundefinedであるaccessor propertyです。そのget accessor functionは呼び出されたとき、次のstepsを実行します：

objをthis valueとする。
objがObjectでないなら、undefinedを返す。
objが[[TypedArrayName]] internal slotを持たないなら、undefinedを返す。
nameをobj.[[TypedArrayName]]とする。
Assert: nameはStringである。
nameを返す。

このpropertyはattributes { [[Enumerable]]: false, [[Configurable]]: true }を持ちます。

このfunctionの"name" propertyのinitial valueは"get [Symbol.toStringTag]"です。

23.2.4 Abstract Operations for TypedArray Objects

23.2.4.1 TypedArrayCreateFromConstructor ( `ctor`, `argList` )

The abstract operation TypedArrayCreateFromConstructor takes arguments ctor (a constructor) and argList (a List of ECMAScript language values) and returns either a normal completion containing a TypedArray or a throw completion. これは、constructor functionを使用したnew TypedArrayのcreationをspecifyするために使用されます。 It performs the following steps when called:

taを ? Construct(ctor, argList) とする。
taRecordを ? ValidateTypedArray(ta, seq-cst) とする。
Assert: taはProperties of TypedArray Instancesでmentionedされるすべてのinternal slotsを持つ。
argList内のelementsの数が1であり、かつargList[0]がNumberなら、
1. IsTypedArrayOutOfBounds(taRecord)がtrueなら、TypeError例外をthrowする。
2. lengthをTypedArrayLength(taRecord)とする。
3. length < ℝ(argList[0])なら、TypeError例外をthrowする。
taを返す。

23.2.4.2 TypedArrayCreateSameType ( `exemplar`, `length` )

The abstract operation TypedArrayCreateSameType takes arguments exemplar (a TypedArray) and length (a non-negative integer) and returns either a normal completion containing a TypedArray or a throw completion. これは、exemplarからderivedされたconstructor functionを使用したnew TypedArrayのcreationをspecifyするために使用されます。%Symbol.species%のuseを通じてcustom TypedArray subclassesをconstructできるTypedArraySpeciesCreateとは異なり、このoperationは常にbuilt-in TypedArray constructorsのoneを使用します。 It performs the following steps when called:

ctorを、Table 71内のconstructor name exemplar.[[TypedArrayName]]にassociatedするintrinsic objectとする。
resultを ? TypedArrayCreateFromConstructor(ctor, « 𝔽(length) ») とする。
Assert: resultは[[TypedArrayName]]および[[ContentType]] internal slotsを持つ。
Assert: result.[[ContentType]]はexemplar.[[ContentType]]である。
resultを返す。

23.2.4.3 TypedArraySpeciesCreate ( `exemplar`, `argList` )

The abstract operation TypedArraySpeciesCreate takes arguments exemplar (a TypedArray) and argList (a List of ECMAScript language values) and returns either a normal completion containing a TypedArray or a throw completion. これは、exemplarからderivedされたconstructor functionを使用したnew TypedArrayのcreationをspecifyするために使用されます。%Symbol.species%のuseを通じてnon-Array objectsをcreateできるArraySpeciesCreateとは異なり、このoperationはconstructor functionがactual TypedArrayをcreateすることをenforceします。 It performs the following steps when called:

defaultCtorを、Table 71内のconstructor name exemplar.[[TypedArrayName]]にassociatedするintrinsic objectとする。
ctorを ? SpeciesConstructor(exemplar, defaultCtor) とする。
resultを ? TypedArrayCreateFromConstructor(ctor, argList) とする。
result.[[ContentType]]がexemplar.[[ContentType]]でないなら、TypeError例外をthrowする。
resultを返す。

23.2.4.4 ValidateTypedArray ( `obj`, `order` )

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

? RequireInternalSlot(obj, [[TypedArrayName]])を実行する。
Assert: objは[[ViewedArrayBuffer]] internal slotを持つ。
taRecordをMakeTypedArrayWithBufferWitnessRecord(obj, order)とする。
IsTypedArrayOutOfBounds(taRecord)がtrueなら、TypeError例外をthrowする。
taRecordを返す。

23.2.4.5 TypedArrayElementSize ( `obj` )

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

obj.[[TypedArrayName]]についてTable 71でspecifiedされるElement Size valueを返す。

23.2.4.6 TypedArrayElementType ( `obj` )

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

obj.[[TypedArrayName]]についてTable 71でspecifiedされるElement Type valueを返す。

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

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

Assert: xはNumberでありyはNumberである、またはxはBigIntでありyはBigIntである。
comparatorがundefinedでないなら、
1. resultを ? ToNumber(? Call(comparator, undefined, « x, y »)) とする。
2. resultがNaNなら、+0_𝔽を返す。
3. resultを返す。
xがNaNであり、かつyがNaNなら、+0_𝔽を返す。
xがNaNなら、1_𝔽を返す。
yがNaNなら、-1_𝔽を返す。
x < yなら、-1_𝔽を返す。
x > yなら、1_𝔽を返す。
xが-0_𝔽であり、かつyが+0_𝔽なら、-1_𝔽を返す。
xが+0_𝔽であり、かつyが-0_𝔽なら、1_𝔽を返す。
+0_𝔽を返す。

Note

これは、23.1.3.30.2で使用されるstring comparisonではなくnumeric comparisonをperformします。

23.2.5 The `TypedArray` Constructors

各TypedArray constructorは：

otherwise notedされる場合を除き、Table 71内で、TypedArrayの代わりにconstructor nameとして使用されるnameのみが異なる、以下でdescribedされるstructureを持つintrinsic objectです。
argumentsの数およびtypesに基づいてbehaviourが異なるfunctionです。TypedArrayのcallのactual behaviourは、それにpassedされるargumentsのnumberおよびkindに依存します。
functionとして呼び出されることを意図しておらず、そのようなmannerで呼び出されるとexceptionをthrowします。
クラス定義の extends 句の値として使用できる。指定された TypedArray の動作を継承しようとするサブクラスコンストラクターは、%TypedArray%.prototype の組み込みメソッドをサポートするために必要な内部状態でサブクラスインスタンスを作成し初期化するため、TypedArray コンストラクターへの super 呼び出しを含めなければならない。

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

各TypedArray constructorは呼び出されたとき、次のstepsを実行します：

NewTargetがundefinedなら、TypeError例外をthrowする。
ctorNameを、this TypedArray constructorについてTable 71でspecifiedされるConstructor Name valueのString valueとする。
protoを"%TypedArray.prototype%"とする。
numberOfArgsをargs内のelementsの数とする。
numberOfArgs = 0なら、? AllocateTypedArray(ctorName, NewTarget, proto, 0)を返す。
firstArgをargs[0]とする。
firstArgがObjectなら、
1. objを ? AllocateTypedArray(ctorName, NewTarget, proto) とする。
2. firstArgが[[TypedArrayName]] internal slotを持つなら、
  1. ? InitializeTypedArrayFromTypedArray(obj, firstArg)を実行する。
3. そうでなく、firstArgが[[ArrayBufferData]] internal slotを持つなら、
  1. numberOfArgs > 1なら、byteOffsetをargs[1]とする；そうでなければ、byteOffsetをundefinedとする。
  2. numberOfArgs > 2なら、lengthをargs[2]とする；そうでなければ、lengthをundefinedとする。
  3. ? InitializeTypedArrayFromArrayBuffer(obj, firstArg, byteOffset, length)を実行する。
4. そうでなければ、
  1. Assert: firstArgはObjectであり、firstArgは[[TypedArrayName]]および[[ArrayBufferData]] internal slotのいずれも持たない。
  2. usingIteratorを ? GetMethod(firstArg, %Symbol.iterator%) とする。
  3. usingIteratorがundefinedでないなら、
    1. valuesを ? IteratorToList(? GetIteratorFromMethod(firstArg, usingIterator)) とする。
    2. ? InitializeTypedArrayFromList(obj, values)を実行する。
  4. そうでなければ、
    1. NOTE: firstArgはiterable objectではないため、すでにarray-like objectであるとassumeする。
    2. ? InitializeTypedArrayFromArrayLike(obj, firstArg)を実行する。
5. objを返す。
Assert: firstArgはObjectではない。
elementLengthを ? ToIndex(firstArg) とする。
? AllocateTypedArray(ctorName, NewTarget, proto, elementLength)を返す。

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

The abstract operation AllocateTypedArray takes arguments ctorName (a String which is the name of a TypedArray constructor in Table 71), newTarget (a constructor), and defaultProto (a String) and optional argument length (a non-negative integer) and returns either a normal completion containing a TypedArray or a throw completion. これは、TypedArray constructorのinstanceをvalidateおよびcreateするために使用されます。length argumentがpassedされる場合、そのlengthのArrayBufferもallocatedされ、new TypedArray instanceにassociatedされます。AllocateTypedArrayはTypedArrayによって使用されるcommon semanticsを提供します。 It performs the following steps when called:

protoを ? GetPrototypeFromConstructor(newTarget, defaultProto) とする。
objをTypedArrayCreate(proto)とする。
Assert: obj.[[ViewedArrayBuffer]]はundefinedである。
obj.[[TypedArrayName]]をctorNameに設定する。
ctorNameが"BigInt64Array"または"BigUint64Array"のいずれかなら、obj.[[ContentType]]をbigintに設定する。
そうでなければ、obj.[[ContentType]]をnumberに設定する。
lengthがpresentでないなら、
1. obj.[[ByteLength]]を0に設定する。
2. obj.[[ByteOffset]]を0に設定する。
3. obj.[[ArrayLength]]を0に設定する。
そうでなければ、
1. ? AllocateTypedArrayBuffer(obj, length)を実行する。
objを返す。

23.2.5.1.2 InitializeTypedArrayFromTypedArray ( `obj`, `sourceArray` )

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

sourceDataをsourceArray.[[ViewedArrayBuffer]]とする。
elementTypeをTypedArrayElementType(obj)とする。
elementSizeをTypedArrayElementSize(obj)とする。
sourceTypeをTypedArrayElementType(sourceArray)とする。
sourceElementSizeをTypedArrayElementSize(sourceArray)とする。
sourceByteOffsetをsourceArray.[[ByteOffset]]とする。
sourceRecordをMakeTypedArrayWithBufferWitnessRecord(sourceArray, seq-cst)とする。
IsTypedArrayOutOfBounds(sourceRecord)がtrueなら、TypeError例外をthrowする。
elementLengthをTypedArrayLength(sourceRecord)とする。
byteLengthをelementSize × elementLengthとする。
elementTypeがsourceTypeなら、
1. dataを ? CloneArrayBuffer(sourceData, sourceByteOffset, byteLength) とする。
そうでなければ、
1. dataを ? AllocateArrayBuffer(%ArrayBuffer%, byteLength) とする。
2. sourceArray.[[ContentType]]がobj.[[ContentType]]でないなら、TypeError例外をthrowする。
3. sourceByteIndexをsourceByteOffsetとする。
4. targetByteIndexを0とする。
5. countをelementLengthとする。
6. count > 0の間、繰り返す
  1. valueをGetValueFromBuffer(sourceData, sourceByteIndex, sourceType, true, unordered)とする。
  2. SetValueInBuffer(data, targetByteIndex, elementType, value, true, unordered)を実行する。
  3. sourceByteIndexをsourceByteIndex + sourceElementSizeに設定する。
  4. targetByteIndexをtargetByteIndex + elementSizeに設定する。
  5. countをcount - 1に設定する。
obj.[[ViewedArrayBuffer]]をdataに設定する。
obj.[[ByteLength]]をbyteLengthに設定する。
obj.[[ByteOffset]]を0に設定する。
obj.[[ArrayLength]]をelementLengthに設定する。
unusedを返す。

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

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

elementSizeをTypedArrayElementSize(obj)とする。
offsetを ? ToIndex(byteOffset) とする。
offset modulo elementSize ≠ 0なら、RangeError例外をthrowする。
bufferIsFixedLengthをIsFixedLengthArrayBuffer(buffer)とする。
lengthがundefinedでないなら、
1. newLengthを ? ToIndex(length) とする。
IsDetachedBuffer(buffer)がtrueなら、TypeError例外をthrowする。
bufferByteLengthをArrayBufferByteLength(buffer, seq-cst)とする。
lengthがundefinedであり、かつbufferIsFixedLengthがfalseなら、
1. offset > bufferByteLengthなら、RangeError例外をthrowする。
2. obj.[[ByteLength]]をautoに設定する。
3. obj.[[ArrayLength]]をautoに設定する。
そうでなければ、
1. lengthがundefinedなら、
  1. bufferByteLength modulo elementSize ≠ 0なら、RangeError例外をthrowする。
  2. newByteLengthをbufferByteLength - offsetとする。
  3. newByteLength < 0なら、RangeError例外をthrowする。
2. そうでなければ、
  1. newByteLengthをnewLength × elementSizeとする。
  2. offset + newByteLength > bufferByteLengthなら、RangeError例外をthrowする。
3. obj.[[ByteLength]]をnewByteLengthに設定する。
4. obj.[[ArrayLength]]をnewByteLength / elementSizeに設定する。
obj.[[ViewedArrayBuffer]]をbufferに設定する。
obj.[[ByteOffset]]をoffsetに設定する。
unusedを返す。

23.2.5.1.4 InitializeTypedArrayFromList ( `obj`, `values` )

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

lengthをvalues内のelementsの数とする。
? AllocateTypedArrayBuffer(obj, length)を実行する。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kValueをvaluesのfirst elementとする。
3. valuesからfirst elementをremoveする。
4. ? Set(obj, propertyKey, kValue, true)を実行する。
5. kをk + 1に設定する。
Assert: valuesは現在empty Listである。
unusedを返す。

23.2.5.1.5 InitializeTypedArrayFromArrayLike ( `obj`, `arrayLike` )

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

lengthを ? LengthOfArrayLike(arrayLike) とする。
? AllocateTypedArrayBuffer(obj, length)を実行する。
kを0とする。
k < lengthの間、繰り返す
1. propertyKeyを ! ToString(𝔽(k)) とする。
2. kValueを ? Get(arrayLike, propertyKey) とする。
3. ? Set(obj, propertyKey, kValue, true)を実行する。
4. kをk + 1に設定する。
unusedを返す。

23.2.5.1.6 AllocateTypedArrayBuffer ( `obj`, `length` )

The abstract operation AllocateTypedArrayBuffer takes arguments obj (a TypedArray) and length (a non-negative integer) and returns either a normal completion containing unused or a throw completion. これはArrayBufferをallocateし、それをobjにassociateします。 It performs the following steps when called:

Assert: obj.[[ViewedArrayBuffer]]はundefinedである。
elementSizeをTypedArrayElementSize(obj)とする。
byteLengthをelementSize × lengthとする。
dataを ? AllocateArrayBuffer(%ArrayBuffer%, byteLength) とする。
obj.[[ViewedArrayBuffer]]をdataに設定する。
obj.[[ByteLength]]をbyteLengthに設定する。
obj.[[ByteOffset]]を0に設定する。
obj.[[ArrayLength]]をlengthに設定する。
unusedを返す。

23.2.6 Properties of the `TypedArray` Constructors

各TypedArray constructorは：

valueが%TypedArray%である[[Prototype]] internal slotを持ちます。
valueが3_𝔽である"length" propertyを持ちます。
valueが、Table 71でそれについてspecifiedされるconstructor nameのString valueである"name" propertyを持ちます。
次のpropertiesを持ちます：

23.2.6.1 `TypedArray`.BYTES_PER_ELEMENT

TypedArray.BYTES_PER_ELEMENTのvalueは、TypedArrayについてTable 71でspecifiedされるElement Size valueです。

このpropertyはattributes { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }を持ちます。

23.2.6.2 `TypedArray`.prototype

TypedArray.prototypeのinitial valueは、corresponding TypedArray prototype intrinsic object（23.2.7）です。

このpropertyはattributes { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }を持ちます。

23.2.7 Properties of the `TypedArray` Prototype Objects

各TypedArray prototype objectは：

valueが%TypedArray.prototype%である[[Prototype]] internal slotを持ちます。
ordinary objectです。
[[ViewedArrayBuffer]]や、TypedArray instance objectsにspecificなその他のinternal slotsを持ちません。

23.2.7.1 `TypedArray`.prototype.BYTES_PER_ELEMENT

TypedArray.prototype.BYTES_PER_ELEMENTのvalueは、TypedArrayについてTable 71でspecifiedされるElement Size valueです。

このpropertyはattributes { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }を持ちます。

23.2.7.2 `TypedArray`.prototype.constructor

given TypedArray constructorのprototypeの"constructor" propertyのinitial valueはconstructor自体です。

23.2.8 Properties of `TypedArray` Instances

TypedArray instancesはTypedArraysです。各TypedArray instanceは、corresponding TypedArray prototype objectからpropertiesをinheritします。各TypedArray instanceは、次のinternal slotsを持ちます：[[ViewedArrayBuffer]]、[[TypedArrayName]]、[[ContentType]]、[[ByteLength]]、[[ByteOffset]]、および[[ArrayLength]]。

23.3 Uint8Arrayオブジェクト

Uint8Arrayは、上でdescribedされたTypedArrayのparticular kindです。加えて、Uint8Array constructor（23.3.1）およびUint8Array prototype object（23.3.2）にはadditional methodsがあります。

23.3.1 Uint8Array Constructorの追加プロパティ

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

stringがStringでないなら、TypeError例外をthrowする。
optsを ? GetOptionsObject(options) とする。
alphabetを ? Get(opts, "alphabet") とする。
alphabetがundefinedなら、alphabetを"base64"に設定する。
alphabetが"base64"でも"base64url"でもないなら、TypeError例外をthrowする。
lastChunkHandlingを ? Get(opts, "lastChunkHandling") とする。
lastChunkHandlingがundefinedなら、lastChunkHandlingを"loose"に設定する。
lastChunkHandlingが"loose"、"strict"、または"stop-before-partial"のいずれでもないなら、TypeError例外をthrowする。
resultをFromBase64(string, alphabet, lastChunkHandling)とする。
result.[[Error]]がnoneでないなら、
1. result.[[Error]]をthrowする。
resultLengthをresult.[[Bytes]]内のelementsの数とする。
taを ? AllocateTypedArray("Uint8Array", %Uint8Array%, "%Uint8Array.prototype%", resultLength) とする。
Assert: ta.[[ViewedArrayBuffer]].[[ArrayBufferByteLength]]はresult.[[Bytes]]内のelementsの数である。
ta.[[ViewedArrayBuffer]].[[ArrayBufferData]]の各indexのvalueを、result.[[Bytes]]のcorresponding indexのvalueに設定する。
taを返す。

23.3.1.2 Uint8Array.fromHex ( `string` )

stringがStringでないなら、TypeError例外をthrowする。
resultをFromHex(string)とする。
result.[[Error]]がnoneでないなら、
1. result.[[Error]]をthrowする。
resultLengthをresult.[[Bytes]]内のelementsの数とする。
taを ? AllocateTypedArray("Uint8Array", %Uint8Array%, "%Uint8Array.prototype%", resultLength) とする。
Assert: ta.[[ViewedArrayBuffer]].[[ArrayBufferByteLength]]はresult.[[Bytes]]内のelementsの数である。
ta.[[ViewedArrayBuffer]].[[ArrayBufferData]]の各indexのvalueを、result.[[Bytes]]のcorresponding indexのvalueに設定する。
taを返す。

23.3.2 Uint8Array Prototype Objectの追加プロパティ

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

intoをthis valueとする。
? ValidateUint8Array(into)を実行する。
stringがStringでないなら、TypeError例外をthrowする。
optsを ? GetOptionsObject(options) とする。
alphabetを ? Get(opts, "alphabet") とする。
alphabetがundefinedなら、alphabetを"base64"に設定する。
alphabetが"base64"でも"base64url"でもないなら、TypeError例外をthrowする。
lastChunkHandlingを ? Get(opts, "lastChunkHandling") とする。
lastChunkHandlingがundefinedなら、lastChunkHandlingを"loose"に設定する。
lastChunkHandlingが"loose"、"strict"、または"stop-before-partial"のいずれでもないなら、TypeError例外をthrowする。
taRecordをMakeTypedArrayWithBufferWitnessRecord(into, seq-cst)とする。
IsTypedArrayOutOfBounds(taRecord)がtrueなら、TypeError例外をthrowする。
byteLengthをTypedArrayLength(taRecord)とする。
resultをFromBase64(string, alphabet, lastChunkHandling, byteLength)とする。
bytesをresult.[[Bytes]]とする。
writtenをbytes内のelementsの数とする。
NOTE: FromBase64はuser codeをinvokeしないため、intoをbackingするArrayBufferはdetachedまたはshrunkされていることはない。
Assert: written ≤ byteLength。
SetUint8ArrayBytes(into, bytes)を実行する。
result.[[Error]]がnoneでないなら、
1. result.[[Error]]をthrowする。
resultObjをOrdinaryObjectCreate(%Object.prototype%)とする。
! CreateDataPropertyOrThrow(resultObj, "read", 𝔽(result.[[Read]]))を実行する。
! CreateDataPropertyOrThrow(resultObj, "written", 𝔽(written))を実行する。
resultObjを返す。

23.3.2.2 Uint8Array.prototype.setFromHex ( `string` )

intoをthis valueとする。
? ValidateUint8Array(into)を実行する。
stringがStringでないなら、TypeError例外をthrowする。
taRecordをMakeTypedArrayWithBufferWitnessRecord(into, seq-cst)とする。
IsTypedArrayOutOfBounds(taRecord)がtrueなら、TypeError例外をthrowする。
byteLengthをTypedArrayLength(taRecord)とする。
resultをFromHex(string, byteLength)とする。
bytesをresult.[[Bytes]]とする。
writtenをbytes内のelementsの数とする。
NOTE: FromHexはuser codeをinvokeしないため、intoをbackingするArrayBufferはdetachedまたはshrunkされていることはない。
Assert: written ≤ byteLength。
SetUint8ArrayBytes(into, bytes)を実行する。
result.[[Error]]がnoneでないなら、
1. result.[[Error]]をthrowする。
resultObjをOrdinaryObjectCreate(%Object.prototype%)とする。
! CreateDataPropertyOrThrow(resultObj, "read", 𝔽(result.[[Read]]))を実行する。
! CreateDataPropertyOrThrow(resultObj, "written", 𝔽(written))を実行する。
resultObjを返す。

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

objをthis valueとする。
? ValidateUint8Array(obj)を実行する。
optsを ? GetOptionsObject(options) とする。
alphabetを ? Get(opts, "alphabet") とする。
alphabetがundefinedなら、alphabetを"base64"に設定する。
alphabetが"base64"でも"base64url"でもないなら、TypeError例外をthrowする。
omitPaddingをToBoolean(? Get(opts, "omitPadding"))とする。
toEncodeを ? GetUint8ArrayBytes(obj) とする。
alphabetが"base64"なら、
1. outAsciiを、toEncodeをRFC 4648のsection 4でspecifiedされるbase64 encodingに従ってencodingした結果のcode pointsのsequenceとする。Paddingは、omitPaddingがfalseである場合に限りincludedされる。
そうでなければ、
1. Assert: alphabetは"base64url"である。
2. outAsciiを、toEncodeをRFC 4648のsection 5でspecifiedされるbase64url encodingに従ってencodingした結果のcode pointsのsequenceとする。Paddingは、omitPaddingがfalseである場合に限りincludedされる。
CodePointsToString(outAscii)を返す。

23.3.2.4 Uint8Array.prototype.toHex ( )

objをthis valueとする。
? ValidateUint8Array(obj)を実行する。
toEncodeを ? GetUint8ArrayBytes(obj) とする。
outをempty Stringとする。
toEncodeの各byte byteについて、以下を行う
1. hexをNumber::toString(𝔽(byte), 16)とする。
2. hexをStringPad(hex, 2, "0", start)に設定する。
3. outをoutとhexのstring-concatenationに設定する。
outを返す。

23.3.3 Uint8Arrayオブジェクトの抽象操作

23.3.3.1 ValidateUint8Array ( `ta` )

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

? RequireInternalSlot(ta, [[TypedArrayName]])を実行する。
ta.[[TypedArrayName]]が"Uint8Array"でないなら、TypeError例外をthrowする。
unusedを返す。

23.3.3.2 GetUint8ArrayBytes ( `ta` )

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

bufferをta.[[ViewedArrayBuffer]]とする。
taRecordをMakeTypedArrayWithBufferWitnessRecord(ta, seq-cst)とする。
IsTypedArrayOutOfBounds(taRecord)がtrueなら、TypeError例外をthrowする。
lengthをTypedArrayLength(taRecord)とする。
byteOffsetをta.[[ByteOffset]]とする。
bytesを新しい空のListとする。
indexを0とする。
index < lengthの間、繰り返す
1. byteIndexをbyteOffset + indexとする。
2. byteをℝ(GetValueFromBuffer(buffer, byteIndex, uint8, true, unordered))とする。
3. byteをbytesへappendする。
4. indexをindex + 1に設定する。
bytesを返す。

23.3.3.3 SetUint8ArrayBytes ( `into`, `bytes` )

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

offsetをinto.[[ByteOffset]]とする。
lengthをbytes内のelementsの数とする。
indexを0とする。
index < lengthの間、繰り返す
1. byteをbytes[index]とする。
2. byteIndexInBufferをindex + offsetとする。
3. SetValueInBuffer(into.[[ViewedArrayBuffer]], byteIndexInBuffer, uint8, 𝔽(byte), true, unordered)を実行する。
4. indexをindex + 1に設定する。
unusedを返す。

23.3.3.4 SkipAsciiWhitespace ( `string`, `index` )

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

lengthをstringのlengthとする。
index < lengthの間、繰り返す
1. charをstring内のindex indexにあるcode unitとする。
2. charが0x0009 (TAB)、0x000A (LF)、0x000C (FF)、0x000D (CR)、または0x0020 (SPACE)のいずれでもないなら、
  1. indexを返す。
3. indexをindex + 1に設定する。
indexを返す。

23.3.3.5 DecodeFinalBase64Chunk ( `chunk`, `throwOnExtraBits` )

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

chunkLengthをchunkのlengthとする。
chunkLength = 2なら、
1. chunkをchunkと"AA"のstring-concatenationに設定する。
そうでなければ、
1. Assert: chunkLengthは3である。
2. chunkをchunkと"A"のstring-concatenationに設定する。
bytesをDecodeFullLengthBase64Chunk(chunk)とする。
chunkLength = 2なら、
1. throwOnExtraBitsがtrueであり、かつbytes[1] ≠ 0なら、SyntaxError例外をthrowする。
2. « bytes[0] »を返す。
throwOnExtraBitsがtrueであり、かつbytes[2] ≠ 0なら、SyntaxError例外をthrowする。
« bytes[0], bytes[1] »を返す。

23.3.3.6 DecodeFullLengthBase64Chunk ( `chunk` )

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

standard base64 alphabetは"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/"、すなわち、Unicode Basic Latin block内のすべてのletterおよびnumberにcorrespondingするcode unitsと、"+"および"/"からなるStringです。

byteSequenceを、chunkをbase64としてdecodingした結果のunique sequence of 3 bytesとする（すなわち、byteSequenceにRFC 4648のsection 4でspecifiedされるbase64 encodingをapplyingするとchunkをproduceするようなsequence）。
elementsがbyteSequenceのelementsであり、orderを保ったListを返す。

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

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

maxLengthがpresentでないなら、
1. maxLengthを2⁵³ - 1に設定する。
2. NOTE: inputはStringであるため、Stringsのlengthは2⁵³ - 1 charactersにlimitedされ、outputはinputが持つcharactersより多くのbytesを必要としないので、このlimitに達することは決してない。しかし、maxLengthにfinite valueを使用することはeditorially convenientである。
NOTE: 下のalgorithmにおけるvalidationおよびdecodingのorderはobservableではない。Implementationsは、最もefficientなorderでそれらをperformすることがencouragedされ、possibly validationとdecodingをinterleavingしてもよい。
maxLength = 0なら、
1. Record { [[Read]]: 0, [[Bytes]]: « », [[Error]]: none }を返す。
readを0とする。
bytesを新しい空のListとする。
chunkをempty Stringとする。
chunkLengthを0とする。
indexを0とする。
lengthをstringのlengthとする。
繰り返す、
1. Assert: bytes内のelementsの数は3でevenly divisibleである。
2. indexをSkipAsciiWhitespace(string, index)に設定する。
3. index = lengthなら、
  1. chunkLength > 0なら、
    1. lastChunkHandlingが"stop-before-partial"なら、
      1. Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }を返す。
    2. lastChunkHandlingが"strict"なら、
      1. errorをnewly created SyntaxError objectとする。
      2. Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }を返す。
    3. Assert: lastChunkHandlingは"loose"である。
    4. chunkLength = 1なら、
      1. errorをnewly created SyntaxError objectとする。
      2. Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }を返す。
    5. bytesを、bytesと ! DecodeFinalBase64Chunk(chunk, false) のlist-concatenationに設定する。
  2. Record { [[Read]]: length, [[Bytes]]: bytes, [[Error]]: none }を返す。
4. charをstringのindexからindex + 1までのsubstringとする。
5. indexをindex + 1に設定する。
6. charが"="なら、
  1. chunkLength < 2なら、
    1. errorをnewly created SyntaxError objectとする。
    2. Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }を返す。
  2. indexをSkipAsciiWhitespace(string, index)に設定する。
  3. chunkLength = 2なら、
    1. index = lengthなら、
      1. lastChunkHandlingが"stop-before-partial"なら、
        Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }を返す。
      2. errorをnewly created SyntaxError objectとする。
      3. Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }を返す。
    2. charをstringのindexからindex + 1までのsubstringに設定する。
    3. charが"="なら、
      1. indexをSkipAsciiWhitespace(string, index + 1)に設定する。
  4. index < lengthなら、
    1. errorをnewly created SyntaxError objectとする。
    2. Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }を返す。
  5. lastChunkHandlingが"strict"なら、throwOnExtraBitsをtrueとする；そうでなければ、throwOnExtraBitsをfalseとする。
  6. decodeResultをCompletion(DecodeFinalBase64Chunk(chunk, throwOnExtraBits))とする。
  7. decodeResultがabrupt completionなら、
    1. errorをdecodeResult.[[Value]]とする。
    2. Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }を返す。
  8. bytesを、bytesと ! decodeResult のlist-concatenationに設定する。
  9. Record { [[Read]]: length, [[Bytes]]: bytes, [[Error]]: none }を返す。
7. alphabetが"base64url"なら、
  1. charが"+"または"/"のいずれかなら、
    1. errorをnewly created SyntaxError objectとする。
    2. Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }を返す。
  2. そうでなく、charが"-"なら、
    1. charを"+"に設定する。
  3. そうでなく、charが"_"なら、
    1. charを"/"に設定する。
8. charのsole code unitがstandard base64 alphabetのelementでないなら、
  1. errorをnewly created SyntaxError objectとする。
  2. Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }を返す。
9. remainingをmaxLength - bytes内のelementsの数とする。
10. remaining = 1かつchunkLength = 2の場合、またはremaining = 2かつchunkLength = 3の場合、
  1. Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }を返す。
11. chunkをchunkとcharのstring-concatenationに設定する。
12. chunkLengthをchunkのlengthに設定する。
13. chunkLength = 4なら、
  1. bytesを、bytesとDecodeFullLengthBase64Chunk(chunk)のlist-concatenationに設定する。
  2. chunkをempty Stringに設定する。
  3. chunkLengthを0に設定する。
  4. readをindexに設定する。
  5. bytes内のelementsの数 = maxLengthなら、
    1. Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }を返す。

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

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

maxLengthがpresentでないなら、maxLengthを2⁵³ - 1に設定する。
lengthをstringのlengthとする。
bytesを新しい空のListとする。
readを0とする。
length modulo 2 ≠ 0なら、
1. errorをnewly created SyntaxError objectとする。
2. Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }を返す。
read < lengthであり、かつbytes内のelementsの数 < maxLengthである間、繰り返す
1. hexitsをstringのreadからread + 2までのsubstringとする。
2. hexitsが"0123456789abcdefABCDEF"内にないcode unitsを含むなら、
  1. errorをnewly created SyntaxError objectとする。
  2. Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: error }を返す。
3. readをread + 2に設定する。
4. byteを、values 10 through 15のdigitsとしてletters A through Fおよびa through fを使用するbase-16 notationでhexitsによりrepresentedされるinteger valueとする。
5. byteをbytesへappendする。
Record { [[Read]]: read, [[Bytes]]: bytes, [[Error]]: none }を返す。

23 Indexed Collections

23.1 Array Objects

23.1.1 The Array Constructor

23.1.1.1 Array ( ...values )

23.1.2 Properties of the Array Constructor

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

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

23.1.2.3 Array.isArray ( arg )

23.1.2.4 Array.of ( ...items )

23.1.2.5 Array.prototype

23.1.2.6 get Array [ %Symbol.species% ]

23.1.3 Properties of the Array Prototype Object

23.1.3.1 Array.prototype.at ( index )

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

23.1.3.2.1 IsConcatSpreadable ( obj )

23.1.3.3 Array.prototype.constructor

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

23.1.3.5 Array.prototype.entries ( )

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

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

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

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

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

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

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

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

23.1.3.13 Array.prototype.flat ( [ depth ] )

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

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

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

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

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

23.1.3.18 Array.prototype.join ( separator )

23.1.3.19 Array.prototype.keys ( )

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

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

23.1.3.22 Array.prototype.pop ( )

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

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

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

23.1.3.26 Array.prototype.reverse ( )

23.1.3.27 Array.prototype.shift ( )

23.1.3.28 Array.prototype.slice ( start, end )

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

23.1.3.30 Array.prototype.sort ( comparator )

23.1.3.30.1 SortIndexedProperties ( obj, length, sortCompare, holes )

23.1.3.30.2 CompareArrayElements ( x, y, comparator )

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

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

23.1.3.33 Array.prototype.toReversed ( )

23.1.3.34 Array.prototype.toSorted ( comparator )

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

23.1.3.36 Array.prototype.toString ( )

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

23.1.3.38 Array.prototype.values ( )

23.1.3.39 Array.prototype.with ( index, value )

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

23.1.3.41 Array.prototype [ %Symbol.unscopables% ]

23.1.4 Properties of Array Instances

23.1.4.1 length

23.1.5 Array Iterator Objects

23.1.5.1 CreateArrayIterator ( array, kind )

23.1.5.2 The %ArrayIteratorPrototype% Object

23.1.5.2.1 %ArrayIteratorPrototype%.next ( )

23.1.5.2.2 %ArrayIteratorPrototype% [ %Symbol.toStringTag% ]

23.1.5.3 Properties of Array Iterator Instances

23.2 TypedArray Objects

23.2.1 The %TypedArray% Intrinsic Object

23.2.1.1 %TypedArray% ( )

23.2.2 Properties of the %TypedArray% Intrinsic Object

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 Properties of the %TypedArray% Prototype Object

23.2.3.1 %TypedArray%.prototype.at ( index )

23.2.3.2 get %TypedArray%.prototype.buffer

23.2.3.3 get %TypedArray%.prototype.byteLength

23.2.3.4 get %TypedArray%.prototype.byteOffset

23.2.3.5 %TypedArray%.prototype.constructor

23.1.1.1 Array ( ...`values` )

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

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

23.1.2.3 Array.isArray ( `arg` )

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

23.1.3.1 Array.prototype.at ( `index` )

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

23.1.3.2.1 IsConcatSpreadable ( `obj` )

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

23.1.3.18 Array.prototype.join ( `separator` )

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

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

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

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

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

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

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

23.1.3.30 Array.prototype.sort ( `comparator` )

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

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

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

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

23.1.3.34 Array.prototype.toSorted ( `comparator` )

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

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

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

23.1.5.1 CreateArrayIterator ( `array`, `kind` )

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

23.2.4.1 TypedArrayCreateFromConstructor ( `ctor`, `argList` )

23.2.4.2 TypedArrayCreateSameType ( `exemplar`, `length` )

23.2.4.3 TypedArraySpeciesCreate ( `exemplar`, `argList` )

23.2.4.4 ValidateTypedArray ( `obj`, `order` )

23.2.4.5 TypedArrayElementSize ( `obj` )

23.2.4.6 TypedArrayElementType ( `obj` )

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

23.2.5 The `TypedArray` Constructors

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

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