Perché l'implementazione dell'interfaccia non può restituire un tipo più specifico?

Question

Se un'interfaccia specifica una proprietà o un metodo per restituire un'altra interfaccia, perché non è consentito alle implementazioni della prima interfaccia di "modificare" il tipo restituito in un tipo più specifico?

Facciamo un esempio per illustrare:

interface IFoo 
{ 
    IBar GetBar(); 
} 
interface IBar 
{ } 

class Foo : IFoo 
{ 
    // This is illegal, we are not implementing IFoo properly 
    public Bar GetBar() 
    { 
     return new Bar(); 
    } 
} 

class Bar : IBar 
{ } 

So come farlo funzionare, questo è non la mia preoccupazione.

posso solo uno:

• Cambio tipo di ritorno di GetFoo()-IBar, o
• esplicitamente implementare l'interfaccia e basta chiamare GetBar dalla IFoo.GetBar() metodo

Quello che sto veramente chiedendo è il ragionamento per non limitarsi a compilare il codice sopra. C'è qualche caso in cui quanto sopra non soddisfa il contratto specificato da IFoo.

Answer 1

In genere, direi che sarebbe il caso di bilanciare i vantaggi con la maggiore complessità del supporto di tale funzione. (Tutte le funzionalità si sforzano di progettare, documentare, implementare, testare e quindi gli sviluppatori devono essere educati anche su di loro.) Si noti che potrebbero esserci alcune complessità significative se si desidera supportare il ritorno di un tipo di valore che ha implementato un'interfaccia, ad esempio (come quello finisce in una rappresentazione diversa, piuttosto che solo un riferimento).

In questo caso, io non rispondo allo allo il CLR supporta anche tale funzione, il che renderebbe molto difficile per C# farlo in modo pulito.

Sono d'accordo che sarebbe una caratteristica utile, ma sospetto che non sia stato ritenuto abbastanza utile da giustificare il lavoro extra richiesto.

Answer 2

La funzione che si sta chiedendo si chiama "covarianza del tipo di ritorno". Come notato on Wikipedia, Java e C++ hanno entrambi, il che forse rende sorprendente che C# non lo faccia.

Eric Lippert conferma nei commenti su questa risposta che questa funzione non è stata implementata perché non è stata considerata meritevole di implementazione. (Una precedente revisione di questa risposta ha assegnato personalmente a Eric la responsabilità di tale decisione, afferma che ciò non è corretto e che se una persona è responsabile è Anders Hejlsberg.)

Indipendentemente da ciò, ora ci sono varie proposte da aggiungere alla lingua (vedi https://github.com/dotnet/roslyn/issues/357, https://github.com/dotnet/csharplang/blob/master/proposals/covariant-returns.md, https://github.com/kingces95/coreclr/issues/2), quindi forse verrà implementato nei prossimi due anni. Per quelle discussioni, non sembra che ci siano motivi profondi per cui la funzione non dovrebbe esistere in C# in linea di principio - piuttosto, non è mai stato giudicato finora per il valore di nessuno sforzo da implementare.