Java 泛型方法签名中的类型不匹配

我有一个Executor调用接口实例的类IService<T> with KeyList<T>争论。

   class Executor{
      KeyList<?> _keys;
      IService<?> _service;
      public Executor(IService<?> service, KeyList<?> keys){
         _service = service;
         _keys = keys;
      }

      public void execute(){
         _service.invoke(_keys);
      }
   }

   interface IService<T>{
      public void invoke( KeyList<T> keys);
   }

   class KeyList<T> {
      List<T> _list;
   }

I used <?>对于 Executor 的成员，因为它不关心 IService 和 KeyList 如何参数化，但以下内容会引发编译错误，指出参数不适用：

 public void execute(){
    _service.invoke(_keys); //error on invoke
 }

我猜它在抱怨是因为KeyList<?>不等于KeyList<T>, but <?>是相同的<? extends Object>，所以我有点困惑。有更好的选择吗？

A wildcard http://docs.oracle.com/javase/tutorial/extra/generics/wildcards.html (?) 代表某种特定的未知类型。但是您在这里处理两个单独的通配符 - 它们可能不同。请改用以下内容：

class Executor<T> {
    KeyList<T> _keys;
    IService<T> _service;
    public Executor(IService<T> service, KeyList<T> keys){
        _service = service;
        _keys = keys;
    }

    public void execute(){
        _service.invoke(_keys);
    }
}

这声明了一个类型参数T为班级Executor，然后将其用作类型参数_keys and _service，确保它们兼容。

如果你无法参数化Executor，尝试使用参数化帮助器类：

class Executor {

    private static final class ServiceAndKeys<T> {

        private final KeyList<T> keys;
        private final IService<T> service;

        ServiceAndKeys(IService<T> service, KeyList<T> keys) {
            this.service = service;
            this.keys = keys;
        }

        void execute() {
            service.invoke(keys);
        }
    }

    private final ServiceAndKeys<?> serviceAndKeys;

    public <T> Executor(IService<T> service, KeyList<T> keys){
        serviceAndKeys = new ServiceAndKeys<T>(service, keys);
    }

    public void execute() {
        serviceAndKeys.execute();
    }
}