使用泛型的Java泛型參數本身？

Question

我想弄清楚如何使用Java的泛型來構造一個程序，並且想知道我是在做一些根本性的錯誤還是隻是在代碼中缺少一個簡單的錯誤。

說我有一個通用類：

public interface Handler<T>{ 
public void process(T t); 
} 

另一個通用類需要處理程序爲通用參數（僞碼）：

public interface Processor<S extends Handler<T>>{ //<== Error: cannot find symbol 'T' 
public void addHandler(S u); 
public void process(T t); 
} 

摘要實施提供樣板實現

public abstract class ProcessorImpl<.....> implements Processor<.....>{ 
    ... 
} 

將處理器看作是分派處理數據請求的對象a給任意數量的處理程序。具體的實例可以工藝管線的變化，攔截過濾器，事件系統等

我希望能夠使用它像下面這樣：

Handler<String> myHandler1 = new HandlerImpl<String>(); 
Handler<String> myHandler2 = new HandlerImpl<String>(); 
Handler<Integer> myHandler3 = new HandlerImpl<Integer>(); 

Processor<Handler<String>> proc = ProcessorImpl<Handler<String>>(); 
proc.addHandler(myHandler1); 
proc.addhandler(myHandler2); 
proc.addhandler(myHandler3);//this should be an error! 

我不能讓它開始工作。在紙上，它看起來應該是微不足道的，有什麼想法？

感謝

Answer 1

因此，每個類型參數僅在類中定義，因此T未在Processor類中定義或可用。

你可能想有Processor是：

public interface Processor<T>{ 
    public void addHandler(Handler<? super T> u); 
    public void process(T t); 
} 

這裏你聲明Processor只能處理事件/特定類型的輸入，例如String，Integer等，所以下面的語句將是有效的：

Processor<String> proc = ... 
proc.addHandler(new Handler<String>()); // valid 
proc.addHandler(new Handler<Object>()); // valid, as Strings are Objects too 
proc.addHandler(new Handler<Integer>()); // invalid, not a String handler 
proc.process("good");  // valid 
proc.process(1);   // invalid, not a String 

如果Processor旨在處理類型在運行時，並基於相應的運行時類型的動態分配，那麼你可以聲明proc（在最後一個例子）爲Processor<?>。那麼所有的陳述都是有效的。