Каково значение свойства конструктора Javascript?

Обновление за сентябрь 2020 г.

Ответ ниже относится ко временам ECMAScript 3, и первое предложение больше не соответствует действительности, потому что, начиная с ECMAScript 6, свойство constructor используется в нескольких местах. Тем не менее, я думаю, что общая суть все еще применима. Спасибо TJ Crowder за указание на это в комментариях, и, пожалуйста, прочитайте его ответ, чтобы получить более полное представление о текущей ситуации.

Исходный ответ

Свойство constructor не имеет абсолютно никакого практического значения ни для чего внутри. Это бесполезно только в том случае, если ваш код явно использует его. Например, вы можете решить, что вам нужно, чтобы каждый из ваших объектов имел ссылку на фактическую функцию-конструктор, которая его создала; если это так, вам нужно будет явно установить свойство constructor при настройке наследования, назначив объект свойству prototype функции-конструктора, как в вашем примере.

Первый шаг — понять, что такое constructor и prototype. Это несложно, но от "наследства" в классическом понимании надо отказаться.

Конструктор

Свойство constructor не вызывает никаких особых эффектов в вашей программе, за исключением того, что вы можете посмотреть на него, чтобы увидеть, какая функция использовалась в сочетании с оператором new для создания вашего объекта. Если вы набрали new Bar(), это будет Bar, а вы набрали new Foo, это будет Foo.

Прототип

Свойство prototype используется для поиска в случае, если рассматриваемый объект не имеет запрошенного свойства. Если вы напишете x.attr, JavaScript попытается найти attr среди атрибутов x. Если он не сможет его найти, он будет искать в x.__proto__. Если его там тоже нет, он будет искать в x.__proto__.__proto__ и так далее, пока определено __proto__.

Так что же такое __proto__ и какое отношение он имеет к prototype? Короче говоря, prototype для «типов», а __proto__ для «экземпляров». (Я говорю это в кавычках, потому что на самом деле нет никакой разницы между типами и экземплярами). Когда вы пишете x = new MyType(), происходит (среди прочего) то, что x.__proto___ устанавливается на MyType.prototype.

Вопрос

Теперь вышеизложенное должно быть всем, что вам нужно, чтобы понять, что означает ваш собственный пример, но попытаться ответить на ваш фактический вопрос; "зачем писать что-то вроде":

Bar.prototype.constructor = Bar;

Лично я никогда этого не видел и нахожу это немного глупым, но в контексте, который вы указали, это будет означать, что объект Bar.prototype (созданный с использованием new Foo(42)) будет представляться как созданный Bar, а не Foo. Я предполагаю, что идея состоит в том, что некоторые делают что-то похожее на C++/Java/C#-подобные языки, где поиск типа (свойство constructor) всегда будет давать наиболее конкретный тип, а не тип более общего объекта дальше в прототипе. цепь.

Мой совет: не думайте слишком много о «наследовании» в JavaScript. Концепции интерфейсов и примесей имеют больше смысла. И не проверяйте объекты на их типы. Вместо этого проверьте необходимые свойства («если он ходит как утка и крякает как утка, это утка»).

Попытка втиснуть JavaScript в классическую модель наследования, когда все, что у него есть, — это механизм прототипов, как описано выше, — вот что вызывает путаницу. Многие люди, которые предлагали вручную установить свойство constructor, вероятно, пытались сделать именно это. Абстракции — это хорошо, но это ручное присвоение свойства конструктора не очень идиоматичное использование JavaScript.

один случай использования конструктора:

1. это одна из распространенных реализаций наследования:

   Function.prototype.extend = function(superClass,override) {
       var f = new Function();
       f.prototype = superClass.prototype;
       var p = this.prototype = new f();
       p.constructor = this;
       this.superclass = superClass.prototype;
       ...
   };
   

2. этот new f() не будет вызывать конструктор суперкласса, поэтому, когда вы создаете подкласс, возможно, вам нужно сначала вызвать суперкласс, например:

   SubClass = function() {
       SubClass.superClass.constructor.call(this);
   };
   

поэтому свойство конструктора имеет смысл здесь.

Предыдущие ответы здесь говорят (по-разному), что значение свойства constructor ничем не используется в самом JavaScript. Это было правдой, когда эти ответы были написаны, но ES2015 и последующие начали использовать constructor для вещей.

Свойство constructor свойства prototype функции предназначено для указания на функцию, чтобы вы могли спросить объект, что сконструировало его. Он настраивается автоматически как часть создания традиционного объекта-функции или объекта-конструктора класса (подробности). .

function TraditionalFunction() {
}

console.log(TraditionalFunction.prototype.constructor === TraditionalFunction); // true

class ExampleClass {
}

console.log(ExampleClass.prototype.constructor === ExampleClass); // true

У стрелочных функций нет свойства prototype, поэтому у них нет prototype.constructor.

В течение многих лет спецификация JavaScript только говорила, что свойство constructor будет там и будет иметь это значение (обратная ссылка на функцию) по умолчанию. Но начиная с ES2015 это изменилось, и теперь различные операции в спецификации фактически используют свойство constructor, например this, это, это и это.

Поэтому при настройке функций-конструкторов, которые строят цепочки наследования, лучше убедиться, что свойство constructor ссылается на соответствующую функцию. См. мой ответ здесь для примеров и т. д.

Один из случаев использования, когда вы хотите, чтобы свойство prototype.constructor выдержало переназначение свойства prototype, — это когда вы определяете метод для prototype, который создает новые экземпляры того же типа, что и данный экземпляр. Пример:

function Car() { }
Car.prototype.orderOneLikeThis = function() {  // Clone producing function
    return new this.constructor();
}
Car.prototype.advertise = function () {
    console.log("I am a generic car.");
}

function BMW() { }
BMW.prototype = Object.create(Car.prototype);
BMW.prototype.constructor = BMW;              // Resetting the constructor property
BMW.prototype.advertise = function () {
    console.log("I am BMW with lots of uber features.");
}

var x5 = new BMW();

var myNewToy = x5.orderOneLikeThis();

myNewToy.advertise(); // => "I am BMW ..." if `BMW.prototype.constructor = BMW;` is not 
                      // commented; "I am a generic car." otherwise.

Свойство конструктора указывает на конструктор, который использовался для создания экземпляра объекта. Если вы ввели «new Bar()», это будет «Bar», а вы ввели «new Foo()», это будет «Foo».

Но если вы установите прототип без установки конструктора, вы получите что-то вроде этого:

function Foo(age) {
    this.age = age;
}

function Bar() {
    this.name = "baz"; 
}

Bar.prototype = new Foo(42); 
var one = new Bar();
console.log(one.constructor);   // 'Foo'
var two = new Foo();
console.log(two.constructor);   // 'Foo'

Чтобы фактически установить конструктор на конструктор, который использовался для создания объекта, нам также нужно установить конструктор при установке прототипа следующим образом:

function Foo(age) {
    this.age = age;
}

function Bar() {
    this.name = "baz"; 
}

Bar.prototype = new Foo(42); 
Bar.prototype.constructor = Bar;
var one = new Bar();
console.log(one.constructor);   // 'Bar'
var two = new Foo();
console.log(two.constructor);   // 'Foo'