JavaScriptで（super .__ proto__ === this .__ proto__）がtrueなのはなぜですか？

JavaScript（ES6）クラスのようsuper.__proto__ === this.__proto__です。

これが事実である理由を説明できますか？動作は異なるブラウザー間で一貫しているように見えるので、これは仕様のどこかに指定されていると思います。

次のコードを検討してください。

class Level1 {
    myFunc() {
        console.log('Level1');
    }
}

class Level2 extends Level1 {
    myFunc() {
        console.log('Level2');
    }
}

class Level3 extends Level2 {
    myFunc() {
        console.log('Level3 BEGIN ' + Math.random()); 
        super.__proto__.myFunc();
        console.log(super.__proto__ === this.__proto__);
        console.log('Level3 END'); 
    }
}

const foo = new Level3();
foo.myFunc();

クラスsuper.__proto__.myFunc();の関数myFunc()を呼び出すことを期待してLevel1いましたsuper.__proto__ !== this.__proto__。代わりに、super.__proto__.myFunc();実際myFunc()にclassを呼び出しLevel3（それ自体を呼び出し）、2番目の呼び出し時myFunc()にclassを呼び出しますLevel2。これはsuper.__proto__ === this.__proto__、コードが示すように完全に理解可能です。

super.__proto__ === this.__proto__この例で理由を説明できますか？可能であれば、仕様の関連セクションへの参照も提供してください。

Object.prototype.__proto__はゲッターを備えたプロパティです^[1]。それはそのthis値で動作します。実際の存在しないsuperことにするオブジェクトthis値を（あなたが書くことができませんでしたObject.getPrototypeOf(super)）、ちょうどsuperので、プロパティを検索する方法this.__proto__とsuper.__proto__限りと同じことを意味する__proto__もどこでも低プロトタイプチェーンに定義されていませんが。

比較：

class Parent {
    get notProto() {
        return this instanceof Child;
    }
}

class Child extends Parent {
    test() {
        console.log(super.notProto);
    }
}

new Child().test();

// bonus: [1]
console.log(Object.getOwnPropertyDescriptor(Object.prototype, '__proto__'));