Delphi：泛型和“is”运算符问题

Question

基于较早的post，我编写了以下代码。请原谅这篇文章的冗长。我认为最好让所有各方都有完整的代码可供测试和评论。

program sandbox;
{$APPTYPE CONSOLE}

uses
  SysUtils,
  Generics.Collections;

type
  TDataType = class
    // Stuff common to TInt and TStr
  end;

  TInt = class(TDataType)
    FValue:  integer;
    constructor Create(Value, Low, High: integer);
  end;

  TStr = class(TDataType)
    FValue: string;
    constructor Create(Value: string; Length: integer);
  end;

  TSomeClass = class
    FIntList: TList<TInt>;
    FStrList: TList<TStr>;
    procedure AddToList<T: TDataType>(Element: T);
    constructor Create();
    procedure Free();
  end;

constructor TInt.Create(Value, Low, High: Integer);
begin
  inherited Create();
  FValue := Value;   
end;

constructor TStr.Create(Value: string; Length: Integer);
begin
  inherited Create();
  FValue := Value;
end;

procedure TSomeClass.AddToList<T>(Element: T);
begin
  if TObject(Element) is TInt then
    FIntList.Add(Element)
  else if TObject(Element) is TStr then
    FStrList.Add(Element);
end;

constructor TSomeClass.Create();
begin
  inherited;
  FIntList := TList<TInt>.Create();
  FStrList := TList<TStr>.Create();
end;

procedure TSomeClass.Free();
var
  SomeIntItem: TInt;
  SomeStrItem: TStr;
begin
  for SomeIntItem in FIntList do begin
    SomeIntItem.Free();
  end;

  for SomeStrItem in FStrList do begin
    SomeStrItem.Free;
  end;

  FIntList.Free();
  FStrList.Free();
end;

var
  Inst: TSomeClass;

begin
  try
    { TODO -oUser -cConsole Main : Insert code here }

    Inst := TSomeClass.Create;
    Inst.AddToList(TInt.Create(100, 0, 101));
    Inst.AddToList(TStr.Create('Test', 10));
    Inst.Free;

  except
    on E:Exception do
    Writeln(E.Classname, ': ', E.Message);
  end;
end.

请注意，现实世界中TInt 和TStr 的构造函数也将使用Low, High: integer 和Length: integer 参数。我在运行 Delphi 2009 时在 if TObject(Element) is TInt then 和 else if TObject(Element) is TStr then 遇到“E2089 Invalid typecast”。有人知道为什么会这样吗？

编辑：请注意TInt 和TStr 只是可能的 10-20 种其他类型中的两种；否则重载是工作的工具。 :)

Answer 1

重新考虑您的设计。您可以只使用重载而不是泛​​型类型参数，如下所示：

procedure Add (SomeString : TString); overload;
procedure Add (SomeInt : TInt); overload;

或者，如果您想使用多态性，请按照 Gamecat 的建议进行操作，只需将基本类型作为参数传递，在该参数上使用 is：

procedure Add (Element : TDataType);        

就像 Rob 在对您之前的问题的评论中指出的那样：如果您只允许两种类型并且具有基于实际类型的条件，那么它并不是真正的通用。所以泛型在这里可能是错误的工具。

希望对您有所帮助。

Answer 2

问题不在于泛型。您将 TDataType 添加到需要 TInt 或 TStr 的列表中：

procedure TSomeClass.AddToList<T>(Element: T);
begin
  if TObject(Element) is TInt then
    FIntList.Add(TInt(Element))
  else if TObject(Element) is TStr then
    FStrList.Add(TStr(Element));
end;

解决问题。

但为什么不使用：

procedure TSomeClass.AddToList(Element: TDataType);
begin
  if Element is TInt then
    FIntList.Add(TInt(Element))
  else if Element is TStr then
    FStrList.Add(TStr(Element));
end;