Java泛型 - 推斷嵌套類型

Question

我已經定義了以下類：

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

現在，我想有這樣一個類：

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

但這不會編譯：

OperationExecutor<GetReservationOperation> executor = new .... 

爲什麼不是Java允許這樣做？

一段時間後，我想出了以下解決方案：

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

但是，這迫使我寫：

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

這看起來很奇怪。有什麼辦法讓它看起來更好嗎？

編輯 這個工作

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

現在我想有一類這樣的

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

這之所以不起作用是因爲S不是招」 t已被任何地方宣稱爲，僅引用爲ty pe論據在T的束縛。 Java需要S以聲明其他引用纔有意義，例如protected S doInBackground和AsyncTask<T,Void,S>。

您可能會考慮的一件事是OperationExecutor是否需要通用於特定類型的Operation<S>。你可以這樣做，例如：

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