Czy mogę zmusić klasę wykonawczą do zwrócenia obiektu własnego typu?

Question

chcę zrobić interfejs w języku C#, który określa metodę, która zawsze zwraca obiekt klasy wykonawczego, a więc:

public interface IParser { 
    IParser Parse(string s); 
} 

public class Parser : IParser { 
    public Parser Parse(string s) { 
     return new Parser(s); 
    } 
} 

mogę zmusić klasę wykonawczą, aby powrócić do obiektu własnego rodzaju? Jeśli to możliwe, to jak? Czy też generics to odpowiedź tutaj?

UWAGA: Kod jest tylko ilustracją, a nie coś, co powinien uruchomić.

Answer 1

Generics jest odpowiedzią tutaj.

public interface IParser<T> where T:IParser<T> { 
    T Parse(string s); 
} 

public class Parser : IParser<Parser> { 
    public Parser Parse(string s) { 
     return new Parser(s); 
    } 
} 

Answer 2

Tak, i to jest znane jako the factory pattern, tylko że zwykle to jest uzupełniane z wykorzystaniem prywatnego konstruktora i uczynienie instancji powrocie metody statyczne, na przykład:

public class Parser : IParser { 

    private Parser(string s) { 
     //Do something with s, probably store it in a field 
    } 

    public static IParser GetNewParser(string s) { 
     return new Parser(s); 
    } 
} 

Answer 3

Możesz to zrobić z Generics, ale prawdopodobnie pozostanę przy zwracaniu instancji interfejsu. Zauważ, że skoro klasa implementuje interfejs, zwrócenie jej jest w porządku - będzie to również instancja tego typu i interfejsu.

public class Parser : I Parser 
{ 
    public IParser Parser(string s) 
    { 
     return Parser(s); 
    } 
} 

Answer 4

Brak w deklaracji interfejsu, nie. Najlepszym można zarządzać to z rodzajowych:

public interface IParser<T> 
    where T: IParser<T> 
{ 
    T Parse(string s); 
} 

public class Parser 
: IParser<Parser> 
{ 
    public Parser Parse(string s) 
    { 
     return new Parser(s); 
    } 
} 

To nie siła realizacja powrót swój własny rodzaj, ale przynajmniej pozwala to zrobić. Dlatego interfejs IClonable zwraca obiekt ze swojej metody Clone, a nie określonego typu.

---- Edit ----

Coś zapamiętać na to pytanie: powiedzmy, że mój kod, dla których nie ma żadnej wiedzy o realizacji, zwraca IParser i kod wywołuje metodę Parse. Jakiego obiektu oczekujesz, aby zostać zwrócony, nie znając konkretnego typu zwróconego odniesienia? Myślę, że próbujesz użyć interfejsów do czegoś, czego nie mają zrobić ...