2022年3月13日

ネイティブのプロトタイプ

"prototype" プロパティはJavaScript自身のコア部分で広く使われています。すべての組み込みのコンストラクタ関数はこれを使用しています。

最初に単純なオブジェクトの場合を見ていき、次により複雑なオブジェクトの場合にどのようになるかを見ていきましょう。

Object.prototype

空のオブジェクトを出力してみましょう。:

let obj = {};
alert( obj ); // "[object Object]" ?

文字列 "[object Object]" を生成するコードはどこにあるのでしょう? それは組み込みの toString メソッドですが、どこにあるのでしょう? obj は空です!

…しかし、短い記法 obj = {}obj = new Object() と同じで、その Object は組み込みのオブジェクトコンストラクタ関数です。その関数は toString や他の関数を持つ巨大なオブジェクトを参照する Object.prototype を持っています。

このようになります:

new Object() が呼ばれた(もしくはリテラルオブジェクト {...} が作られた)とき、その [[Prototype]] は前のチャプターで私たちが話してきたルールによって、 Object.prototype にセットされます。:

その後、obj.toString() が呼ばれると、Object.prototype からメソッドが取り出されます。

このようにして確認できます:

let obj = {};

alert(obj.__proto__ === Object.prototype); // true

alert(obj.toString === obj.__proto__.toString); //true
alert(obj.toString === Object.prototype.toString); //true

上の Object.prototype のチェーンで、追加の [[Prototype]] がないことに注意してください。:

alert(Object.prototype.__proto__); // null

他の組み込みのプロトタイプ

Array, Date, Function のような、他の組み込みのオブジェクトもまたプロトタイプにメソッドを保持しています。

例えば、配列 [1, 2, 3] を作るとき、デフォルトの new Array() コンストラクタが内部で使われます。なので、配列データは新しいオブジェクトに書き込まれ、Array.prototype はそのプロトタイプとなり、メソッドを提供します。これは非常にメモリ効率が良いです。

スペックでは、すべての組み込みのプロトタイプは先頭に Object.prototype を持っています。なので、“すべてはオブジェクトを継承している” という人もいます。

全体図は次のとおりです(3つの組み込みについて書いています):

プロトタイプを手動でチェックしてみましょう。:

let arr = [1, 2, 3];

// Array.prototype から継承している?
alert( arr.__proto__ === Array.prototype ); // true

// 次に Object.prototype からは継承している?
alert( arr.__proto__.__proto__ === Object.prototype ); // true

// そしてトップの null
alert( arr.__proto__.__proto__.__proto__ ); // null

プロトタイプのメソッドのいくつかは重複する可能性があります。例えば、Array.prototype はカンマ区切りで要素を表示する自身の toString を持っています。:

let arr = [1, 2, 3]
alert(arr); // 1,2,3 <-- Array.prototype.toString の結果

以前見たように、Object.prototype も同様に toString を持っていますが、Array.prototype はチェーンでより近い位置にあるので、配列がもつものが使用されます。

Chrome developer console のようなブラウザ内のツールでも継承を表示できます(組み込みオブジェクトのために console.dir を使う必要があるかもしれません)。

他の組み込みオブジェクトも同じように動作します。関数でさえも、それらは組み込みの Function コンストラクタのオブジェクトであり、メソッドです: call/apply など、Function.prototype から取り出されたものです。関数には独自の toStringもあります。

function f() {}

alert(f.__proto__ == Function.prototype); // true
alert(f.__proto__.__proto__ == Object.prototype); // true, object からの継承

プリミティブ(Primitives)

最も複雑なことは、文字列、数値、ブール値で起こります。

覚えている通り、それらはオブジェクトではありません。しかし、それらのプロパティへアクセスをしようとした場合、組み込みのコンストラクタ String, Number, Boolean を使った一時的なラッパーオブジェクトが作られます。それらはメソッドを提供し、消えます。

それらのオブジェクトは我々には見えない形で作られ、ほとんどのエンジンはそれらを最適化しますが、スペックではこのように正確に説明されています。それらのオブジェクトのメソッドもまた String.prototype, Number.prototypeBoolean.prototype として利用可能なものとしてプロトタイプに存在します。

nullundefined はオブジェクトラッパーを持っていません

特別な値 nullundefined は別です。それらはオブジェクトラッパーを持ちません。そのため、利用可能なメソッドやプロパティはありません。また、それらに対応するプロトタイプもありません。

ネイティブプロトタイプの変更

ネイティブプロトタイプは変更することができます。例えば、もしあるメソッドを String.prototype に追加した場合、それはすべての文字列で利用可能になります。: