Pourquoi en JavaScript est (super .__ proto__ === ce .__ proto__) vrai?

Il semble que dans les classes JavaScript (ES6) super.__proto__ === this.__proto__.

Pouvez-vous expliquer pourquoi c'est le cas? Le comportement semble cohérent entre les différents navigateurs, donc je soupçonne que cela est spécifié quelque part dans la spécification.

Considérez le code suivant:

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();

Je me serais attendu à ce que super.__proto__.myFunc();cela appelle la fonction myFunc()de classe Level1et cela super.__proto__ !== this.__proto__. Au lieu de cela, il super.__proto__.myFunc();appelle en fait la myFunc()classe Level3(il s'appelle lui-même), puis lors de la deuxième invocation, il appelle la myFunc()classe Level2. Ceci est parfaitement compréhensible si super.__proto__ === this.__proto__le code le démontre.

Pouvez-vous expliquer la raison pour laquelle super.__proto__ === this.__proto__dans cet exemple? Si possible, veuillez également fournir des références à la section pertinente de la spécification.

Object.prototype.__proto__est une propriété avec un getter ^[1] . Il fonctionne sur sa thisvaleur. Il n'y a pas réelle superobjet à une thisvaleur (vous ne pouviez pas écrire Object.getPrototypeOf(super)), juste une superfaçon de regarder des propriétés, donc this.__proto__et super.__proto__dire la même chose, tant que __proto__n'est pas aussi défini nulle part plus faible de la chaîne de prototype.

Comparer:

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__'));