将泛型类型的成员强制转换为 TObject？

Question

我目前正在考虑一个场景，我想要一个泛型类，在其项目上调用 Free IF 这些项目属于对象类型。所以我尝试了以下操作：

if (PTypeInfo (TypeInfo (T)).Kind = tkClass) then
  begin
  RttiType := RttiContext.GetType (TypeInfo (T));
  FreeMethod := RttiType.GetMethod ('Free');
  if (FreeMethod <> nil) then
    FreeMethod.Invoke (FInstance, []);
  end;

不幸的是，最后一行无法编译，这并不奇怪，因为类型不匹配。问题是：我可以编译它吗？我尝试转换为 Pointer，然后转换为 TObject，但这给了我一个无效的类型转换错误。有什么方法可以将 FInstance : T 放入 TObject 引用中，然后将其传递给 Invoke 吗？

或者还有其他方法可以实现我想要的吗？请注意，重点是获取此类中的所有内容，因此我不想创建一个仅接受对象的 TObjectMyClass 。

感谢您的帮助。

Answer 1

这还不够吗？

if PTypeInfo(TypeInfo(T))^.Kind = tkClass then
  TObject(FInstance).Free;

Answer 2

直接转换为 TObject 似乎可以在 Delphi 2010 中工作：

FreeMethod.Invoke (TObject(FInstance), []);

完整示例：

implementation

uses TypInfo, Rtti;

{$R *.dfm}

type
  TTest<T> = class
    FInstance : T;
    procedure F;
  end;

procedure TForm1.FormCreate(Sender: TObject);
var
  O : TTest<TObject>;
begin
  O := TTest<TObject>.Create;
  O.FInstance := TStringList.Create;
  O.F;
  O.Free;
end;

{ TTest<T> }

procedure TTest<T>.F;
var
  RttiType : TRttiType;
  FreeMethod : TRttiMethod;
  RttiContext : TRttiContext;
begin
  if (PTypeInfo (TypeInfo (T)).Kind = tkClass) then
  begin
    RttiType := RttiContext.GetType (TypeInfo (T));
    FreeMethod := RttiType.GetMethod ('Free');
    if (FreeMethod <> nil) then
      FreeMethod.Invoke (TObject(FInstance), []);
  end;
end;

Answer 3

这对我来说有点糟糕的设计。泛型的要点之一是摆脱像这样的动态类型决策。

如果您确实使用泛型功能，那么对我来说，拥有一个带有类型参数且仅接受 TObject 后代的子类会更有意义。由于您必须静态地决定如何实例化泛型类，因此当 T 是一个类时使用 TMyObjectClass 并使用 TMyClass 其他地方。

我想如果单个容器需要包含对象和非对象，您将被迫采取您正在采取的方法。但如果情况并非如此，那么我就会感觉有些不对劲。

Answer 4

事实上，我自己刚刚找到了答案。 TValue.From 可以解决这个问题：

if (PTypeInfo (TypeInfo (T)).Kind = tkClass) then
  begin
  RttiType := RttiContext.GetType (TypeInfo (T));
  FreeMethod := RttiType.GetMethod ('Free');
  if (FreeMethod <> nil) then
    FreeMethod.Invoke (TValue.From <T> (FInstance), []);
  end;