Двойное разыменовывание??? Код рабочий, но не понимаю как работает.

[killzone]

Приветствую уважаемые форумчане!
Привожу рабочий код. Но не понимаю как это всё работает, я раньше не встречал символ двойного разыменовывания ^^. Нашел в интернете такую функцию.

type
TNotifyReference = reference to procedure(Sender: TObject);

function Proc2NotifyEvent(const aProc: TNotifyReference): TNotifyEvent;
type
  TVtable = array[0..3] of Pointer;
  PVtable = ^TVtable;
  PPVtable = ^PVtable;
begin
  TMethod(Result).Code := PPVtable((@aProc)^)^^[3];
  TMethod(Result).Data := Pointer((@aProc)^);
end;

Я эту функцию использую для присвоения кнопке на событие OnClick анонимную процедуру:

Form_GridClient.Button_SelectAll.OnClick := Proc2NotifyEvent(
    procedure (Sender:TObject)
    begin
      showmessage('Я работаю, всё ок!');
    end);

Всё отлично работает, но хочу понять что вообще происходит внутри этой функции и как называется эта операция ^^?

[Vapaamies]

Разыменование — одноместная операция, применяемая к аргументу слева. Несколько операций подряд дают множественное разыменование, по числу знаков: двойное, тройное, и так далее.

Процедура основана на знании внутренних структур типов, генерируемых компилятором. Тип TMethod описан так:

type
  TMethod = record
    Code, Data: Pointer;
  end;

Есть и теория по разным типам ссылок на процедуры. Она должна быть описана в справке.

[killzone]

Спасибо за статью, в голове начинает проясняться.
Значит я конвертирую анонимную процедуру в метод. Хотя наверно слово "конвертирую" тут не подходит, я создаю метод из анонимной процедуры.
PPVtable это адрес в памяти, по которому находится адрес в памяти по которому находится виртуальная таблица (методов?) (TVtable состоящая из 4х указателей). Проще говоря PPVtable это указатель на указатель на виртуальную таблицу. Отсюда и идут подряд операции разыменовывания ^^ чтобы добраться до виртуальной таблицы без промежуточных переменных. Это вроде понятно.
В строчке

 TMethod(Result).Data := Pointer((@aProc)^);

мы показываем начало анонимной процедуры, а вот в строчке

TMethod(Result).Code := PPVtable((@aProc)^)^^[3];

мы показываем 4й (начинаем с 0) указатель из виртуальной таблицы.
Вот тут не понимаю почему [3]? Что является [0], [1], [2], [3]. У нас что [0] это будет адрес начала анонимной процедуры, [1] это адрес Sender:TObject?, [2] - это ... of object? Тут в общем запутался...


В строчке

 TMethod(Result).Data := Pointer((@aProc)^);

Мы показываем Sender:TObject.

А вот в строчке

TMethod(Result).Code := PPVtable((@aProc)^)^^[3];

Мы показываем тело анонимной процедуры. [0] - это QueryInterface, [1] - AddRef, [2] - Release [3] - MyAnonymousProcedure? Верно?

[Vapaamies]

Сообщение от killzone

Мы показываем тело анонимной процедуры. [0] - это QueryInterface, [1] - AddRef, [2] - Release [3] - MyAnonymousProcedure? Верно?

Отладчик у тебя перед глазами, не у меня. Я сам не пишу на модных версиях Delphi, так что не знаю, как оно там внутри. Могу предложить включить в настройках генерацию map-файла с номерами строк (Detailed), а потом посмотреть по адресам. Возможно, в отладочной сборке придется также отключить ASLR (dynamic image base), если не отключено по умолчанию.

[phomm]

Сообщение от killzone

В строчке
Код:
TMethod(Result).Data := Pointer((@aProc)^);
Мы показываем Sender:TObject.

А вот в строчке
Код:
TMethod(Result).Code := PPVtable((@aProc)^)^^[3];
Мы показываем тело анонимной процедуры. [0] - это QueryInterface, [1] - AddRef, [2] - Release [3] - MyAnonymousProcedure? Верно?

Data это указатель на то, что будет передано в качестве Self методу, а Code это сам метод класса, взятый, как видно, из VMT (внутри обёртки анонимной процедуры, которая является неким объектом со стандартными методами), таким образом метод класса будет работать над нужным нам объектом-экземпляром этого класса. Sender:TObject в этом деле не участвует никак, потому что сендером будет потом кнопка, которая вызовет данный код, мы лишь сохраняем для неё в ивенте OnClick нужную структуру-ссылку, которая для неё нашей магией видится валидным TNotifyEvent.
Касательно индексов - вот статья , в целом верно, что по определённому смещению будет лежать пользовательский метод, но в частном случае надо будет подбирать значение, в зависимости от иерархии классов, возможно где-то и лежит универсальное/вычисляемое значение, тут не знаю. Для анонимки скорее всего верно, т.к. её внутренности определяются версией компилятора, а меняются и того реже.

P.S. надо быть аккуратным, используя хаки, например, произойдёт Release вашей анонимки, она managed type with reference counting, а вы держите на неё ссылку в кнопке, всё может упасть, возможно, придётся самому заботиться о подсчете ссылок вручную. А если вы делаете свой класс, то можно воспользоваться советом из https://docwiki.embarcadero.com/RADS...hods_in_Delphi там есть раздел для ивентов, но на стандартную кнопку это, конечно, не распространяется.