Perché una classe generica che implementa un'interfaccia generica con vincoli di tipo deve ripetere questi vincoli?

Question

Diciamo che ho un seguente interfaccia C#:

public interface IInterface<T> where T : SomeClass 
{ 
    void InterfaceMethod(); 
} 

E SomeClass è definito come segue:

public class SomeClass 
{ 
    public void SomeMethod(); 
} 

Ora vorrei definire l'implementazione dell'interfaccia, che non verrà compilato :

public class InterfaceImpl<T> : IInterface<T> 
{ 
    public void InterfaceMethod() 
    { 
     T test = default(T); 
     test.SomeMethod(); //Gives Error 
    } 
} 

prima che cambi a:

public class InterfaceImpl<T> : IInterface<T> where T : SomeClass 
{ 
    public void InterfaceMethod() 
    { 
     T test = default(T); 
     test.SomeMethod(); //Compiles fine 
    } 
} 

Non avrebbe senso che i vincoli di tipo siano anche "ereditati" (non la parola giusta, lo so) dall'interfaccia?

Answer 1

La classe non ha bisogno di ripetere questi vincoli, è necessario fornire un tipo che soddisfi i limiti dell'interfaccia. Ci sono diversi modi di farlo:

• può fornire un tipo specifico che soddisfa i vincoli, o
• E 'possibile inserire i propri vincoli su un tipo generico che sono forte di quello che l'interfaccia si aspetta, oppure
• Può ripetere i vincoli dall'interfaccia.

La cosa fondamentale è che T in InterfaceImpl<T> appartiene InterfaceImpl, in modo da qualunque vincoli che sono immessi sul T deve essere InterfaceImpl 's proprio.