Type Résultat covariance - classe générique avec la méthode de retour à la fois un type d'interface et un type spécifique

Question

J'ai ces 2 interfaces:

public interface IResult 
{ 
    object SomeProperty {get;set;} 
} 

public interface IFooManager 
{ 
    IResult GetResult(string someId); 
} 

Je voudrais mettre en œuvre un IFooManager dans une classe générique de cette façon:

public class MyFooManager<T> : IFooManager where T: class, IResult 
{ 
    public T GetResult(string id) 
    { 
     return null; //the value doesn't really matter here 
    } 
} 

Cependant, il en résulte une erreur de compilation:

Cannot implement method from interface [..].IFooManager. Return type should be [..].IResult

Maintenant, je sais que je pourrais résoudre ce problème en définissant en outre la méthode d'interface explicitement, comme ceci:

IResult IFooManager.GetResult(string id) 
{ 
    return GetResult(id); 
} 

Mais les questions est la suivante: pourquoi ne peut pas le compilateur juste comprendre, que T GetResult() retourne en effet un objet mettant en œuvre IResult? Je sais que je pourrais probablement introduire une interface de covariance out T en plus de cela, mais je ne peux pas le rayer de ma tête - pourquoi la restriction de type T ne suffit pas pour assurer la sécurité du type?

Answer 1

Parce que:

IResult GetResult(string someId); 

n'est pas la même chose que:

T GetResult(string id) 

Vous avez dit au compilateur avec la contrainte que T est une classe qui implémente IResult - pas IResult. Ces 2 choses ne sont pas les mêmes.