為什么實現具有類型約束的通用接口的泛型類需要重復這些約束？

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

該類不需要重復這些約束，它需要提供滿足接口約束的類型。 有幾種方法可以做到：

• 它可以提供滿足約束的特定類型，或
• 它可以將自己的約束放在比接口期望的更強的泛型類型上，或者
• 它可以重復界面的約束。

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