JavaScriptのプロトタイプチェーンの説明サイトの分からないところ

Question

こんにちは。

JavaScriptの参考サイトリンク内容の以下の画像の以下の部分で、1から2が言える、ということが理解できないのです。
↓
・ObjectとFunctionはいずれも__proto__プロパティがFunction.prototypeを参照している1
・これはつまり、ObjectはFunctionから生成され、FunctionはFunction自身から生成されているといえる2

よろしくお願い致します。

Comments

[think49]

http://maeharin.hatenablog.com/entry/20130215/javascript_prototype_chain がリンクされていないようです。質問を編集して、正しいmarkdown記法で書き直す事をお勧めします。

[slimat]

指摘ありがとうございます。訂正しました。

Answer 1

・これはつまり、ObjectはFunctionから生成され、FunctionはFunction自身から生成されているといえる*2

この文章は無視したほうがいいでしょう。__proto__は後からでも書き換え可能（直接代入する、あるいはObject.setPrototypeOfを使う）ですので、「__proto__がセットされていること」と「生成方法」は、直接的には関係しません。

もっとも、最後の「ObjectもFunctionもFunctionオブジェクト」ということは間違いありません。

Comments

[slimat]

回答有り難うございます。了解しました。そのようにしておきます。
知識を深めることができました。

Answer 2

コードで理解する

• ObjectとFunctionはいずれもprotoプロパティがFunction.prototypeを参照している*1
• これはつまり、ObjectはFunctionから生成され、FunctionはFunction自身から生成されているといえる*2

言葉上の定義にとらわれず、コードを書いて検証する事をお勧めします。
忌憚なき意見を述べるなら、多くの個人サイトで、著者自身の用語解釈に誤りがあると私は感じています。

console.log(Function.__proto__ === Function.prototype); // true
console.log(Object.__proto__ === Function.prototype);   // true

プロトタイプチェーンに関するよくある誤解

プロトタイプチェーンは new 演算子とセットで説明される事が多いようです。

function Foo () {}

const f = new Foo;
console.log(f.__proto__ === Foo.prototype); // true

多くのサイトでは、上記のようなコードを使って説明されます。
そこから、

• __proto__ は new 演算子で生成したコンストラクタの prototype プロパティを指すものである

という誤解が生まれます。
著者(@maeharin)も同様の誤解をしている為に、「や...やっと理解できた！JavaScriptのプロトタイプチェーン - maeharinの日記」では、

・これはつまり、ObjectはFunctionから生成され、FunctionはFunction自身から生成されているといえる

と結論しています。

実際には、プロトタイプチェーンは、「new演算子で生成したから発生する」のではありません。
プロトタイプチェーンは、プロパティ参照時に必ず発生するのです。
つまり、

object.prop
object['prop']

上記コードではプロトタイプチェーンが発生しています。例外はありません。

Re: slimat さん

Comments

[slimat]

回答ありがとうございます。

質問があるのですが、__proto__はプロタイプチェーンを使ってプロパティを探す時に使うプロパティ。prototypeはコンストラクタ関数を使って、新しい種類のオブジェクトを作る時にそのプロトタイプとするオブジェクトを参照するプロパティという解釈でよろしいでしょうか。

[think49]

> __proto__はプロタイプチェーンを使ってプロパティを探す時に使うプロパティ。
いいえ。
__proto__ プロパティが存在せずとも、プロトタイプチェーンは機能します。

> prototypeはコンストラクタ関数を使って、新しい種類のオブジェクトを作る時にそのプロトタイプとするオブジェクトを参照するプロパティ
prototypeプロパティはプロトタイプチェーンに影響しますが、コンストラクタ関数を使用しなくても構いません。
元からあるオブジェクト、Object.create や __proto__ でプロトタイプを設定したオブジェクト等、コンストラクタ関数に頼らずともそれらのオブジェクトを生成する方法があります。
生成する手段は何でもよいのです。

[think49]

仕様上はプロトタイプチェーンは [[Protoype]] と呼ばれる内部プロパティを使って、プロトタイプオブジェクトを参照します。
歴史的な理由で __proto__ プロパティが同一オブジェクトを参照するようになりましたが、__proto__ プロパティが存在しない実装も古くはありました。
元々は Object.getPrototypeOf() で [[Protoype]] を参照する仕様が作られましたが、複数ブラウザで __proto__ が独自拡張された為、ES仕様に逆輸入されて __proto__ でも参照可能となりました。
…はずなのですが、結局、ES仕様から削除されたので、間もなく使えなくなります。
Object.prototype.__proto__ は Object.prototype を [[Prototype]] に持たないと使えない仕様でしたし、"__proto__" プロパティにプリミティブ値を代入できなくなる問題もありました。

[slimat]

実際は[[Prototype]]でプロトタイプチェーンしているんですね。
丁寧な回答ありがとうございます。JavaScriptの奥の深さが垣間見えました。