Tại sao trong JavaScript là (super .__ proto__ === này .__ proto__) đúng?

Có vẻ như trong các lớp JavaScript (ES6) super.__proto__ === this.__proto__.

Bạn có thể giải thích tại sao đây là trường hợp? Hành vi có vẻ nhất quán trên các trình duyệt khác nhau, vì vậy tôi nghi ngờ điều này được chỉ định ở đâu đó trong thông số kỹ thuật.

Hãy xem xét các mã sau đây:

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

Tôi đã mong đợi rằng super.__proto__.myFunc();sẽ gọi chức năng myFunc()của lớp Level1và đó super.__proto__ !== this.__proto__. Thay vào đó super.__proto__.myFunc();thực sự gọi myFunc()các lớp Level3(nó gọi chính nó) và sau đó trong lần gọi thứ hai, nó gọi myFunc()lớp Level2. Điều này là hoàn toàn dễ hiểu nếu super.__proto__ === this.__proto__mã mà chứng minh.

Bạn có thể giải thích lý do tại sao super.__proto__ === this.__proto__trong ví dụ này? Nếu có thể, vui lòng cung cấp tài liệu tham khảo cho phần có liên quan của thông số kỹ thuật.

Object.prototype.__proto__là một tài sản với một getter ^[1] . Nó hoạt động dựa trên thisgiá trị của nó . Không có superđối tượng thực sự là một thisgiá trị (bạn không thể viết Object.getPrototypeOf(super)), chỉ là một supercách tìm kiếm các thuộc tính, this.__proto__và super.__proto__có nghĩa là điều tương tự miễn __proto__là cũng không được định nghĩa ở bất cứ đâu thấp hơn trong chuỗi nguyên mẫu.

Đối chiếu:

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