Array.prototype内のthisとは

Array.prototype.slice.call(arguments);
と記述することで、配列ではないが、配列のような働きをするargumentsオブジェクトが持つ実引数を配列にすることができます。
Array.prototypeのsliceメソッドは、this参照を配列に変換する能力を持つそうです。sliceメソッドのあとでチェーンされているcallは、
レシーバオブジェクトのthis参照を第一引数、ここではargumentsオブジェクトにすることができます。

ここで質問ですが、なぜArray.prototype内に存在するthis参照をargumentsオブジェクトにすることでsliceメソッドなどが使えるようになるのでしょうか。
argumentsオブジェクトの__proto__がArray.prototypeになるとのことですが、Array.prototypeのthis参照をargumentsオブジェクトにすることと、個人的に繋がらず
ピンと来ません。

No.1 回答者： fujillin 回答日時： 2016/08/23 10:21

こんにちは

疑問点をよく把握できていませんが・・・

単純にcall関数がそのような仕様になっているからと考えるのではダメでしょうか？
NodeListなどのようにsliceをメソッドとして持っていないオブジェクトで、sliceメソッドを利用したい場合に、call関数を介することでArray.prototype.sliceメソッドを適用させるといった感じ。
https://developer.mozilla.org/ja/docs/Web/JavaSc …

No.2 回答者： Ogre7077 回答日時： 2016/08/23 11:29

関数 slice は「意図的に汎用的」です。

関数内で使用する this に対して、以下の操作が可能ならば、
* this[index] の読み取り
* this.length の読み取り

this が配列オブジェクトだろうが、
「配列のようなオブジェクト」だろうが、
問題なく処理できてしまいます。

当然 arguments はこの二つの操作を備えていますので、
call によって this を挿げ替えれば slice が使えてしまいます。

以下サンプルです

function slice() {
_ var x = [], n = this.length;
_ for (var i=0; i<n; i++) x.push(this[i]);
_ return x;
}
var 配列オブジェクト1 = slice.call(配列オブジェクト);
var 配列オブジェクト2 = slice.call(配列のようなオブジェクト);


余談ではありますが、

call に __proto__ を変更する機能はありません。
対象の関数に対して、関数スコープ内の変数 this を挿げ替えるだけです。