空指针异常而不是空（JVM错误？）

Question

我在当前版本的Java8中发现了一个奇怪的行为。在我看来，下面的代码应该可以，但是JVM抛出了一个NullPointerException：

Supplier<Object> s = () -> false ? false : false ? false : null;
s.get(); // expected: null, actual: NullPointerException

这并不重要，它是什么样的lambda表达式（与java.util.function.Function相同）或使用了什么泛型类型。也可以用更有意义的表达式来代替false？：。上面的例子很短。这里有一个更丰富多彩的例子：

Function<String, Boolean> f = s -> s.equals("0") ? false : s.equals("1") ? true : null;
f.apply("0"); // false
f.apply("1"); // true
f.apply("2"); // expected: null, actual: NullPointerException

然而，这些代码段运行良好：

Supplier<Object> s = () -> null;
s.get(); // null

和

Supplier<Object> s = () -> false ? false : null;
s.get(); // null

或与功能：

Function<String, Boolean> f = s -> {
    if (s.equals("0")) return false;
    else if (s.equals("1")) return true;
    else return null;
};
f.apply("0"); // false
f.apply("1"); // true
f.apply("2"); // null

我测试了两个Java版本：

~#java-版本

openjdk版本“1.8.0_66-internal”openjdk运行时环境（构建1.8.0_66-internal-b01）openjdk 64位服务器虚拟机（构建25.66-b01，混合模式）

C:\

java版本“1.8.0_51”java（TM）SE运行时环境（构建1.8.0_51-b16）java热点（TM）64位服务器虚拟机（构建25.51-b03，混合模式）




Answer 1

这与lambda表达式无关；只是在这种情况下，三元运算符的返回类型是boolean，因此将使用自动取消装箱。

NPE也扔在这里：

public class Main {

    private static Object method() {
        return false ? false : false ? false : null;
    }

    public static void main(String[] args) {
        System.out.println(method());
    }
}

那么，这里到底发生了什么？

首先，根据JLS§15.25评估“嵌入”表达式（false？false:null）：

条件运算符在语法上是右关联的（它从右到左分组）。因此，a？B： c？D： e？f： g的意思和a一样？B：（c？D：（e？f： g））。

嵌入表达式的类型是布尔表达式（装箱的布尔表达式），因此可以将false和null表达式放入其中。

那么整个表达就是：

false ? false : (Boolean expression)

然后，再次根据JLS§15.25：

如果第二个和第三个操作数中的一个是基元类型T，而另一个的类型是对T应用装箱转换（§5.1.7）的结果，则条件表达式的类型是T。

因此，第一个参数是基本类型boolean（T，在规范中），另一个参数是装箱的T（boolean），因此整个表达式的类型是boolean。

然后，在运行时，嵌入表达式的计算结果为null，该值自动取消绑定为布尔值，从而导致NPE。