爲什麼實現具有類型約束的泛型接口的泛型類需要重複這些約束？

Question

比方說，我有一個如下的C＃接口：

public interface IInterface<T> where T : SomeClass 
{ 
    void InterfaceMethod(); 
} 

，並按如下SomeClass的定義：

public class SomeClass 
{ 
    public void SomeMethod(); 
} 

現在，我想定義接口的實現，這將不編譯：

public class InterfaceImpl<T> : IInterface<T> 
{ 
    public void InterfaceMethod() 
    { 
     T test = default(T); 
     test.SomeMethod(); //Gives Error 
    } 
} 

之前，我將其更改爲：

public class InterfaceImpl<T> : IInterface<T> where T : SomeClass 
{ 
    public void InterfaceMethod() 
    { 
     T test = default(T); 
     test.SomeMethod(); //Compiles fine 
    } 
} 

從界面中類型約束是否也是「繼承的」（不是我所知道的正確的詞）是不合理的？

Answer 1

該類不需要重複這些約束，它需要提供一種類型，即滿足接口的約束條件。有這樣做的幾種方法：

• 它可以提供滿足約束條件的特定類型或
• 它可以放置在一個通用的類型比接口所期待的強其自身的限制，或
• 它可以從接口重複約束。

關鍵的一點是，在TInterfaceImpl<T>屬於InterfaceImpl，以便放置在任何T約束必須是InterfaceImpl自己。