我可以指定一個C＃類型參數只能是一個接口類型嗎？

Question

我想實現一個通用的C＃類，它看起來大致如下：

abstract class Foobar<T> : AbstractBase, T 
{ ... } 

失敗的原因是C＃只允許類型的基類之後是接口，所以未來我試試這個：

abstract class Foobar<T> : AbstractBase, T where T : interface 
{ ... } 

但後來我發現C＃不允許這種形式的類型約束。只允許使用where T : struct和where T : class。

我該如何規定類型參數只能是接口類型？

Answer 1

基本上，你不能。

您可以對特定接口進行約束，但不是所有接口的通用接口。所以你可以限制爲IEnumerable爲例，但不是的任何接口。

你究竟需要什麼？

Answer 2

你不能用簡單的話來說。

Answer 3

失敗的原因是C＃只允許類型的基類之後是接口

這個限制是由於在C＃中缺少多重繼承的。多重繼承可以通過使用接口來近似，因爲重寫方法是明確的。一個類只能擴展一個其他類，但可以實現多個接口。這裏的技巧是實現類必須爲方法定義主體，以便實現特定於調用哪個方法。

使用限制T的位置可以應用於一個類或幾個接口。您不能將範圍限制爲幾個類別。

Answer 4

我相信你誤解了where T : struct和where T : class的含義。

一個通用type constraint像這意味着T必須是值類型或分別一引用類型。

然而，接口的目的是定義合同，這是一個完全不同的概念相比值類型與引用類型的語義。

因此像where T : interface這樣的限制是沒有意義的。

如果你想知道更多，我建議你閱讀C＃編程指南類型約束：

Constraints on Type Parameters (C# Programming Guide)

Answer 5

與該代碼真正的問題是，你是從類型參數繼承。

試圖編譯

abstract class Foobar<T> : T { ... } 

仍然會失敗：錯誤CS0689：無法從「T」派生，因爲它是一個類型參數。

我認爲這至少在抽象類的情況下是完全合理的，我也想要這個特性，但是C＃編譯器不會讓你這樣做。