为什么Java三元运算符条件为真仍抛出NullPointerException异常？

核心结论 #

第二个分支并未实际执行，空指针异常来自Java编译器对三元运算符两个分支的自动类型统一转换过程中的拆箱操作。

原理说明 #

根据Java语言规范（JLS §15.25）中三元条件表达式的类型推导规则：当两个分支的返回值类型不匹配时，编译器会自动做类型统一处理，针对数字类型的规则如下：

若两个分支分别是不同的数字包装类型（如Long、Integer），或一个是数字基本类型、一个是数字包装类型，编译器会先将两个分支的返回值拆箱为对应的基本类型，再向上转型为两者公共的最小精度基本类型，最终表达式的返回值为该基本类型，赋值给包装类型变量时再自动装箱。

场景匹配解释 #

1. 报错代码的NPE触发逻辑 #

你的第一个代码中：

• 第一个分支返回Long类型的null
• 第二个分支是long基本类型（即使去掉显式(long)转换，第二个分支返回Integer类型，仍然符合类型不匹配的场景）
  编译器判定需要将整个三元表达式的结果统一为long基本类型，因此会尝试将第一个分支返回的null拆箱为long值，直接触发空指针异常，全程不会执行第二个分支的代码。

2. 无报错代码的逻辑 #

第二个代码中：

• 第二个分支的类型为无类型的null，编译器判定整个三元表达式的返回类型为Long
• 第一个分支返回的null可以直接赋值给Long类型变量，不需要做拆箱操作，因此不会抛出异常。

3. 最小复现示例验证 #

你给出的Long val =true ? (Long) null: Integer.valueOf(1);完全复现了该逻辑：两个分支分别为Long和Integer包装类型，需要统一拆箱为基本类型，对(Long)null拆箱直接触发NPE，进一步验证了异常和第二个分支是否执行无关。

内容的提问来源于stack exchange，提问作者maybesomename