Форум программистов [Powered by Invision Power Board]

Код

// *************** Часть первая: "Постановка проблемы"
// в которой ребёнок теряет свой конструктор.

// Реализация типичного наследования: 
var ChildObj = function () {},
    ParentObj = function (){},
    parentObj;

ChildObj.prototype = parentObj = new ParentObj();
    
var childObj = new ChildObj();

// И вот вопрос: как теперь, имея ссылку на childObj, получить ссылку на ChildObj,
// не пользуясь для этого особенностями реализации JavaScript в FF???

alert('childObj.constructor === ChildObj = ' + (
    childObj.constructor === ChildObj
)); // false - т.е. так мы нужную нам ссылку не получим.

// А куда же ссылается теперь наше свойство "constructor"?
// На самом деле оно ссылается уже на ParentObj: 
alert('childObj.constructor === ParentObj = ' + (
    childObj.constructor === ParentObj
));//true

// Почему? Потому что:
alert('childObj.hasOwnProperty(\'constructor\') = ' + (
    childObj.hasOwnProperty('constructor')
)); //false - т.е. в объекте нет ссылки на его конструктор

// По-этому, за неимением собственного, этот метод ищется
// по ссылке "__proto__": 
alert('childObj.__proto__ === parentObj = ' + (
    childObj.__proto__ === parentObj
));//true - т.е. он ищется в объекте, от которого мы унаследовались 

// Есть ли он там?
alert('parentObj.hasOwnProperty(\'constructor\') = ' + (
    parentObj.hasOwnProperty('constructor')
));//false - его и тут нету!

// Значит, в поисках свойства карабкаемся ещё дальше по иерархии
// свойств "__proto__" - делаем ещё один шаг:
alert('parentObj.__proto__.hasOwnProperty(\'constructor\') = ' + (
    parentObj.__proto__.hasOwnProperty('constructor')
)); //true - Ура! Наконец-то мы нашли "constructor"!

// Теперь зададимся вопросом - на что же ссылается свойство "__proto__"
// у parentObject`а? Элементарно - оно ссылается на
// ParentObject.prototype: 
alert('parentObj.__proto__ === ParentObj.prototype = ' + (
    parentObj.__proto__ === ParentObj.prototype
));//true - эта связь была установлена в момент создания parentObject

// Ну а так как ParentObject мы ни у кого не наследовали, то
alert('ParentObj.prototype.constructor === ParentObj = ' + (
    ParentObj.prototype.constructor === ParentObj
));//true

// Отматываем назад и следим за шагами ScriptEngine:
// Шаг 1: childObj.constructor ===
// Шаг 2: childObj.__proto__.constructor === parentObj.constructor ===
// Шаг 3: childObj.__proto__.__proto__.constructor === parentObj.__proto__.constructor === ParentObj.prototype.constructor === ParentObj

// Почему же так не получается с childObject`ом?
// Почему его свойство "__proto__" не ссылается на объект, который
// содержит свойство "constructor", ссылающееся на его конструктор - СhildObject?
// Потому, что мы ему при наследовании прототип заменили на parentObj и теперь
alert('childObj.constructor === parentObj.prototype = ' + (
    childObj.constructor === parentObj.constructor
));//true

//В отличие от parentObj, которому прототип не подменяли (не наследовали) и по-этому у него по ссылке
// "__proto__" остался его родной, автоматически созданный объект, содержащий "правильную" ссылку
// "constructor":
alert('parentObj.__proto__.hasOwnProperty(\'constructor\') = ' + (
    parentObj.__proto__.hasOwnProperty('constructor')
));//true
alert('parentObj.__proto__.constructor === ParentObj = ' + (
    parentObj.__proto__.constructor === ParentObj
));//true - чего childObj`а мы лишили в угоду наследования.

/* Итак, проблема: мы не можем, имея только ссылку на объект, в отношении которого произведено наследование
   (данным способом), получить ссылку на его конструктор.
   
   Теоретическая база: при создании объекта функции автоматически создаётся ещё один объект, которому
   назначается свойство "constructor", ссылающееся на этот самый объект функции, а функция ссылается на него
   через свойство "prototype". При создании объекта с помощью этого конструктора происходит присваивание
   obj.__proto__ = Obj.prototype, так что объект может найти свой конструктор по ссылке
   obj.__proto__.constructor. ScriptEngine при вызове свойства объекта в случае, если его не находит,
   совершает восхождение по ссылкам "__proto__" этого объекта, пока не найдёт нужное свойство, либо не упрётся
   в null (Object.prototype.__proto__ == null) - тогда возбуждается исключение.
   Всё хорошо работает до тех пор, пока мы не решаем использовать этот механизм для наследования. При
   наследовании мы ещё до создания экземпляра объекта присваеваем свойству "prototype" конструктора объекта
   ссылку на объект родителя. Этот объект замещает тот объект, который был автоматически создан при создании
   объекта функции, но, в отличие от него, не содержит обратной ссылки на конструктор - т.е. на этот объект
   функции. В итоге ссылка на конструктор теряется...
   
   В случае с тремя шагами наследования мы получим для внука конструктор дедушки, четырёх - прадедушки и т.д.
*/

