Почему C# не допускает наследование возвращаемого типа при реализации интерфейса

Question

Есть ли разумная причина, почему приведенный ниже код не является законным в C#?

class X: IA, IB 
{ 
    public X test() // Compliation Error, saying that X is not IB 
    { 
     return this; 
    } 
} 

interface IA 
{ 
    IB test(); 
} 
interface IB { }; 

Answer 1

Эта функция называется ковариацией возвращаемого типа. C# не поддерживает его по следующим причинам:

1) CLR не поддерживает его. Чтобы заставить его работать на C#, нам нужно просто наплевать целую кучу маленьких вспомогательных методов, которые будут отличать правильный тип возвращаемого значения. Ничто не мешает вам сделать это самостоятельно.

2) Андерс считает, что ковариация возвращаемого типа не является хорошей языковой функцией.

3) \ У нас есть много высших приоритетов для языка. У нас ограниченные бюджеты, поэтому мы стараемся делать только самые лучшие функции, которые могут быть доступны в любом выпуске. Конечно, это было бы неплохо, но достаточно легко сделать это самостоятельно, если захочешь. Лучше, чтобы мы тратили время на добавление функций, которые улучшают опыт разработчика или добавляют больше репрезентативной власти на язык.

Answer 2

Подписи должны соответствовать точному указанию интерфейса. Нет причин, по которым вы не можете вернуть экземпляр X из метода, но подпись метода должна будет использовать IB.

Что касается разумной причины, то это, вероятно, предпочтительнее с точки зрения удобочитаемости кода.

Вы можете реализовать интерфейс явно и предоставить альтернативную подпись, которая возвращает X, которая не определена интерфейсом. Если вы знаете, что ваш IA на самом деле X, вы можете использовать это вместо этого.

Answer 3

Потому что C# не поддерживает co и contravriance для интерфейсов во время компиляции. Таким образом, реализация метода IA.Test() должна точно соответствовать его объявлению. Вы можете, однако, вернуть экземпляр X во время выполнения

Answer 4

public X test(); 

Вы должны объявить тело для всех методов в любом классе, это не абстрактный.

Попробуйте это:

class X : IA, IB 
{ 
    public IB test() 
    { 
     return new X(); 
    } 
} 

interface IA 
{ 
    IB test(); 
} 
interface IB { }; 

Answer 5

Вы можете использовать явную реализацию интерфейса, чтобы избежать этой проблемы.

Answer 6

Это может помочь http://geekswithblogs.net/abhijeetp/archive/2010/01/10/covariance-and-contravariance-in-c-4.0.aspx Вы можете использовать «из» ключевое слово