Java 7 菱形运算符和派生类的初始化

Question

class A {}

class B extends A {}

class Holder<T> {

    T object;

    Holder(T object) {
        this.object = object;
    }
}

有一个 Holder 类来保存一些对象，它是使用泛型创建的。在 main() 中，当使用菱形运算符初始化时，它不会编译 (Java 7) 派生类传递给 Holder 的构造函数(需要 A/找到 B):

public static void main(String[] args) {    
    Holder<A> holder = new Holder<>(new B());        
}

但是如果在正确的部分指定了基本类型，它就可以编译并工作:

public static void main(String[] args) {
    Holder<A> holder = new Holder<A>(new B());
}

为什么？菱形运算符不是使用与左侧相同的类型参数来定义赋值的右侧部分吗？

Answer 1

第一次观察:

Holder<B> h = new Holder<>(new B());

同时使用 Java 8 和 Java 7 进行编译，并且都创建一个 Holder<B>在那种情况下。所以使用 <>使用带参数的构造函数很好。

然而:

Holder<A> h = new Holder<>(new B());

• Java 7 首先评估右侧，确定它是一个 Holder<B>并给出编译错误，因为 a Holder<B> can't be converted into a Holder<A> .
• Java 8 更进一步并推断出 new Holder<A>(new B())实际上可以工作并且自动神奇地做到这一点。这要归功于名为“目标输入”的新功能 - 请参阅 the tutorial on type inference 的最后一节概览。

---

更详细地说，Java 8 中的改进是由于引入了poly expressions。 (强调我的):

The type of a standalone expression can be determined entirely from the contents of the expression; in contrast, the type of a poly expression may be influenced by the expression's target type (§5 (Conversions and Contexts)).

这是 Java 8 的一个非常强大的特性(Java 7 只提供不考虑表达式上下文的独立表达式)。

泛型类实例创建是一个多边形表达式和JLS #15.9解释(强调我的):

A class instance creation expression is a poly expression (§15.2) if it uses the diamond form for type arguments to the class, and it appears in an assignment context or an invocation context (§5.2, §5.3). Otherwise, it is a standalone expression.

由于这条新规则，Java 8 允许您使用上面的第二种形式并自动推断出 new B()应该被视为 A (扩大引用转换)并且你打算创建一个 Holder<A>在这种情况下。