Почему super() вызывает неправильный конструктор при использовании Object.setPrototypeOf?

Чего не хватает, так это того, откуда берется значение super.

1. Базовый класс (то есть не расширяющий другой класс) создается на Function.prototype. Например

   Object.getPrototype(Polygon) === Function.prototype
   

2. Класс, расширяющий другой, приводит к двум вещам:

   1. Объект расширенного класса создается на основе расширяемого класса, а не на Function.prototype. Например

        Object.getPrototypeOf(Square) === Polygon
      

   2. Свойство prototype расширенного класса создано на основе свойства prototype расширенного класса. Например

       Object.getPrototypOf(Square.prototype) === Polygon.prototype
      

   3. Обратите внимание, что значение constructor, унаследованное от prototype расширенного класса, не изменяется и остается установленным для объекта расширенного класса. И.Е.

       Square.prototype.constructor === Square 
      

   Это имеет последствия: суперкласс расширенного объекта не может быть определен на основе свойства constructor, унаследованного экземплярами расширенного класса.

   4. Перефразируя пункт 2.1 выше: объект, на котором прототипируется объект расширенного класса, а) изначально является объектом суперкласса и б) эффективно используется ключевым словом super для поиска метода конструктора объекта суперкласса.

Этот код показывает последствия изменения объекта, на котором создан прототип объекта класса, в экспериментальных целях, чтобы увидеть, что произойдет. Это не то, что нужно делать в реальном программировании.

class Polygon {
  static ClassName = "Polygon";
  constructor() { this.name = "Polygon instance" }
  inheritsFrom() {return "Polygon"}
}

class Rectangle {
  static ClassName = "Rectangle";
  constructor() { this.name = "Rectangle instance"; }
  inheritsFrom() {return "Rectangle"}

}

class Square extends Polygon {
  constructor() {
    super();
  }
}


console.info("class Polygon is prototyped on Function.prototype: ",
  Object.getPrototypeOf(Polygon) === Function.prototype, " (1) true expected");

console.info(Square.ClassName, " (2) static value 'Polygon' expected");
const instance = new Square();
console.info( instance.name, " (3) 'Polygon instance' expected")
console.info( instance.constructor.name, " (4) 'Square' expected")

// overwrite the object (the super class) on which Square is prototyped:
Object.setPrototypeOf(Square, Rectangle);

console.info( Square.ClassName, " (5) static value 'Rectangle' expected");
const instance2 = new Square(); 
console.info(instance2.name, " (6) 'Rectangle instance' expected");
console.info( instance2.constructor.name, " (7) 'Square' expected")

// instances of Square still inherit from Polygon.prototype

console.info("instance instanceof Polygon is ", instance instanceof Polygon,
  " (8) true expected");
console.info("instance instanceof Rectangle is ",
 instance instanceof Rectangle, " (9) false expected)");
console.info("instance inherits from ", instance.inheritsFrom(), " (10) 'Polygon' expected");

console.info("instance2 is an instanceOf Polygon ", instance2 instanceof Polygon,
  " (11) true expected");
console.info("instance2.instanceof Rectangle is ",
  instance2 instanceof Rectangle, " (12) false expected");
console.info("instance2 inherits from ", instance2.inheritsFrom(),
    " (13) 'Polygon' expected");

Обновление: использование __proto__ в качестве унаследованного метода получения для возврата значения null или объект, для которого был прототипирован другой объект, был помечен как «НОРМАТИВНЫЙ ДОПОЛНИТЕЛЬНЫЙ, СТАРЫЙ» в ECMAScript и, следовательно, считается устаревшим: использование __proto__ было удален из тестового кода.

Во всем вышеперечисленном

• Объявления классов Polygon и Rectangle в тестовом коде объявляют статическое свойство ClassName и метод класса с именем inheritsFrom
• значение статического свойства ClassName наследуется Square от объекта, для которого Square был создан прототип в момент Square.ClassName оценки.
• name — это свойство экземпляра, заданное конструктором, называемым super().
• constructor.name наследуется экземпляром класса от первого объекта в их цепочке наследования. Цепочка наследования экземпляров Square начинается с Square.prototype и возвращается обратно к Polygon.prototype, ни один из которых не изменяется тестовым кодом.
• inheritsFrom — это метод класса, определенный в объявлениях классов для Polygon и Rectangle в тестовом коде.