当类型为通配符时，如何使用泛型结果作为泛型参数？

Question

[更新] 真实情况比我最初的问题看起来要复杂一些。我对代码做了一些更改以反映这一点。[/更新]

我对以下行为有点困惑。给定如下代码：

interface Inter<T> {
  T makeT();
  void useT(T t);
}

public class Foo {
  public void bar(Qux q) {
    Inter<?> x = getInterForQux(q);
    x.useT(x.makeT());
  }

  Inter<?> getInterForQux(Qux q) {
    if( someTest(q) ) {
      return (Inter<Integer>) mkAnInterInt();
    } else {
      return (Inter<Double>) mkAnInterDouble();
    }
  }
}

Javac 给我错误：

在 Inter中使用 T(capture#478 of ?)无法应用于 (java.lang.Object)

而 Eclipse 给了我：

类型Inter中的方法useT(capture#1-of ?)是 不适用于参数 （捕获#2-of？）

显然，无论T是什么，makeT()的结果类型与useT()的参数类型相同。为什么我不能这样做？有解决方法吗？

Answer 1

当您使用通配符时，编译器无法看到x.makeT()的返回类型和x.useT()的参数类型是否相同。为了保证它们是相同的，你应该在这里使用泛型方法：

public class Foo { 
    public <T> void bar(Inter<T> x) { 
        x.useT(x.makeT()); 
    } 
} 

Answer 2

这是合乎逻辑的，因为 Inter.makeT() 可以返回任何内容，而 Inter.useT(..) 会消耗任何内容，但是两者任何事情都可以不同。

这样就可以解决这个问题：

public <T> void bar(Inter<T> x) {
    x.useT(x.makeT());
}

Answer 3

使用捕获助手：

public void bar(Qux q) {
    Inter<?> x = getInterForQux(q);
    barPrivate(x);
}
private <T> void barPrivate(Inter<T> x) {
    x.useT(x.makeT());
}

这为您提供了与您想要的 bar 相同的签名