new() и init()

[Владимир Максимов]

gl00mie

Как мне кажется, происходит путаница понятий

В системе Axapta создание объекта - это команда

myVar = new MyObject()

Кажется, что команда new вызывает непосредственно метод new() объекта. Однако если бы это было действительно так, то внутри метода new() объекта невозможно было бы сделать присвоение свойствам этого объекта или вызвать метод объекта.

Т.е. внутри метода new() экземпляр объекта уже существует. Внутри метода new() объекта вполне допустимо обращение к методам этого объекта через this.MyMethod().

На всякий случай напомню, что речь идет о классах, а не о формах или отчетах.

Это означает, что конструирование объекта Axapta происходит ДО вызова метода new() этого же объекта. Просто разработчики Axapta предоставили возможность ПОСЛЕ конструирования объекта добавить некий код.

По сути, new() - это событие, т.е. некий программный код, который выполняется автоматически, при подаче команды new на создание объекта.

А вот метод init() - это именно метод. Т.е. некий программный код, который надо запускать на выполнение явно. Специальной командой. Автоматического выполнения метода init() никогда не происходит. Только явно по команде.

С точки зрения разработчика - нет никакой разницы где именно писать код инициализации параметров объекта. В событии new() объекта или в методе init().

Отличия между ними только и исключительно в способе вызова. Выполнение new() произойдет автоматически, а для выполнения init() надо подать специальную команду. Как следствие, выполнение init() можно отложить, чтобы выполнить, например, ряд проверок. Или же вызвать метод init() повтороно, для переинициализации всех свойств объекта. А выполнение new() отложить невозможно.

Следовательно, логично в событии new() объекта делать безусловную инициализацию свойств объекта (значения по умолчанию для переменных). А в методе init() выполнять "условную" инициализацию свойств с последующим анализом значения, возвращаемого этим методом для принятия решения о дальнейшей работе с этим объектом.


PS:

А насчет того, что переменная myVar не существует пока не будет завершена команда new MyObject(), так к обсуждаемой проблеме это не имеет никакого отношения.

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

[gl00mie]

Цитата:

Сообщение от Владимир Максимов

Как мне кажется, происходит путаница понятий. В системе Axapta создание объекта - это команда

myVar = new MyObject()

Кажется, что команда new вызывает непосредственно метод new() объекта. Однако если бы это было действительно так, то внутри метода new() объекта невозможно было бы сделать присвоение свойствам этого объекта или вызвать метод объекта.

Давайте, чтобы не создавать еще большую путаницу, немного уточним терминологию. Я применительно к языку Х++ не встречал упоминания термина "команда". В ОО-языках, таких как C++/C#, это называется оператор new; в том же С++ есть также операторы delete и delete[], служащие для освобождения выделенной под объект памяти, но в C#/X++ с их автоматических управлением памятью они не актуальны и, соответственно, отсутствуют. Еще в ОО-языках есть понятие конструкторов и деструкторов, которые вызываются, соответственно, при создании объекта (оператором new) и при его удалении (оператором delete, или сборщиком мусора, или еще кем). Путаница в случае Х++ возникает из-за того, что оператор new и конструктор new() называются одинаково; в моем предыдущем сообщении в этой теме, пожалуй, действительно смешались эти два понятия. Тем не менее, в Х++ вызов оператора new непосредственно ведет к вызову конструктора new().

Цитата:

Сообщение от Владимир Максимов

Т.е. внутри метода new() экземпляр объекта уже существует. Внутри метода new() объекта вполне допустимо обращение к методам этого объекта через this.MyMethod().

На мой взгляд, экземпляр объекта до завершения работы конструктора (а new() и finalize() в Х++ от прочих методов отличаются именно тем, что это конструктор и декструктор) все же не существует. Хотя, это вопрос философский: можно ли называть, к примеру, сооружение без крыши домом или конструкцию без двигателя - автомобилем?
К слову, в зависимости от реализации класса обращения к тем или иным методам внутри конструктора могут привести к некорректным результатам, если методы предполагают, что конструктор уже отработал, и какие-то внутренние структуры или объекты уже инициализированы - это опять же к вопросу о том, когда кусок выделенной памяти становится объектом.

