Почему общий класс, реализующий общий интерфейс с ограничениями типа, должен повторять эти ограничения?

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 «s собственный.