Создание объектов, приватный конструктор

[Rand]

Добрый день! Поясните пожалуйста несколько моментов:

1.

Код: Выделить всё

var obj: TFoo;
begin
  obj.Bar;
end;

Почему я могу вызывать метод объекта, который не был создан? Ведь если в методе будет попытка обращения с свойствам класса, я получу SIGSEGV. Есть ли данной особенности полезное применение?

2.

Код: Выделить всё

var obj: TFoo;
begin
  obj := TFoo.Create;
  obj.Bar;
end;


При объявлении конструктора, как private constructor Create; компилятор проглатывает данный код, игнорируя код конструктора, вместо того, чтобы выдать error, как это делается на приватных методах. При этом сам объект, как я понимаю, создается. Почему?

[Brainenjii]

1. Вы сможете обращаться к полям, с установленным флагом Static. А вообще, это Warning.
2. У всех наследников от TObject уже есть публичный конструктор Create, если вы "перекрыли" его в приватной секции, то "перекрыт" он окажется только для того модуля, в котором объявлен. Соответственно, если вы инициализируете поля класса в "перекрытом" конструкторе, то при вызове публичного конструктора по умолчанию они инициализированы не будут.
Как-то так

[Rand]

Спасибо за ответ, Brainenjii! Извините, возможно тему следовало создать в разделе "Обучение Free Pascal". Позволю себе задать ещё пару глупых вопросов:
1. Про конструктор. Посмотрел реализацию Singleton, получается, что единственный способ перекрыть родительский конструктор - создать метод не-конструктор с тем же именем?
2. По первому вопросу: Я ведь могу TFoo.StaticField сразу использовать, вместо того, чтобы переменную инициализировать? В общем, пока-что сомнительная фича для меня =)

Возможно, посоветуете что почитать непосредственно про объектную модель в Object Pascal? Буду благодарен.

[Vadim]

Есть классы, которые всегда динамические и переменные которых надо всегда cоздавать. И есть объекты, которые могут быть как динамические, так и статические, которые остались в наследство от Turbopascal.
Что именно Вы имели в виду в своём посте?

[SSerge]

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

Единственный способ перекрыть родительский конструктор - создать в дочернем классе конструктор с тем же именем. Процедурой не перекроете, ибо она просто будет существовать отдельно. В отличие от С++ и многих других языков, в Object Pascal вы в конструкторе вручную управляете вызовом конструкторов предыдущего класса, и если его не вызовете... то и не вызовете - на ваше усмотрение. Что формально нарушает принципы ООП и позволяет порождать совершенно кошмарные и нелогичные зависимости между классами, если такового захочется. Точно так же с деструкторами - не вызвали родительский - значит ваше исключительное решение, почему этого не сделали. Принуждения никакого.

Статические методы можете рассматривать как обычные процедуры, именованно привязанные к какому-нибудь классу. Общаться с какими либо нестатическими полями экземпляра класса они не должны (и не могут).

[Vapaamies]

Почему я могу вызывать метод объекта, который не был создан?

Было.

При объявлении конструктора, как private constructor Create; компилятор проглатывает данный код, игнорируя код конструктора, вместо того, чтобы выдать error, как это делается на приватных методах. При этом сам объект, как я понимаю, создается. Почему?

Скорее всего, при этом используется умолчательный пустой конструктор TObject.Create, если речь про классы.

[PapaNT]

Можно в тему задать уточняющий вопрос?

Если, к примеру, на форме, создаю какой-либо визуальный элемент, хоть label... То надо ли вызывать на него деструктор?

[Light13]

to PapaNT Если вы его создали и не указали владельца

Код: Выделить всё

  MyLabel := TLabel.Create(nil);


Тогда нужно.
В противном случае его уничтожением должен заниматься владелец

[Rand]

Единственный способ перекрыть родительский конструктор - создать в дочернем классе конструктор с тем же именем

Ну это понятно, я имел ввиду, что если в родительском классе конструктор назван Create, а в дочернем я напишу class function с именем Create и конструктор сделаю приватным, то пользователь класса не сможет вызвать конструктор?

Было.

Спасибо.

[Vapaamies]

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

Если в родительском классе есть несколько перегруженных конструкторов, их можно будет вызвать в любом случае.

в дочернем я напишу class function с именем Create и конструктор сделаю приватным

Зачем?! Конструктор -- и так функция класса, разве что с особым смыслом.

[Rand]

Зачем?! Конструктор -- и так функция класса, разве что с особым смыслом.

Для вот этого

[Brainenjii]

А чем Вас не устраивает засунуть в переопределённый стандартный конструктор исключение, как предлагается в Вами же приведённой ссылке?

[Vapaamies]

Запустил Delphi, отладил и тиснул в блоге.

[Иван Шихалев]

Почему я могу вызывать метод объекта, который не был создан?

Потому что компилятор «не знает» был ли этот объект создан. Для него ничего не создано, поскольку создание объектов происходит в run-time. Он лишь знает, что переменная соответствующего типа определена. Компилятор, конечно, может предполагать из контекста, что вызывается метод неинициализированной переменной, ну так он так и делает, выдавая предупреждение.