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

[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), если не отключено по умолчанию.