Java: powracająca podklasa w sygnaturze metody superklasy

Question

Pracuję nad problemem, w którym jest kilka implementacji Foo, wraz z kilkoma FooBuilder. Podczas gdy Foo ma kilka wspólnych zmiennych, które muszą być ustawione, mają również różne zmienne, które wymagają ich odpowiednich FooBuilder do realizacji niektórych konkretnych funkcji. Dla zwięzłości, chciałbym mieć FooBuilder „s ustawiające użyć metody łańcuchowym, jak:

public abstract class FooBuilder { 
    ... 

    public FooBuilder setA(int A) { 
    this.A = A; 
    return this; 
    } 

    ... 
} 

i

public class FooImplBuilder extends FooBuilder{ 
    ... 
    public FooImplBuilder setB(int B) { 
    this.B = B; 
    return this; 
    } 
    public FooImplBuilder setC(int C) { 
    this.C = C; 
    return this; 
    } 
    ... 
} 

i tak dalej, z kilku różnych FooBuilder wdrożeń. Technicznie robi to wszystko, co chcę, jednak to podejście jest wrażliwe na kolejność wywołań metod, gdy wykonywane jest łańcuchowanie metod. Poniżej podano metodę niezdefiniowanych błędów kompilacji:

someFoo.setA(a).setB(b)... 

Wymaganie, aby deweloper pomyślał o kolejności wywołań metod w łańcuchu. Aby tego uniknąć, chciałbym, aby ustawiający w FooBuilder w jakiś sposób zwrócili rzeczywistą podklasę wykonawczą. Jednak nie jestem pewien, jak to zrobić. Jakie jest najlepsze podejście?

Answer 1

To jest dobre pytanie i prawdziwy problem.

Najprostszym sposobem radzenia sobie z tym w Javie jest prawdopodobnie użycie generycznych, jak wspomniano w odpowiedzi Jochena.

Jest spora dyskusja o tym problemie i rozsądnym rozwiązaniem w tego wpisu na blogu na Using Inheritance with Fluent Interfaces, który łączy rodzajowych z definicji getThis() metody nadpisane w podklasy konstruktora do rozwiązania problemu zawsze powrocie budowniczym właściwej klasy.

Answer 2

Generics może być sposobem, aby przejść tutaj.

Jeśli zadeklarujesz Seta() coś jak to (pseudo-kod)

<T> T setA(int a) 

kompilator powinien być w stanie dowiedzieć się prawdziwe typy, a jeśli nie można dać wskazówki w kodzie jak

obj.<RealFoo>setA(42) 

Answer 3

Po znalezieniu this excellent answer udostępniam je teraz.

public class SuperClass<I extends SuperClass> 
{ 
    @SuppressWarnings("unchecked") // If you're annoyed by Lint. 
    public I doStuff(Object withThings) 
    { 
     // Do stuff with things. 
     return (I)this ; // Will always cast to the subclass. Causes the Lint warning. 
    } 
} 

public class ImplementationOne 
extends SuperClass<ImplementationOne> 
{} // doStuff() will return an instance of ImplementationOne 

public class ImplementationTwo 
extends SuperClass<ImplementationTwo> 
{} // doStuff() will return an instance of ImplementationTwo