Java rodzajowych - wnioskowanie typu zagnieżdżonego

Question

I zostały zdefiniowane następujące klasy:

class Operation<S> 
class GetReservationOperation extends Operation<Reservation> 

Teraz chciałbym mieć klasę tak:

OperationExecutor<T extends Operation<S>> extends AsyncTask<T,Void,S>{ 
    @Override 
    protected S doInBackground(T... params) { 
     return null; 
    } 
} 

Ale nie będzie to skompilować:

OperationExecutor<GetReservationOperation> executor = new .... 

Dlaczego na to nie pozwala Java?

Po pewnym czasie wymyśliłem następujące rozwiązanie:

OperationExecutor<T extends Operation<S>,S> extends AsyncTask<T,Void,S>{ 
    @Override 
    protected S doInBackground(T... params) { 
     return null; 
    } 
} 

Ale to zmusza mnie do napisania co następuje:

OperationExecutor<GetReservationOperation,Reservation> executor = new .... 

który wygląda dziwnie. Czy jest jakiś sposób, aby wyglądać ładniej?

EDIT To działało

OperationExecutor<S> extends AsyncTask<Operation<S>,Void,S>{ 
    @Override 
    protected S doInBackground(Operation<S>... params) { 
     return null; 
    } 
} 

OperationExecutor<Reservation> executor = new .... 
executor.execute(getReservationOperation); 

Answer 1

Teraz chciałbym mieć klasę jak ten

OperationExecutor<T extends Operation<S>> extends AsyncTask<T,Void,S>{ 
    @Override 
    protected S doInBackground(T... params) { 
     return null; 
    } 
} 

Powodem nie działa dlatego S Hasn” t został zadeklarowany w dowolnym miejscu, tylko z odniesieniem jako ty pe argument w zdaniu T. Java musi być zadeklarowana dla innych odniesień, na przykład protected S doInBackground i AsyncTask<T,Void,S>.

Jedną z rzeczy, które można rozważyć, jest to, czy OperationExecutor musi być ogólne dla określonego typu Operation<S>. Można to zrobić na przykład:

OperationExecutor<S> extends AsyncTask<Operation<S>, Void, S> { 
    @Override 
    protected S doInBackground(Operation<S>... params) { 
     return null; 
    } 
}