java - 将 Generic 转换为 SuperGeneric

Question

我正在尝试找到一个引用，最好是从语言标准中找到，以解释为什么将 T 的容器转换为容器的父类(super class)型而 T 的父类(super class)型不会工作，在同一个语句中完成时。

我尝试查找删除、转换泛型和特定容器类的各种组合，但找不到精确的重复项(大多数仅地址 T 及其父类(super class))。我对语言标准对这个问题的规定以及所使用的术语特别感兴趣。

例如，编译器不接受以下内容:

final WebappContext context = ...;
final List<FilterRegistration> filters = Lists.newArrayList(
    context.addFilter(...), ...
);

哪里WebappContext.addFilter返回 org.glassfish.grizzly.servlet.FilterRegistration ，它实现 javax.servlet.FilterRegistration.Dynamic ，延伸FilterRegistration 。调用Lists.newArrayList返回 ArrayList<T> ，取决于其参数的类型。

我收到如下错误:

Incompatible Types
Required: List<javax.servlet.FilterRegistration>
Found: ArrrayList<org.glassfish.grizzly.servlet.FilterRegistration>

尽管 List是 ArrayList 的父类(super class)，和FilterRegistration是 Grizzly 实现的父类(super class)。

如果我将其更改为:

final WebappContext context = ...;
final List<FilterRegistration> filters = Lists.<FilterRegistration>newArrayList(
    context.addFilter(...), ...
);

然后一切都非常愉快，甚至没有未经检查的警告。我能找到的唯一变化是返回类型从 ArrrayList<org.glassfish.grizzly.servlet.FilterRegistration>至ArrrayList<javax.servlet.FilterRegistration> .

我知道 C++ 有一条规则，即编译器在尝试解析特定调用的最佳类型时只能执行一次强制转换。这似乎以相同的方式运行，但是 Java 是如何调用它的以及规则是如何定义的呢？它与类型删除有关吗？如何关联？

Answer 1

有 2 个问题。首先，

Why can't I assign Generic<T> to SuperGeneric<SuperT>?

答案是:出于同样的原因，你不能 assign Generic<T> to Generic<SuperT> 。该问题是由泛型类型引起的，而不是由自动上转型引起的 Generic至SuperGeneric 。另请检查wildcards ，这可以提供一些解决方法。

第二，

Why doesn't Lists.newArrayList() work as one would expect?

让我们考虑以下层次结构:

                      class SuperT
                            |
              class MiddleT extends SuperT
                  /                  \
class SubT1 extends MiddleT    class SubT2 extends MiddleT

我们来看看 toList() 的简化版本方法，只需要 2 个参数:

<T> List<T> toList(T t1, T t2) { ... }

现在当编译器看到toList(A, B)时在任何地方，它都会尝试找到 A 最接近的共同祖先。和B ，并将其替换为 T 。例如，toList(new SubT1(), new SubT2())这里最接近的共同祖先是 MiddleT ，所以返回值为List<MiddleT> 。如果你想要List<SuperT>作为返回值，您需要告诉编译器您想要替换 SuperT对于类型T :

List<SuperT> list = Lists.asList(new SubT1(), new SubT2()); // compile error (in 1.7 version)
List<SuperT> list = Lists.<SuperT> asList(new SubT1(), new SubT2()); // OK

( SubT1 和 SubT2 类是不必要的，示例与 asList(new MiddleT(), new MiddleT()) 一样工作，但我想展示编译器如何用 T 替换最接近的常见父类(super class)型(如果您不这样做)明确地写出来)

但不用担心，Java 8 来拯救世界。使用 JDK 1.8.0_11下面的代码编译得很好:

List<SuperT> list = Lists.asList(new SubT1(), new SubT2()); // OK in 1.8 version

我猜编译器现在会在决定什么时查看结果的用途 T应该是。