Динамическое создание обобщенных типов в Delphi: пример с Spring4D и ILookupService

Delphi , Компоненты и Классы , RTTI

Вопрос о динамическом создании обобщенных типов в Delphi является актуальным для разработчиков, работающих с компонентами, требующими инверсии управления (IoC) и зависимостей, такими как Spring4D. Это позволяет создавать более гибкие и модульные приложения, где компоненты и сервисы могут быть легко подключены и отключены на этапе выполнения. В данном случае рассматривается использование обобщенных интерфейсов для получения представлений (views) различных моделей в рамках контейнера Spring4D.

Проблема

Разработчик столкнулся с необходимостью динамического создания обобщенного типа в Delphi, чтобы использовать его в контексте контейнера Spring4D. Он имеет интерфейс ILookupView<TModel>, который должен быть зарегистрирован в контейнере для каждого типа модели. Однако, использование обобщенного метода GetLookupFor<T> невозможно, так как интерфейсы не могут иметь обобщенные члены. Вместо этого, разработчик хочет определить интерфейс ILookupService с методом GetLookupFor, который принимает PTypeInfo вместо обобщенного параметра, чтобы избежать создания множественных экземпляров сервиса.

Контекст

В контексте использования Spring4D, разработчик уже зарегистрировал в контейнере типы представлений для различных моделей, таких как TAssociate, TUser, TMandate, и соответствующие им интерфейсы ILookupView. Сервис TLookupService предполагается для получения представлений через контейнер, но текущая реализация требует обобщенного параметра, что неудобно для использования.

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

В Delphi невозможно динамически создавать обобщенные типы на этапе выполнения, так как обобщения компилируются статически. Однако, можно использовать RTTI (Runtime Type Information) для работы с типами на этапе выполнения. Например, функция GetInterfaced может быть реализована следующим образом:

function GetInterfaced(aType: PTypeInfo): TRttiType;
begin
  Result := TRttiContext.Create.GetType(aType);
end;

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

Рассмотрим альтернативный подход к реализации ILookupService без использования обобщений. Вместо этого, можно определить интерфейс ILookupService с методом GetLookupFor, который принимает PTypeInfo и возвращает IInterface. Это позволит создать один экземпляр сервиса для всех типов представлений.

ILookupService = interface
  function GetLookupFor(aType: PTypeInfo): IInterface;
end;

Также, необходимо реализовать метод SomeHowGetTypeOf, который будет принимать обобщенный тип и возвращать PTypeInfo для использования в контейнере:

function SomeHowGetTypeOf<TModel>(aModelType: TModelClass): PTypeInfo;
begin
  Result := TRttiContext.Create.GetType(TypeInfo(TModelClass));
end;

Используя этот подход, разработчик может зарегистрировать в контейнере обобщенные типы представлений и затем использовать сервис TLookupService для получения экземпляров этих представлений на основе PTypeInfo.

Пример использования

procedure TMyForm.DoIt;
var
  aLookup: ILookupView<TMandate>;
begin
  aLookup := fLookupService.GetLookupFor(TypeInfo(TMandate)) as ILookupView<TMandate>;
  // Дальнейшая работа с представлением
end;

Заключение

Хотя Delphi не поддерживает динамическое создание обобщенных типов на этапе выполнения, использование RTTI и альтернативных подходов к определению интерфейсов и методов сервисов позволяет достичь желаемого поведения в контексте IoC и зависимостей, таких как Spring4D.

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

Разработчик в Delphi столкнулся с необходимостью создания динамических обобщенных типов для использования с контейнером Spring4D, что привело к поиску решения с использованием RTTI для работы с типами во время выполнения программы.

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

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

:: Главная :: RTTI ::