为什么实现具有类型约束的通用接口的泛型类需要重复这些约束？

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自身。