使用泛型的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<?>。那么所有的陈述都是有效的。