Object.getPrototypeOf(obj) と obj.__proto__ の違いを教えてください

Question

前提

指定されたオブジェクトのプロトタイプ (つまり、内部プロパティ [[Prototype]] の値) を返します。
Object.getPrototypeOf() - JavaScript | MDN

アクセスされるオブジェクトの内部の [[Prototype]] (オブジェクトまたは null のどちらか) を暴露します。
Object.prototype.__proto__ - JavaScript | MDN

とMDNにあるため、同じものを返すのだろうと思っていましたが、これらが違うものを返すケースがありました。

発生している問題・エラーメッセージ

Object.setPrototypeOfを使ったりobj.__proto__.__proto__に代入するなどして、[[Prototype]]の[[Prototype]]をnullに変更する（削除する？）と、Object.getPrototypeOf(obj)とobj.__proto__が一致しません。
（おそらく、下記コードを見ていただいた方が早いです）

これについて、両者の違いを教えてください。

該当のソースコード

{
    class Grandma {

    }

    class Mama extends Grandma {

    }

    const child = new Mama();

    console.log(child.__proto__ === Object.getPrototypeOf(child)) // true
    console.log(child.__proto__.__proto__ === Object.getPrototypeOf(Object.getPrototypeOf(child))) // true

    Object.setPrototypeOf(Object.getPrototypeOf(child), null) // null の場合は、__proto__ と Object.getPrototypeOf() が一致しない。
    // child.__proto__.__proto__ = null // 同上

    console.log(child.__proto__) // undefined
    console.log(Object.getPrototypeOf(child) === Mama.prototype) // true
    console.log(child.__proto__ === Object.getPrototypeOf(child)) // false
}

{
    class Grandma {

    }

    class Mama extends Grandma {

    }

    const child = new Mama();

    console.log(child.__proto__ === Object.getPrototypeOf(child)) // true
    console.log(child.__proto__.__proto__ === Object.getPrototypeOf(Object.getPrototypeOf(child))) // true

    Object.setPrototypeOf(Object.getPrototypeOf(child), {}) // 空のオブジェクトなどの場合は、__proto__ と Object.getPrototypeOf() が一致する。
    // child.__proto__.__proto__ = {} // 同上

    console.log(child.__proto__) //  === Mama.prototype
    console.log(Object.getPrototypeOf(child) === Mama.prototype) // true
    console.log(child.__proto__ === Object.getPrototypeOf(child)) // true
}

補足情報（FW/ツールのバージョンなど）

Object.prototype.__proto__が非推奨であることは理解していますので、「そもそもObject.prototype.__proto__を使っているのが間違い」という回答は、当方が望んでいるものではありませんのでご理解ください。

---

解決後の追記

解決後に以下のようにしてObject.prototype.__proto__のゲッターを直接参照して試したところ、動作しましたので、やはりプロトタイプチェーンが切れていることが原因だとわかりました。

Object.getOwnPropertyDescriptor(Object.prototype,'__proto__').get.bind(child)()

Comments

[maisumakun]

レガシーではありますが、ブラウザ間の互換のために__proto__もESの仕様書に書かれています。

https://tc39.es/ecma262/multipage/fundamental-objects.html#sec-object.prototype.__proto__

そちら（や、Object.get/setPrototypeOf）の内容は確認してみましたでしょうか？

[Lhankor_Mhy]

コメントありがとうございます。MDN のリンクから以下のページについては参照いたしました。

https://tc39.es/ecma262/multipage/fundamental-objects.html#sec-object.prototype.__proto__
https://tc39.es/ecma262/multipage/fundamental-objects.html#sec-object.getprototypeof

管見の限り、同じことをしているように読めました。ここから違いが読み取れるのであれば、教えていただけると助かります。

[maisumakun]

たしかに、仕様書上の違いはないですね……

[Lhankor_Mhy]

そもそも、__proto__ が undefined を返すオブジェクトって、あまりないケースのように思っています。
エキゾチックな Object.prototype.__proto__ も null を返しますし、[[Prototype]]スロットは Object or null の値を取ることになっているはずなので……
https://tc39.es/ecma262/multipage/ordinary-and-exotic-objects-behaviours.html#sec-ordinary-object-internal-methods-and-internal-slots

Answer 1

プロトタイプチェーン(prototype chain)

Stackoverflowに同じ趣旨の質問がありました。
https://stackoverflow.com/questions/35458183/why-is-proto-undefined-for-object-createnull

回答で引用されている主要箇所を引用します。
https://bugs.chromium.org/p/chromium/issues/detail?id=506166

This is working as specified. ES6 __proto__ is a getter defined on Object.prototype. For an object that doesn't have that in its prototype chain it is not accessible (just like, say, hasOwnProperty isn't). You need to use Object.getPrototypeOf instead.

コード

__proto__ プロパティと Object.getPrototypeOf() の比較コード。

const obj = new Object;
obj.__proto__ = null;
console.log(obj.__proto__);               // undefined
console.log(Object.getPrototypeOf(obj));  // null

• __proto__ プロパティをプロトタイプチェーンで探索する場合、[[Prototype]] が null であるなら、探索を中止し、undefined 値を返します。
• Object.getPrototypeOf() は、[[Prototype]] の値をそのまま返します(プロトタイプチェーンの影響を受けません)。

[[Prototype]] の正確な値を取得したい場合は Object.getPrototypeOf() を使うのが妥当といえそうです。

Comments

[Lhankor_Mhy]

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

あー、なるほど……
プロトタイプをぶった切ってしまったので、プロトタイプチェーンをたどってネイティブな実装のところまでたどり着けないんですね。
よくわかりました。