Delphi 12中派生类实现不同类型Info属性的可行性咨询

你期望的这种类结构在Delphi 12里是完全可行的，但要注意几个关键细节，避免踩坑：

核心原理：属性的协变重声明 #

Delphi支持子类对父类的属性进行协变重声明——也就是子类的属性可以返回父类属性类型的子类，像你代码里TClassB的Info属性返回TClassBInfo（继承自TClassAInfo），这种写法是合法的，编译器会正确识别类型。

优化后的完整实现示例 #

为了避免内存泄漏和类型不匹配问题，建议结合虚方法来管理Info实例的创建，以下是修正后的代码：

// 先声明基类
TBase = class;

TClassAInfo = class
public
  // 设为虚方法，方便子类重写实现不同逻辑
  function GetInfo: String; virtual;
end;

TClassA = class(TBase)
private
  FInfo: TClassAInfo;
  // 虚方法用于创建Info实例，子类可重写
  procedure CreateInfo; virtual;
public
  constructor Create; virtual;
  destructor Destroy; override;
  property Info: TClassAInfo read FInfo;
end;

TClassBInfo = class(TClassAInfo)
public
  // 重写父类方法，实现自定义逻辑
  function GetInfo: String; override;
end;

TClassB = class(TClassA)
protected
  // 重写CreateInfo，创建子类的Info实例
  procedure CreateInfo; override;
public
  // 重声明属性，返回更具体的TClassBInfo类型
  property Info: TClassBInfo read FInfo;
end;

// 方法实现
function TClassAInfo.GetInfo: String;
begin
  Result := '来自TClassAInfo的信息';
end;

constructor TClassA.Create;
begin
  inherited;
  CreateInfo;
end;

procedure TClassA.CreateInfo;
begin
  FInfo := TClassAInfo.Create;
end;

destructor TClassA.Destroy;
begin
  FInfo.Free;
  inherited;
end;

function TClassBInfo.GetInfo: String;
begin
  Result := '来自TClassBInfo的信息';
end;

procedure TClassB.CreateInfo;
begin
  FInfo := TClassBInfo.Create;
end;

关键注意点 #

1. 避免字段隐藏：不要在子类里重新声明FInfo字段（像你原代码那样），否则父类和子类会各有一个FInfo，容易导致内存泄漏。通过重写父类的CreateInfo虚方法，让父类的FInfo直接指向子类的Info实例更安全。
2. 内存管理：一定要在父类的析构函数里释放FInfo，因为子类的Info实例也是父类FInfo的引用，父类析构时会自动释放。
3. 多态方法：把GetInfo设为虚方法，子类重写后，无论通过父类还是子类的Info调用，都能执行对应类型的逻辑。

这样实现后，不管变量x是TClassA还是TClassB类型，调用x.Info.GetInfo都会返回对应类型的正确结果。

内容的提问来源于stack exchange，提问作者Wolfgang Bures