класса вместо интерфейса неисправного

Question

interface I1 
{ 
} 
class ClassOfI1 : I1 
{ 
} 

interface I2 
{ 
    I1 ABC { get; set; } 
} 
class ClassOfI2 : I2 
{ 
    public ClassOfI1 ABC { get; set; } 
} 

Выдает следующую ошибку:

'ns.ClassOfI2' does not implement interface member 'ns.I2.ABC'. 'ns.ClassOfI2.ABC' cannot implement 'ns.I2.ABC' because it does not have the matching return type of 'ns.I1'.

Почему? (И есть ли способ обойти это? Я хочу ClassOfI1 там, а не только интерфейс.)

Answer 1

При реализации интерфейсов, то возвращаемые типы должны точно совпадать. C# не поддерживает ковариацию возвращаемого типа. Поэтому Ваша реализация должна быть:

class ClassOfI2 : I2 
{ 
    public I1 ABC { get; set; } 
} 

Даже если он, ваш код будет небезопасно, так как вы могли бы сделать:

public class Other : I1 { ... } 
I2 iface = new ClassOfI2(); 
iface.ABC = new Other(); 

Вы могли бы рассмотреть возможность использования дженериков:

interface I2<T> where T : I1 
{ 
    T ABC { get; set; } 
} 

class ClassOfI2 : I2<ClassOfI1> 
{ 
    public ClassOfI1 ABC { get; set; } 
} 

Answer 2

Потому что ваш метод возвращает ClassOfI1 вместо I1! Он должен вернуть сам интерфейс. Позже вам разрешено возвращать конкретный класс (в данном случае ClassOfI1), но определение в реализации должно соответствовать таковому в интерфейсе! Так изменить код:

interface I1 
{ 
} 

class ClassOfI1 : I1 
{ 
} 

interface I2 
{ 
    I1 ABC { get; set; } 
} 

class ClassOfI2 : I2 
{ 
    public I1 ABC { get; set; } 
} 

и он должен работать.

Вы всегда можете использовать экземпляр ClassOfI1 в коде, как:

var c1 = new ClassOfI1(); 
var c2 = new ClassOfI2(); 
c2.ABC = c1; 

Answer 3

Вот способ для этого:

class ClassOfI2 : I2 
{ 
    ClassOfI1 _ABC; 
    public I1 ABC { get { return _ABC; } set { _ABC = (ClassOfI1)value; } } 
} 

Обратите внимание, что это приведет к исключению в случае, вызванном Ли в его ответе, но при использовании только с ClassOfI1 - он работает нормально.

Answer 4

Я только что видел this answer, и это похоже на правильный способ: общие интерфейсы.

Суть этого:

Марка ABC «s Type (в I2): Twhere T: I1