Java不支持?.操作符，因其设计哲学强调显式空检查而非语法糖掩盖风险；常见NPE难以定位根源；Optional可模拟但需主动封装，推荐拆解链式调用并显式判断空值。
Java 里没有 ?.，是因为语法层不支持
Java 语言规范至今没引入安全导航操作符（?.），不像 Kotlin 或 C# 那样能写 user?.address?.city。这不是 JVM 限制，也不是“以后会加”，而是 Java 的设计哲学偏向显式、可读、不隐藏空检查逻辑——它要求你亲手处理 null，而不是靠语法糖掩盖风险。
常见错误现象：NullPointerException 在链式调用中突然抛出，比如 user.getAddress().getCity().getName()，但你只在日志里看到第 3 层崩了，根本不知道是 user 还是 address 先为 null。
- Java 8+ 可用
Optional模拟部分效果，但写法冗长，且不能直接替代所有链式访问 - IDE（如 IntelliJ）能静态提示潜在
null，但不会帮你自动插if或转Optional - Lombok 的
@NonNull和@Nullable只是注解，不改变运行时行为，需配合 Checker Framework 或 IDE 才生效
替代方案：用 Optional 做安全链式访问
Optional 是目前最接近 ?. 语义的官方工具，但它不是语法糖，而是需要主动封装 + 显式解包。它的核心价值不是避免写 if，而是把“可能为空”这个契约暴露在类型里。
使用场景：适合返回值可能为空、且后续逻辑依赖该值是否存在的地方，比如 DAO 查询、配置读取、API 响应解析。
立即学习“Java免费学习笔记（深入）”；
- 别对已有对象字段直接调用
Optional.ofNullable(obj).map(o -> o.field)——这反而增加开销，且掩盖真实空点 - 优先在方法返回处封装：把
Address getAddress()改成Optional findAddress() -
Optional.flatMap才是链式关键，map会嵌套Optional，容易踩坑>
示例：
OptionaluserOpt = Optional.ofNullable(user);
String cityName = userOpt
.flatMap(u -> Optional.ofNullable(u.getAddress()))
.flatMap(a -> Optional.ofNullable(a.getCity()))
.map(c -> c.getName())
.orElse("Unknown");
Lombok @SafeVarargs 和 ?. 完全无关
有人搜到 @SafeVarargs 就以为是安全导航，这是典型误读。@SafeVarargs 只用于抑制泛型可变参数的警告（比如
真正相关的是 Lombok 的 @NonNull（生成 null 检查）、@UtilityClass（辅助类）或第三方库如 org.apache.commons.lang3.ObjectUtils 提供的 ObjectUtils.defaultIfNull 或 ObjectUtils.toString。
-
@NonNull加在参数上，Lombok 会在构造/方法入口插入if (x == null) throw new NullPointerException()，属于防御性编程，不是安全导航 - Apache Commons 的
ObjectUtils.firstNonNull(a, b)或StringUtils.defaultString(str)适合简单兜底，但无法替代多层嵌套的?. - Spring 的
org.springframework.util.ObjectUtils有isEmpty等工具，但同样不提供链式安全访问能力
真正实用的“安全导航”写法：提前拆解 + 明确空点
比起硬套 Optional 或堆工具类，更轻量、更可控的方式是把链式访问拆成带命名变量的步骤，并在每一步做显式判断。这不是倒退，而是让空值责任清晰归位。
性能影响几乎为零，兼容 JDK 6+，且调试时一眼看出哪一环为 null。
- 不要写：
return user.getAddress().getCity().getName(); - 应该写：
Address address = user.getAddress();
if (address == null) return "N/A";
City city = address.getCity();
if (city == null) return "N/A";
return city.getName(); - 如果逻辑复杂，可提取成私有方法，比如
getCityName(User user)，内部做完整校验 - 这种写法在单元测试中也更容易 mock 和覆盖分支
空指针从来不是技术问题，而是契约模糊问题。Java 不给你 ?.，就是在逼你回答：这里到底允不允许为 null？谁负责初始化？谁负责兜底？答不上来，加再多工具也没用。
