Свойства в интерфейсах Delphi и Pascal: особенности реализации и ограничения.

Delphi , Компоненты и Классы , Свойства и События

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

Проблема:

Исходный вопрос, поднятый в обсуждении, касается невозможности прямого использования полей класса для реализации свойств, объявленных в интерфейсе. При попытке скомпилировать код, где свойство интерфейса напрямую связано с полем класса, возникает ошибка компиляции: "No member is provided to access property".

Пример кода, демонстрирующий проблему:

{$mode ObjFPC}{$H+}
{$interfaces corba}
program iface2;
uses Classes, FGL;
type
  IPropNameable = interface
    property Name: string;
  end;

  TPropNameable = class(TObject, IPropNameable)
  protected
    fName: string;
    function GetName: string;
  public
    constructor Create(aName: string);
    // Ошибка компиляции возникает при использовании любой из следующих строк
    // property Name: string read fName;
    property Name: string read GetName;
  end;

  TPropNameableList = specialize TFPGList<IPropNameable>;

constructor TPropNameable.Create(aName: string);
begin
  fName := aName;
end;

function TPropNameable.GetName: string;
begin
  Result := fName;
end;

var
  propNameList: TPropNameableList;
  strings: TStringList;
  name: string;
  propNameable: IPropNameable;
begin
  propNameList := TPropNameableList.Create;
  strings := TStringList.Create;
  for propNameable in propNameList do
  begin
    name := propNameable.Name; // Ошибка здесь: No member is provided to access property
    strings.Add(name);
  end;
end.

Решение:

Интерфейсы в Delphi и Pascal не могут содержать поля для хранения данных. Они содержат только объявления методов (функций и процедур). Следовательно, свойство в интерфейсе должно быть реализовано через методы доступа: getter (для чтения) и setter (для записи).

Правильный способ объявления свойств в интерфейсе:

type
  IPropNameable = interface
    function GetName: string;
    property Name: string read GetName;
  end;

В этом случае, GetName - это функция, которая возвращает значение свойства Name. Класс, реализующий интерфейс IPropNameable, должен предоставить реализацию этой функции.

Пример реализации класса, реализующего интерфейс со свойством:

  TPropNameable = class(TObject, IPropNameable)
  private
    fName: string;
    function GetName: string;
  public
    constructor Create(aName: string);
  end;

constructor TPropNameable.Create(aName: string);
begin
  fName := aName;
end;

function TPropNameable.GetName: string;
begin
  Result := fName;
end;

В этом примере fName - это поле класса, которое хранит значение свойства Name. Функция GetName возвращает значение этого поля. Важно отметить, что GetName может быть объявлена в секции private или protected класса, обеспечивая инкапсуляцию данных.

Альтернативное решение (для readonly свойств):

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

type
  IPropNameable = interface
    function Name: string;
  end;

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

Почему так?

Интерфейсы определяют контракт, а не реализацию. Они говорят: "Класс, реализующий этот интерфейс, должен предоставлять доступ к свойству Name, которое возвращает строку". Как именно это свойство реализовано (через поле класса, вычисление или что-то еще) - это дело класса, реализующего интерфейс.

Интерфейс, по сути, является виртуальной таблицей методов (VMT). VMT содержит указатели на функции, которые должны быть реализованы классом. В VMT нет места для хранения данных.

Недостатки и возможные улучшения:

Как отмечалось в обсуждении, необходимость явного объявления getter'а и setter'а (даже для простых свойств) может привести к увеличению объема кода и усложнению его читаемости. Было бы удобно, если бы компилятор мог автоматически генерировать getter'ы и setter'ы на основе объявления свойства в интерфейсе, особенно если свойство просто связано с полем класса.

Такая возможность существует, например, в C#, где можно определить интерфейс с "чистым" свойством, а компилятор автоматически создаст необходимые методы доступа.

Заключение:

Хотя Delphi и Pascal предоставляют возможность определения свойств в интерфейсах, их реализация требует явного объявления getter'ов и setter'ов. Это связано с тем, что интерфейсы не могут содержать поля для хранения данных. Понимание этих ограничений позволяет правильно проектировать интерфейсы и писать более гибкий и расширяемый код. Возможно, в будущих версиях языка появятся возможности для автоматической генерации методов доступа, что упростит работу со свойствами в интерфейсах.

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

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

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

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

:: Главная :: Свойства и События ::