编译时的Java泛型错误：“类型参数不在类型变量T的范围内”

Question

我正在开发一个代理适配器，使用Java中的泛型将一个请求/响应转换为另一个请求/响应。

我有一个接口：

public interface ProxyAdapter<FROM, TO> {

    TO adapt(FROM o);
}

适配器的实现（仅以请求案例为例）：

public interface RequestProxyAdapter<FROM, TO> extends ProxyAdapter<RequestEntity<FROM>, RequestEntity<TO>> { }

抽象类：

public abstract class ProxyAdapterResolver<U extends HttpEntity<?>, T extends ProxyAdapter<U, U>> {

   private final Map<String, T> adapters;

   private final T defaultAdapter;

   public ProxyAdapterResolver(Collection<T> adapters, T defaultAdapter) {
       this.adapters = adapters.stream()
            .collect(Collectors.toMap(this::proxyNameResolver, Function.identity()));

       this.defaultAdapter = defaultAdapter;
   }
   // other methods...
}

@Component
public class RequestProxyAdapterResolver extends ProxyAdapterResolver<RequestEntity<?>, RequestProxyAdapter<?, ?>> {
    @Autowired
    public RequestProxyAdapterResolver(Collection<RequestProxyAdapter<?, ?>> allAdapters) {
       super(allAdapters, a -> a);
    }
}

Error:(11, 108) java: type argument br.com.afferolab.attendancelist.core.proxy.service.RequestProxyAdapter<?,?> is not within bounds of type-variable T

从Java中的泛型类型推断泛型类型（编译时错误）

我在那个问题上花了大约三天时间。有什么想法吗？谢了。

Answer 1

我认为问题在于，作为第一个参数给出的RequestEntity<？>和RequestProxyAdapater隐含的通配符参数上限RequestEntity<？>没有被视为完全相同的类型，而是要求它们都是类型U。

我发现当我难以让泛型协同工作时，？扩展还是？super经常会修复它。试试这个：

public abstract class ProxyAdapterResolver<U extends HttpEntity<?>, T extends ProxyAdapter<? extends U, ? extends U>> {