.net 4 дженерики вопрос

Question

Я имею следующую структуру класса:

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>(); 
    } 
} 

Это дает мне скомпилировать Erorr в C# 4.0. Тип «Test.Y» не может использоваться как параметр типа «T» в общем типе или методе «Test.Z». Нет никакого неявного преобразования ссылок из «Test.Y» в «Test.BInterface».

Я, хотя ковариация в дженериках должна сделать эту работу? Любая помощь будет оценена.

Answer 1

Общие параметры в интерфейсах по умолчанию инвариантны, вам нужно явно указать, хотите ли вы, чтобы определенный общий параметр был ковариантным или контравариантным. В основном, в вашем примере вам нужно добавить «из» ключевое слово в объявлении интерфейса:

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

Вы можете найти более подробную информацию о создании вариантные интерфейсов на MSDN: Creating Variant Generic Interfaces (C# and Visual Basic).

Answer 2

I отсутствует out ключевое слово. Попробуйте добавить его к строкам:

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

Я не уверен, что это необходимо в обоих местах.