Проблема полиморфизма в Delphi: некорректное поведение конструкторов в консольном приложении

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

Вопрос, поднятый в данном запросе, касается некорректного поведения конструкторов при использовании полиморфизма в консольном приложении на языке Delphi. Проблема заключается в том, что при вызове метода Test, который должен создавать объекты различных дочерних классов, в консоли отображается только идентификатор родительского класса Parent, вместо ожидаемых Parent, Child1 и Child2.

Контекст проблемы

В исходном коде программы Project1 определены классы TParent, TChild1 и TChild2, где последние два класса наследуются от TParent. В методе Test происходит создание экземпляров классов через метакласс TParentClass, но вместо полиморфного вызова конструкторов дочерних классов, выводится идентификатор только родительского класса.

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

Проблема заключается в том, что конструкторы классов не объявлены как виртуальные. В языке Object Pascal, если конструктор не объявлен как виртуальный, привязка к нему происходит во время компиляции, и не учитывается тип объекта во время выполнения. Для решения проблемы необходимо объявить конструкторы как виртуальные, что позволит использовать полиморфизм и вызывать соответствующие конструкторы в зависимости от типа объекта.

Исправленный код

program Project1;
{$APPTYPE CONSOLE}

type
  TParent = class
  public
    ID: string;
    constructor Create; virtual;
  end;
  TChild1 = class(TParent)
  public
    constructor Create; override;
  end;
  TChild2 = class(TParent)
  public
    constructor Create; override;
  end;
  TParentClass = class of TParent;

constructor TParent.Create;
begin
  ID := 'Parent';
end;

constructor TChild1.Create;
begin
  inherited Create;
  ID := 'Child1';
end;

constructor TChild2.Create;
begin
  inherited Create;
  ID := 'Child2';
end;

procedure Test(ImplClass: TParentClass);
var
  ImplInstance: TParent;
begin
  ImplInstance := ImplClass.Create;
  WriteLn(ImplInstance.ID);
  ImplInstance.Free;
end;

begin
  Test(TParentClass(TParent));
  Test(TParentClass(TChild1));
  Test(TParentClass(TChild2));
  Readln;
end.

При таком подходе, когда конструкторы объявляются как виртуальные, и в дочерних классах вызывается конструктор базового класса (inherited Create;), консольное приложение выведет ожидаемый результат:

Parent
Child1
Child2

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

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

Заключение

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

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

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

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

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

:: Главная :: Классы ::