Java 如何处理泛型的模糊类型推断？

Question

在这段代码中，T 可以是 A、B、C 或 D，但 Eclipse 显示它是 D。

static class A { }
static class B extends A { }
static class C extends B { }
static class D extends C { }
static <T> void copy(List<? super T> dst, List<? extends T> src) {
    for (T t : src)
        dst.add(t);
}
public static void main(String[] args) {
    List<A> dst = new ArrayList<>();
    List<D> src = new ArrayList<>();
    copy(dst, src); // Eclipse shows T is D
}

对于如何进行类型推断以及为什么选择 D 是否有任何规则？

Answer 1

有没有关于如何进行类型推断的规则

是的，entire 18th chapter of the Java Language Specification 专门讨论这个主题 :-)

为什么选择 D？

我认为以下规则对此负责：

如果边界集不包含形式为 G<... ...> = capture(G<...>) 对于所有 i (1 ≤ i ≤ n) 的边界，则 a为每个 αi 定义候选实例化 Ti：

• 如果 αi 有一个或多个适当的下界 L1, ..., Lk，则 Ti = lub(L1, ..., Lk) (§4.10.4)。

• 否则，如果绑定集包含 throws αi，并且 αi 的正确上界最多为 Exception、Throwable 和 Object，则 Ti = RuntimeException。

• 否则，其中 αi 具有适当的上限 U1, ..., Uk, Ti = glb(U1, ..., Uk) (§5.1.10)。

边界 α1 = T1, ..., αn = Tn 与当前边界集合并。

如果结果不包含绑定的 false，则结果将成为新的绑定集，并且通过选择要实例化的新变量集（如果需要）继续解析，如上所述。

简单来说，在尝试类型参数的可能值时，编译器首先尝试下限，并在合适的情况下使用该下限。

在我们的例子中，约束集表示D extends T and D extends A，所以T 的下限是D，所以D 是第一个候选替换。

编译器通过假设T = D 来验证D 是否适合，这将约束集简化为D extends D and D extends A，这两者都是已知的。

因此，编译器使用D。