德爾福：泛型和「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無效的類型轉換」。有誰知道爲什麼會發生這種情況？

編輯：請注意，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;