// ******************* Часть вторая: "Попытка решить проблему влоб"
// в которой у родителя отбирают его конструктор и вручают конструктор его ребёнка вместо его конструктора

// Что же можно сделать?
// Напрашивается следующее: раз мы при наследовании подставляем свойству "prototype" конструктора новое
// значение, не имеющее ссылки "constructor", взамен старого, имевшего это свойство, то почему бы нам не
// присвоить этому объекту это свойство принудительно, что бы изначальное соглашение продолжало выполняться?

// Давайте так и сделаем:
parentObj.constructor = ChildObj;
// мы это можем сделать сразу же, следующим шагом после реализации наследования, когда у нас ссылка
// на ChildObj ещё под носом. Можем даже, воспользовавшись тем, что любое присваивание возвращает
// присваиваемый результат, сделать такое заплаточное наследование одним действием:
// (СhildObj.prototype = parentObj = new ParentObj()).constructor = ChildObj;

//Вуаля! Мы решили проблему:
alert('childObj.constructor === ChildObj = ' + (
    childObj.constructor === ChildObj
)); // теперь - true - Победа!

// После того, как побегали, попрыгали, покидали шапки в воздух и натанцевались вдоволь,
// давайте подумаем - какой ценой нам эта победа досталась?
// Очень даже большой! Теперь мы нарушили соглашение для значения ссылки "prototype" у объекта ParentObj:
alert('parentObj.constructor === ParentObj = ' + (
    parentObj.constructor === ParentObj
));//false... Что же мы наделали? Т.е. теперь ребёнок нашёл, а родитель - потерял свой конструктор!

// А куда же теперь ссылается конструктор родителя?
alert('parentObj.constructor === ChildObj = ' + (
    parentObj.constructor === ChildObj
));//true - вот куда он ссылается - на конструктор своего ребёнка. Почему?

// Просто раньше у нашего объекта parentObj отсутствовало свойство "constructor" и когда мы его вызывали,
// в отсутсвии этого свойства у него вызывалось свойство "__proto__" и у него уже вызывалось свойство
// "constructor". Это выражение на самом деле верно по-прежнему:
alert('parentObj.__proto__.constructor === ParentObj = ' + (
    parentObj.__proto__.constructor === ParentObj
));//true

// Но теперь нарушилась неявная цепочка вызова, ведь больше не выполняется равенство
alert('parentObj.constructor === parentObj.__proto__.constructor = ' + (
    parentObj.constructor === parentObj.__proto__.constructor
));//false - а раньше, до нашего этого решения, оно выполнялось и - всё с parentObj было в порядке!

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

Код

// *************** Часть первая: "Постановка проблемы"
// в которой ребёнок теряет свой конструктор.

// Реализация типичного наследования: 
var ChildObj = function () {},
    ParentObj = function (){},
    parentObj;

ChildObj.prototype = parentObj = new ParentObj;
    
var childObj = new ChildObj;

// И вот вопрос: как теперь, имея ссылку на childObj, получить ссылку на ChildObj,
// не пользуясь для этого особенностями реализации JavaScript в FF???

alert('childObj.constructor === ChildObj = ' + (
    childObj.constructor === ChildObj
)); // false - т.е. так мы нужную нам ссылку не получим.

// А куда же ссылается теперь наше свойство "constructor"?
// На самом деле оно ссылается уже на ParentObj: 
alert('childObj.constructor === ParentObj = ' + (
    childObj.constructor === ParentObj
));//true

// Почему? Потому что:
alert('childObj.hasOwnProperty(\'constructor\') = ' + (
    childObj.hasOwnProperty('constructor')
)); //false - т.е. в объекте нет ссылки на его конструктор

// По-этому, за неимением собственного, этот метод ищется
// по ссылке "__proto__": 
alert('childObj.__proto__ === parentObj = ' + (
    childObj.__proto__ === parentObj
));//true - т.е. он ищется в объекте, от которого мы унаследовались 

// Есть ли он там?
alert('parentObj.hasOwnProperty(\'constructor\') = ' + (
    parentObj.hasOwnProperty('constructor')
));//false - его и тут нету!

