Чому в JavaScript справжнє (супер .__ прото__ === це .__ прото__)?

Здається, що в 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()класу Level3(він називає себе), а потім на другому виклику він називає myFunc()клас 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__'));