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

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