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

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

类不需要重复这些约束，它需要提供一个满足接口约束的类型。有几种方法：

• 它可以提供满足约束的特定类型，或者
• 它可以对泛型类型设置自己的约束，这些约束比接口预期的要强，或者
• 它可以从界面重复约束。

关键是InterfaceImpl<T>中的T属于InterfaceImpl，所以对T施加的任何约束都必须是InterfaceImpl自己的。