Цитата:

Сообщение от Владимир Максимов

Это означает, что конструирование объекта Axapta происходит ДО вызова метода new() этого же объекта. Просто разработчики Axapta предоставили возможность ПОСЛЕ конструирования объекта добавить некий код.

Гхм... в моем понимании «конструирование объекта» осуществляется в общем случае его конструктором, а не, к примеру, оператором выделения памяти для объекта. И если объект не находится на вершине иерархии наследования, и при этом успели отработать лишь некоторые из конструкторов его базовых классов, то нельзя говорить о том, что объект уже создан. А в случае с классами в Аксапте иерархия наследования отнюдь не начинается с какого-либо класса, реализованого на Х++.
Если посмотреть, что происходит непосредственно в ядре, то увидим следующее:

1. интерпретатор байт-кода (экземпляр класса interpret) встречает в байт-коде символ, соответствующий ключевому слову new и вызывает обработчик этого символа - метод interpret::xal_new_sym(void) (поскольку ядро написано на С++, будем здесь пользоваться нотацией этого языка);
2. interpret::xal_new_sym(), в свою очередь, вызывает метод interpret::eval_new(cqlClass**,ushort), после чего инициализирует несколько полей созданного объекта;
3. interpret::eval_new() сначала выделяет фиксированный объем памяти размером 56 (для AX3) или 60 (для AX4) байт, используя оператор new из библиотеки времени выполнения С++, который, в случае ядра Аксапты, вызывает соотв. метод выделения памяти библиотеки SmartHeap;
4. после выделения памяти вызывается конструктор cqlClass::cqlClass(ushort), который заполняет выделенный участок памяти нулями и инициализирует некоторые служебные данные этого класса;
5. затем увеличивается счетчик ссылок на сам созданный объект, а также глобальный счетчик ссылок, используемый, в частности, классом HeapCheck;
6. наконец, происходит самое интересное - вызов конструктора new() создаваемого объекта, причем, поскольку все классы наследуют от Object, то констурктор вызывается всегда - либо определенный для данного класса или его предка, либо конструктор по умолчанию класса Object.

Цитата:

Сообщение от Владимир Максимов

С точки зрения разработчика - нет никакой разницы где именно писать код инициализации параметров объекта. В событии new() объекта или в методе init().

В корне не согласен. Если рассматривать вопрос проектирования классов с точки зрения контрактной модели программирования, то инициализация объекта не может быть необязательной, если это не предусмотрено протоколом взаимодействия с объектом. Т.е., пользуясь данной терминологией, если инициализация объекта необходима для выполнения им контракта, а вы, проектируя и реализуя класс, даете возможность не выполнять эту инициализацию, то вы закладываете возможность нарушения объектом данного класса своего контракта при соблюдении протокола взаимодействия с ним.
По поводу контрактной модели см., например, Объектно-ориентированный анализ и проектирование Гради Буча.

[mazzy]

Цитата:

Сообщение от Владимир Максимов

Это означает, что конструирование объекта Axapta происходит ДО вызова метода new() этого же объекта. Просто разработчики Axapta предоставили возможность ПОСЛЕ конструирования объекта добавить некий код.

Нет.
Инвариант: Конструирование объекта полностью завершено после завершения конструктора new().
Или, другими словами, объект становится валидным (целостным) после завершения конструктора new().

Другие утверждения не всегда истинны.

Если я правильно понимаю gl00mie, то он хочет сказать именно это.

[DSPIC]

И хватает же у вас времени, господа, так активно дискутировать по такой незначительной теме... По-моему всем все давно понятно (ещё до этого поста). Играть словами можно до бесконечности и врядли это к чему-то полезному приведет. Может автор поста вообще закатил этот шар по-приколу...