Этот код в приложении с графическим интерфейсом компилируется и запускается:
procedure TForm1.Button1Click(Sender: TObject);
begin
Self := TForm1.Create(Owner);
end;
(проверено с Delphi 6 и 2009)
Редактировать:
Обновление: приложения/библиотеки Delphi, которые используют самоназначение:
Это не так плохо, как могло бы быть. Я только что протестировал его в Delphi 2009, и может показаться, что, хотя параметр Self не использует семантику const, которую вы, кажется, подразумеваете, он также не использует var, так что вы можете изменить все, что хотите, в своем методе, фактически не теряя ссылку вызывающего объекта на ваш объект. Это было бы очень плохо.
Что касается причины, почему, один из двух ответов. Либо простая оплошность, либо то, что предложил Марко: позволить вам передать Self параметру var.
Может быть, разрешить переход к параметрам const или var?
Это может быть артефактом, так как система не имеет себя нигде слева от знака :=.
Назначение Self настолько нелогично и бесполезно, что эта «функция», вероятно, является недосмотром. Как и в случае с присваиваемыми константами, такие проблемы не всегда легко исправить.
Вот простой совет: не делайте этого.
На самом деле «Я» — это просто ссылка на имя места в стеке, в котором хранится адрес, указывающий на объект в куче. Принудительное использование только чтения для этой переменной возможно, по-видимому, дизайнер решил этого не делать. Я считаю решение произвольным.
Не вижу ни одного случая, когда это было бы полезно, просто изменило бы значение в стеке. Кроме того, изменение этого значения может быть опасным, поскольку нет гарантии, что поведение кода, ссылающегося на член экземпляра, будет одинаковым для всех версий компилятора.
Обновлено: в ответ на PatrickvL комментарий
«Переменная» «Я» не находится в стеке (насколько мне известно, никогда не бывает); Вместо этого его значение помещается в регистр (точнее, EAX) непосредственно перед вызовом любого метода объекта. –
Нет, у Self есть реальный адрес в памяти. Попробуйте этот код, чтобы убедиться в этом.
procedure TForm1.Button1Click(Sender: TObject);
begin
ShowMessage(IntToStr(Integer(@Self)));
end;
procedure TForm1.Button2Click(Sender: TObject);
var
newform: TForm;
p: ^Integer;
begin
Self.Caption := 'TheOriginal';
newform := TForm.Create(nil);
try
newform.Caption := 'TheNewOne';
// The following two lines is, technically, the same as
// Self := newform;
p := Pointer(@Self);
p^ := Integer(newform);
ShowMessage(Self.Caption); // This will show 'TheNewOne' instead of 'TheOriginal'
finally
Self.Free; // Relax, this will free TheNewOne rather than TheOriginal
end;
end;
Иногда, когда вы хотите оптимизировать метод настолько, насколько это возможно (не прибегая к сборке), «Self» может быть (ab) использован как «свободная» переменная — это может просто означать разницу между использованием стека и с помощью регистров.
Конечно, содержимое стека, скорее всего, уже присутствует в кеше ЦП, поэтому доступ к нему должен быть быстрым, но регистры еще быстрее.
В качестве примечания: я до сих пор скучаю по тем дням, когда я программировал на Amiga Motorola 68000 и имел роскошь 16 регистров данных и 16 адресных регистров... Я не могу поверить, что мир решил пойти с ограниченными 4 регистрами. линейки процессоров 80x86!
И последнее замечание: иногда я предпочитаю использовать Self, поскольку оптимизатор Delphi, ну, на самом деле не так хорошо оптимизирует. (По крайней мере, это меркнет по сравнению с теми хитростями, которые можно найти, например, в различных оптимизаторах LLVM.) IMHO и YMMV, конечно.
