Проблемы и решения при работе с анонимными методами через TypeInfo в Delphi

Delphi , Синтаксис , Типы и Переменные

Вопрос, который рассматривается в данной статье, связан с использованием механизма TypeInfo для получения информации о типе, в том числе и для анонимных методов в контексте языка программирования Delphi. При работе с анонимными методами через TypeInfo может возникнуть неожиданное поведение, которое требует дополнительного понимания того, как компилятор обрабатывает эти конструкции.

Описание проблемы

При работе с кодом, который требует определения "семейства" типов (type "family") для обобщенных типов, разработчики могут использовать механизм TypeInfo для получения необходимой информации. Однако, при попытке обращения к анонимным методам через TypeInfo, пользователи сталкиваются с неожиданным поведением.

Анонимный метод типа TMethodProc, определенный как reference to procedure, при попытке извлечения информации о типе через функцию GetTypeKind<T>, возвращает данные, которые не соответствуют ожиданиям. В частности, свойство TypeData.IntfParent возвращает IInterface, а свойство TypeData.IntfFlags имеет значение, выходящее за пределы допустимого диапазона (6), что не соответствует ожидаемым значениям перечисления TIntfFlag.

Кроме того, GUID, который ожидается в данных типа, не является действительным GUID, а представляет собой повторяющуюся последовательность одних и тех же восьми байт, преимущественно нулевых.

Подтвержденный ответ

Подтвержденный ответ заключается в том, что анонимные методы в Delphi реализуются в виде сгенерированных компилятором интерфейсов с методом Invoke, соответствующим подписи анонимного метода. Это объясняет, почему TTypeKind для анонимных методов оказывается равным tkInterface, а IntfParent - IInterface.

За интерфейсом стоит сгенерированный компилятором класс реализации, который содержит захваченные переменные и тело анонимного метода внутри своей реализации метода Invoke.

Что касается IntfFlags, то это тип TIntfFlagsBase, который представляет собой набор значений перечисления TIntfFlag. Каждое значение перечисления представлено определенным битом в маске. В TIntfFlagsBase бит ifHasGuid находится на позиции 0, ifDispInterface - на позиции 1, а ifDispatch - на позиции 2. Следовательно, числовое значение 6 (в двоичном виде 110b) соответствует включенным флагам ifDispInterface и ifDispatch, но не ifHasGuid. Из-за этого IntfGuid не имеет смыслового значения, но все равно занимает место в TTypeData для целей выравнивания.

Важно отметить, что в наборе значений TIntfFlags отсутствуют некоторые дополнительные флаги, которые используются для интерфейсов с включенной информацией о методах (директива { $M+ }) или для типов анонимных методов. Эти флаги не документированы в перечислении TIntfFlag. В частности, значение 64 в TIntfFlagsBase соответствует флагу для анонимных методов.

Альтернативный ответ

Исследования показали, что в наборе TIntfFlags отсутствуют некоторые флаги, которые должны быть документально подтверждены. Это привело к созданию баг-репорта в Embarcadero с номером RSP-24631.

Для получения более полной информации о том, как обрабатываются анонимные методы в Delphi, можно обратиться к дополнительным источникам, например, к обсуждению на форуме en.delphipraxis.net, где описывается недокументированный флаг для IInvokable.

Пример кода

В качестве примера кода, который демонстрирует работу с анонимными методами и TypeInfo, можно использовать следующий фрагмент:

uses
  SysUtils,
  Rtti;

type
  TIntfFlagEx = (ifHasGuid, ifDispInterface, ifDispatch, ifMethodInfo, ifUnknown, ifUnknown2, ifAnonymousMethod);
  TIntfFlagsEx = set of TIntfFlagEx;

{$M+}
IFoo = interface
  ['{35CFB4E2-4A13-48E9-8026-C1558001F4B7}']
  procedure Main;
end;
{$M-}

{$M+}
IBar = interface(TProc)
  ['{AB2FEC1A-339F-4E58-B3DB-EC7B734F461B}']
end;
{$M-}

{$M+}
TMyProc = reference to procedure;
{$M-}

procedure PrintIntf(typeInfo: Pointer);
var
  context: TRttiContext;
  rttiInterface: TRttiInterfaceType;
  flags: TIntfFlagsEx;
begin
  rttiInterface := context.GetType(typeInfo) as TRttiInterfaceType;
  flags := TIntfFlagsEx(rttiInterface.IntfFlags);
  Writeln(rttiInterface.Name, ' ', TValue.From(flags).ToString);
end;

begin
  PrintIntf(TypeInfo(IInterface));
  PrintIntf(TypeInfo(IInvokable));
  PrintIntf(TypeInfo(IFoo));
  PrintIntf(TypeInfo(TProc));
  PrintIntf(TypeInfo(TFunc<Integer>));
  PrintIntf(TypeInfo(TMyProc));
  PrintIntf(TypeInfo(IBar));
  Readln;
end.

Этот код позволяет получить информацию о флагах для различных типов, включая анонимные методы, и вывести ее в консоль.

Заключение

При работе с анонимными методами через TypeInfo в Delphi важно понимать особенности их реализации компилятором. Недокументированные флаги и особенности выравнивания данных могут привести к неожиданным результатам. Внимательное изучение документации и дополнительных источников может помочь в решении возникающих проблем.

Создано по материалам из источника по ссылке.

Вопрос связан с проблемами и решениями, возникающими при работе с анонимными методами через механизм TypeInfo в языке программирования Delphi, включая некорректное отображение информации о типе и недокументированные флаги.

Комментарии и вопросы

Получайте свежие новости и обновления по Object Pascal, Delphi и Lazarus прямо в свой смартфон. Подпишитесь на наш Telegram-канал delphi_kansoftware и будьте в курсе последних тенденций в разработке под Linux, Windows, Android и iOS

:: Главная :: Типы и Переменные ::