Определение и использование фактического типа в обобщенных классах на Delphi

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

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

Проблема и вопрос

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

Подходы к решению

Использование RTTI

Для определения фактического типа в обобщенном классе можно использовать механизмы RTTI (Run-Time Type Information). Пример кода, который проверяет, является ли фактический тип строкой, выглядит следующим образом:

uses
  TypInfo;

function IsString<T>: Boolean;
begin
  Result := TypeInfo(T) = TypeInfo(String);
end;

Аналогично можно проверить, является ли тип классом:

function IsClass<T>: Boolean;
begin
  Result := PTypeInfo(TypeInfo(T))^.Kind = tkClass;
end;

Пример специализации

Для обработки строк в отдельном порядке можно определить специализированную версию метода:

type
  TGenericType<T> = class
  public
    class function Func: Integer; static;
  end;

class function TGenericType<T>.Func: Integer;
begin
  // Общий случай
  Result := 0; // Логика для не-строковых типов
end;

class function TGenericType<String>.Func: Integer; static;
begin
  // Специализированный случай для строк
  Result := -1; // Логика для строковых типов
end;

Использование TypeInfo для получения размера

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

class function RTTIUtils.GetDeepSize<T>: Integer;
var
  StringLength: Integer;
  Ptr: PInteger;
begin
  if (TypeInfo(T) = TypeInfo(String)) then
  begin
    Ptr := @Variable;
    Ptr := PInteger(Ptr^);
    Dec(Ptr);
    StringLength := Ptr^;
    Result := StringLength * SizeOf(Char) + 12;
  end
  else
    Result := 0;
end;

Пример работы с перечислениями

При работе с перечислениями можно использовать информацию о типе для обработки значений:

type
  TEnumArr<T> = class
  strict private
    fArr: array of Byte;
    fIdxType: TOrdType;
    function IdxToInt(idx: T): Int64;
    procedure Put(idx: T; Val: Byte);
    function Get(idx: T): Byte;
  public
    constructor Create;
    property Items[Index: T]: Byte read Get write Put; default;
  end;

Конструктор класса TEnumArr<T> инициализирует внутренний массив, используя максимальное значение перечисления, а методы IdxToInt, Put и Get используют информацию о типе для корректной работы с перечислениями.

Заключение

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

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

Статья о том, как определить и использовать фактический тип в обобщенных классах на Delphi для реализации специфического поведения в зависимости от типа данных.

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

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

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