C＃泛型類型

Question

我在圖書館三類用途：

public abstract class Base<TFirst, TSecond> 
{ 
    public Base() 
    { 
     // actions with ID and Data of TFirst and TSecond 
    } 
} 

public abstract class First<TFirstID, TFirstData> 
{ 
    public TFirstID ID {get; set;} 
    public TFirstData Data {get; set;} 
} 

public abstract class Second<TSecondID, TSecondData> 
{ 
    public TSecondID ID {get; set;} 
    public TSecondData Data {get; set;} 
} 

我怎麼可以指定T第一必須從第一個繼承和TSecond必須從第二繼承，不使用泛型類型爲基礎ID和數據？

像這樣：

public abstract class Base<TFirst, TSecond> 
    where TFirst : First // without generic-types 
... 

編輯： 在班級第一，第二我用TFirstID和TSecondID的性質。在課堂上我使用這個屬性。

Answer 1

如果他們依賴於這些項目的簽名，這可能會很棘手。我可能會說創建一個沒有類型簽名的接口或抽象基礎。接口更有可能。

Answer 2

通常在這樣的情況下，我會建一個基類（非通用）的First<TFirstID, TFirstData>從，所以得出：

public abstract class First{} 

public abstract class First<TFirstID, TFirstData> 
    : First 
{ 
} 

然後你就可以把一個where TFirst : First到你的宣言。這並不完美，但如果你小心的話，它會有效。但是這可能很棘手，取決於你想要完成的事情 - 你失去了限制類型的所有通用性。

Answer 3

有沒有辦法可以比通過引入一個平行的類層次不geherics，做一些運行時檢查做到這一點其他：

public abstract class Base<TFirst, TSecond> 
    where TFirst : First 
{ 
    static Base() 
    { 
     if(!typeof(TFirst).IsGenericType || 
      typeof(TFirst).GetGenericTypeDefinition() != typeof(First<,>)) 
      throw new ArgumentException("TFirst"); 
    } 
} 

public abstract class First { } 
public abstract class First<TFirstID, TFirstData> : First 
{ 
} 

或者，你可以用一個標記接口（IFirst）取代First。

運行時檢查是可能的，因爲每個closed generic type都會調用靜態構造函數。

Answer 4

一個解決辦法是有第一和第二實施本身不依賴於泛型類型參數的接口：

public interface IFirst 
{ 
} 

public abstract class First<TFirstID, TFirstData> : IFirst 
{ 
} 

然後確保在鹼的類型參數必須使用IFirst

public abstract class Base<TFirst, TSecond> 
    where TFirst : IFirst 

Answer 5

就是這樣，如果可能的話，指定允許編譯器捕獲Base基本參數的無效用法的泛型類型約束。

如果出於某種原因根本不能使用泛型類型約束，唯一強制執行類型檢查的方法是將運行時檢查添加到邏輯中，如果泛型是創建指定無效泛型類型：

public abstract class Base<TFirst, TSecond> 
{ 
    public Base() 
    { 
     if(!typeof(TFirst).IsAssignableFrom(typeof(First)) 
      throw new InvalidOperationException("TFirst must derive from First."); 
     if(!typeof(TSecond).IsAssignableFrom(typeof(Second)) 
      throw new InvalidOperationException("TSecond must derive from Second."); 
    } 
} 

上述代碼是嚴重的代碼異味。泛型的要點是允許一個類使用許多不同的內部類，同時允許編譯器確保使用的參數類型能夠使泛型類與它們一起工作。此外，您還必須能夠引用First和Second的命名空間（我認爲這是您不能將它們用作泛型類型參數的原因）。