// Значит, в поисках свойства карабкаемся ещё дальше по иерархии
// свойств "__proto__" - делаем ещё один шаг:
alert('parentObj.__proto__.hasOwnProperty(\'constructor\') = ' + (
    parentObj.__proto__.hasOwnProperty('constructor')
)); //true - Ура! Наконец-то мы нашли "constructor"!

// Теперь зададимся вопросом - на что же ссылается свойство "__proto__"
// у parentObject`а? Элементарно - оно ссылается на
// ParentObject.prototype: 
alert('parentObj.__proto__ === ParentObj.prototype = ' + (
    parentObj.__proto__ === ParentObj.prototype
));//true - эта связь была установлена в момент создания parentObject

// Ну а так как ParentObject мы ни у кого не наследовали, то
alert('ParentObj.prototype.constructor === ParentObj = ' + (
    ParentObj.prototype.constructor === ParentObj
));//true

// Отматываем назад и следим за шагами ScriptEngine:
// Шаг 1: childObj.constructor ===
// Шаг 2: childObj.__proto__.constructor === parentObj.constructor ===
// Шаг 3: childObj.__proto__.__proto__.constructor === parentObj.__proto__.constructor === ParentObj.prototype.constructor === ParentObj

// Почему же так не получается с childObject`ом?
// Почему его свойство "__proto__" не ссылается на объект, который
// содержит свойство "constructor", ссылающееся на его конструктор - СhildObject?
// Потому, что мы ему при наследовании прототип заменили на parentObj и теперь
alert('childObj.constructor === parentObj.prototype = ' + (
    childObj.constructor === parentObj.constructor
));//true

//В отличие от parentObj, которому прототип не подменяли (не наследовали) и по-этому у него по ссылке
// "__proto__" остался его родной, автоматически созданный объект, содержащий "правильную" ссылку
// "constructor":
alert('parentObj.__proto__.hasOwnProperty(\'constructor\') = ' + (
    parentObj.__proto__.hasOwnProperty('constructor')
));//true
alert('parentObj.__proto__.constructor === ParentObj = ' + (
    parentObj.__proto__.constructor === ParentObj
));//true - чего childObj`а мы лишили в угоду наследования.

/* Итак, проблема: мы не можем, имея только ссылку на объект, в отношении которого произведено наследование
   (данным способом), получить ссылку на его конструктор.
   
   Теоретическая база: при создании объекта функции автоматически создаётся ещё один объект, которому
   назначается свойство "constructor", ссылающееся на этот самый объект функции, а функция ссылается на него
   через свойство "prototype". При создании объекта с помощью этого конструктора происходит присваивание
   obj.__proto__ = Obj.prototype, так что объект может найти свой конструктор по ссылке
   obj.__proto__.constructor. ScriptEngine при вызове свойства объекта в случае, если его не находит,
   совершает восхождение по ссылкам "__proto__" этого объекта, пока не найдёт нужное свойство, либо не упрётся
   в null (Object.prototype.__proto__ == null) - тогда возбуждается исключение.
   Всё хорошо работает до тех пор, пока мы не решаем использовать этот механизм для наследования. При
   наследовании мы ещё до создания экземпляра объекта присваеваем свойству "prototype" конструктора объекта
   ссылку на объект родителя. Этот объект замещает тот объект, который был автоматически создан при создании
   объекта функции, но, в отличие от него, не содержит обратной ссылки на конструктор - т.е. на этот объект
   функции. В итоге ссылка на конструктор теряется...
   
   В случае с тремя шагами наследования мы получим для внука конструктор дедушки, четырёх - прадедушки и т.д.
*/

// ******************* Часть вторая: "Попытка решить проблему влоб"
// в которой у родителя отбирают его конструктор и вручают конструктор его ребёнка вместо его конструктора

// Что же можно сделать?
// Напрашивается следующее: раз мы при наследовании подставляем свойству "prototype" конструктора новое
// значение, не имеющее ссылки "constructor", взамен старого, имевшего это свойство, то почему бы нам не
// присвоить этому объекту это свойство принудительно, что бы изначальное соглашение продолжало выполняться?

// Давайте так и сделаем:
parentObj.constructor = ChildObj;
// мы это можем сделать сразу же, следующим шагом после реализации наследования, когда у нас ссылка
// на ChildObj ещё под носом. Можем даже, воспользовавшись тем, что любое присваивание возвращает
// присваиваемый результат, сделать такое заплаточное наследование одним действием:
// (СhildObj.prototype = parentObj = new ParentObj()).constructor = ChildObj;

//Вуаля! Мы решили проблему:
alert('childObj.constructor === ChildObj = ' + (
    childObj.constructor === ChildObj
)); // теперь - true - Победа!

