三元运算符 + 包装类型 + null = NullPointerException

---

案例还原：这段代码为什么会 NPE？

protected Long getCurrentUserId() {
    return getBaseContextService() == null ? 0 : getBaseContextService().getCurrentUserId();
}

你可能会想：“我不是已经判了 null 吗？怎么还能空指针？”

关键不是 getBaseContextService() 是不是 null，而是 getCurrentUserId() 返回的是 null。

---

三元运算符的底层机制

编译器在做什么？

Java 编译器会这样处理：

return (getBaseContextService() == null)
        ? 0 // int
        : getBaseContextService().getCurrentUserId(); // Long（可能为 null）

由于 0 是 int，而 getCurrentUserId() 返回 Long，两者类型不一致。

Java 编译器必须统一类型：

• int 会转成 long
• Long 会被自动拆箱成 long

---

代码演示：三种写法对比

错误写法（容易 NPE）：

public Long getCurrentUserId() {
    return getBaseContextService() == null ? 0 : getBaseContextService().getCurrentUserId();
}

报错堆栈可能是这样的：

java.lang.NullPointerException
    at ...Long.longValue()...

---

写法一：手动统一类型（推荐）

public Long getCurrentUserId() {
    return getBaseContextService() == null ? 0L : getBaseContextService().getCurrentUserId();
}

• 0L 是 Long 类型
• 不触发拆箱，避免空指针

---

写法二：提前处理，逻辑更清晰

public Long getCurrentUserId() {
    BaseContextService ctx = getBaseContextService();
    if (ctx == null) return 0L;

    Long userId = ctx.getCurrentUserId();
    return userId != null ? userId : 0L;
}

---

写法三：Java 8 Optional 优雅风格

return Optional.ofNullable(getBaseContextService())
               .map(BaseContextService::getCurrentUserId)
               .orElse(0L);

• 可读性强
• null 安全

---

Java 源码规范背书（JLS §15.25）

根据《Java Language Specification》第15.25节（三元运算符）：

If one operand is of type T and the other is boxed T, then the boxed operand is unboxed to match T.

翻译一下就是：

如果一个分支是基本类型（如 long），另一个是包装类型（如 Long），Java 会自动把 Long 拆箱成 long。

所以下面这个就是编译器的真实行为：

return getBaseContextService() == null
    ? 0L
    : getBaseContextService().getCurrentUserId().longValue(); // 这里拆箱可能抛出 NullPointerException

---

类型推导表

表达式1	表达式2	推导结果	是否会拆箱
int	Long	long	是
0L	Long	Long	否
Long	Long	Long	否
long	Long	long	是
Long (null)	long	long	NullPointerException

---

最佳实践总结

写法	是否安全	原因
ctx == null ? 0 : ctx.getCurrentUserId()	否	会拆箱 null 报错
ctx == null ? 0L : ctx.getCurrentUserId()	是	类型统一，不拆箱
Optional.ofNullable(...).map(...).orElse(...)	是	null 安全，现代风格
if-else 写法	是	显式判断，适合复杂逻辑

---

总结

很多人误以为三元运算只看第一个判断条件，其实两个分支的类型推导才是根源。

要想避免三元运算的坑，记住一条：包装类型就用包装值（比如 0L），不要和基本类型混用！