Ошибки доступа к памяти при использовании RTTI и выражений свойств в Delphi

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

В процессе разработки на Delphi иногда можно столкнуться с ошибками доступа к памяти (Access Violation, AV), особенно при работе с механизмами RTTI (Runtime Type Information) и выражениями свойств. Давайте рассмотрим типичную проблему, связанную с этим, и узнаем, как её можно решить.

Проблема

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

Описание кода

Код, представленный в вопросе, использует RTTI для получения значения свойства объекта. В методе Evaluate класса TPropertyExpression создается контекст RTTI, затем получается тип объекта и свойство по имени. После этого, с помощью метода GetValue, пытаются получить значение свойства.

function TPropertyExpression<TObjectType, TResultType>.Evaluate(aObject: TObjectType): TResultType;
var
  aCtx: TRttiContext;
  aModelType: TRttiType;
  aResultType: TRttiType;
  aProperty: TRttiProperty;
  aValue: TValue;
begin
  aCtx := TRttiContext.Create;
  aModelType := aCtx.GetType(System.TypeInfo(TObjectType));
  aResultType := aCtx.GetType(System.TypeInfo(TResultType));
  aProperty := aModelType.GetProperty(PropertyName);
  aValue := aProperty.GetValue(Addr(aObject));
  Result := aValue.AsType<TResultType>;
end;

Решение проблемы

Проблема заключается в том, что метод GetValue ожидает указатель на экземпляр объекта, но разработчик передает ему адрес переменной, содержащей указатель. Для решения этой проблемы необходимо изменить определение класса TPropertyExpression, добавив ограничение class для TObjectType, и использовать метод Pointer для передачи указателя на объект в метод GetValue.

type
  TPropertyExpression<TObjectType: class; TResultType> = class
    // ...
  end;

function TPropertyExpression<TObjectType: class; TResultType>.Evaluate(aObject: TObjectType): TResultType;
begin
  // ...
  aValue := aProperty.GetValue(Pointer(aObject));
  // ...
end;

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

В альтернативном ответе обсуждается, что нет необходимости использовать типовое приведение к Pointer, и можно просто передать указатель на объект в метод GetValue напрямую:

aValue := aProperty.GetValue(aObject);

Также упоминается, что RTTI для свойств записей не поддерживается, и классы должны быть ограничены только типами классов.

Заключение

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

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

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

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

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

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