// После того, как побегали, попрыгали, покидали шапки в воздух и натанцевались вдоволь,
// давайте подумаем - какой ценой нам эта победа досталась?
// Очень даже большой! Теперь мы нарушили соглашение для значения ссылки "prototype" у объекта ParentObj:
alert('parentObj.constructor === ParentObj = ' + (
    parentObj.constructor === ParentObj
));//false... Что же мы наделали? Т.е. теперь ребёнок нашёл, а родитель - потерял свой конструктор!

// А куда же теперь ссылается конструктор родителя?
alert('parentObj.constructor === ChildObj = ' + (
    parentObj.constructor === ChildObj
));//true - вот куда он ссылается - на конструктор своего ребёнка. Почему?

// Просто раньше у нашего объекта parentObj отсутствовало свойство "constructor" и когда мы его вызывали,
// в отсутсвии этого свойства у него вызывалось свойство "__proto__" и у него уже вызывалось свойство
// "constructor". Это выражение на самом деле верно по-прежнему:
alert('parentObj.__proto__.constructor === ParentObj = ' + (
    parentObj.__proto__.constructor === ParentObj
));//true

// Но теперь нарушилась неявная цепочка вызова, ведь больше не выполняется равенство
alert('parentObj.constructor === parentObj.__proto__.constructor = ' + (
    parentObj.constructor === parentObj.__proto__.constructor
));//false - а раньше, до нашего этого решения, оно выполнялось и - всё с parentObj было в порядке!

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


// *************** Часть третья: "Настоящее решение проблемы"
// в которой все счастливы

// Итак, присваивать ссылку на конструктор прототипу объекта в условиях наследования нельзя, а на объект
// функции как-то ссылаться надо, но не так, как мы сделали до этого.

/* Как же? Давайте подумаем.
   
   Вот в прошлой части мы присвоили parentObj прямую ссылку на конструктор и в итоге закрыли свойство
   "__proto__.constructor", которое вызывалось до этого и вело куда нужно - к объекту-функции ParentObj,
   являющемуся конструктором объекта parentObj. Так может, было бы лучше ему и всем остальным объектам
   ссылаться напрямую на свои конструкторы?
   
   Это было бы решением: каждый объект ссылался бы на свой конструктор напрямую, а не посредством
   неявной ссылки и мы таким образом не теряли бы ссылок на конструкторы:
*/
childObj.constructor = ChildObj;
parentObj.constructor = ParentObj;

/* Но такой вариант будет не удобен для конечного пользователя библиотеки. Ведь мы помним, что данная
   проблема для нас получает актуальность лишь когда мы создаём большие приложения с длинными цепочками
   наследования. В таких приложениях программист, который использует доставшуюся ему библиотеку, не
   должен задумываться над тем, что бы применять хитрые приёмы для создания объектов. Мы же обязываем
   его делать примерно следующее:
*/
var child2Obj = new ChildObj;
child2Obj.constructor = ChildObj;

//Или
var child3Obj;
(child3Obj = new ChildObj()).constructor = ChildObj;

// Трудно ожидать такого от неизвестного пользователя. Так что нужно как-то выкручиваться при создании
// самой библиотеки.

// Напрашивается простая и бессмысленная с математической точки зрения, однако имеющая смысл в
// программировании вставка такого выражения в функцию-конструктор: "this.constructor = this.constructor;".
var ChildObj2 = function(){
    
    alert('this.constructor = ' + (
        this.constructor = this.constructor
    ));
} //так мы вытаскиваем конструктор из свойства this.__proto__ и присваиваем его получающемуся объекту

//Наследуем
ChildObj2.prototype = new ParentObj;

//Но не тут-то было:
var childObj2 = new ChildObj2;//"this.constructor = function(){}" - это не конструктор ChildObj2.

// На самом деле это - конструктор ParentObj:
alert('childObj2.constructor === ParentObj = ' + (
    childObj2.constructor === ParentObj
));//true

// Выходит, что даже на этапе конструирования мы не можем сослаться на тот метод, который в данный момент
// выполняется - т.е. на конструктор. Это объясняется тем, что присваивание
// childObj2.__proto__ = ChildObj2.prototype
// происходит до того, как запускается конструктор, а не после. По-этому придётся вписать имя конструктора:
var ChildObj3 = function(){
    
    alert('this.constructor = ChildObj3 = ' + (
        this.constructor = ChildObj3
    ));
}

//Наследуем
ChildObj3.prototype = new ParentObj;

//Создаём экземпляр
var childObj3 = new ChildObj3;


//В общем, счастье есть. На последок проверим, всё ли в порядке:
alert('childObj3 instanceof ChildObj3 = ' + (
    childObj3 instanceof ChildObj3
));//true

alert('childObj3 instanceof ParentObj = ' + (
    childObj3 instanceof ParentObj
));//true