通用通配符实例化

Question

前几天，我正在查看别人的代码，遇到了引起关注的一行。为简化起见，假设我有一个通用的A类和一个抽象的B类。是否允许以下​​实例化？如果可以，为什么？

Object obj = new A<? extends B>();

我个人从未见过像上面这样的实例化，尽管有这样的声明：

A<? extends B> obj = null;

肯定会成立。我一直在泛型中使用通配符声明方法参数，所以我可能没有经验。

Answer 1

其实new A<? extends B>()不编译。自Java 5以来，它一直是非法的。

但是我想你原来的例子是这样的new A<X<? extends B>>()。后者在Java的最新版本中是合法的。

这个想法是，当实例化一个对象时，类型参数的值可以是任何非通配符类型。? extends B是通配符类型，因此不允许使用。但X<? extends B>不是通配符类型，尽管它 具有 通配符类型作为组件。因此，您可以说合法通话new A<X<? extends B>>()。

如果您以这种方式考虑，则规则是有意义的。最终，它是更基本的规则的副产品，即通配符类型（例如）? extends B不能是字段或变量的 声明
类型。如果A定义为

class A<T> {
    T value;
}

那么假设new A<? extends B>().value将是一个 声明为type 的字段? extends B。由于那是非法的，因此实例化也是如此。但是new A<X<? extends B>>()没有那个问题。