.net 4 génériques question

Question

J'ai la structure de classe suivante:

public class A : AInterface { } 
public interface AInterface { } 

public class B<T> : BInterface<T> where T : AInterface 
{ 
    public T Element { get; set; } 
} 
public interface BInterface<T> where T : AInterface 
{ 
    T Element { get; set; } 
} 

public class Y : B<A> { } 

public class Z<T> where T : BInterface<AInterface> {} 

public class Test 
{ 
    public Test() 
    { 
     Z<Y> z = new Z<Y>(); 
    } 
} 

Cela me donne les éléments suivants dans la compilation erorr C# 4.0. Le type 'Test.Y' ne peut pas être utilisé comme paramètre de type 'T' dans le type générique ou la méthode 'Test.Z'. Il n'y a pas de conversion de référence implicite de 'Test.Y' à 'Test.BInterface'.

Je pense que la covariance dans les génériques devrait faire ce travail? Toute aide serait appréciée.

Answer 1

Les paramètres génériques dans les interfaces sont invariants par défaut, vous devez spécifier explicitement si vous souhaitez qu'un paramètre générique particulier soit covariant ou contravariant. En fait, dans votre exemple, vous devez ajouter le mot clé « out » à la déclaration d'interface:

public interface BInterface<out T> where T : AInterface { } 

Vous pouvez trouver plus d'informations sur la création d'interfaces variantes sur MSDN: Creating Variant Generic Interfaces (C# and Visual Basic).

Answer 2

I pensez il vous manque le mot-clé out. Essayez de l'ajouter aux lignes suivantes:

public interface BInterface<out T> where T : AInterface { } 
public class Z<out T> where T : BInterface<AInterface> {} 

Je ne suis pas sûr si c'est nécessaire dans les deux endroits, cependant.