空值合并运算符（??）不增加if分支数，但使null/undefined分支显性可测：仅需输入null或undefined即可100%覆盖其两个执行路径，避免||对0、""等假值的误触发，提升测试精准性。
空值合并运算符（??）本身不会直接降低或提升分支覆盖率，但它会**改变代码中实际执行的分支路径数量和可测性**，从而间接影响测试覆盖结果。关键不在于 ?? 本身生成多少分支，而在于它如何简化条件逻辑、减少显式 if/else 或三元判断，进而让某些分支更难被触发，或让原本“隐藏”的空值路径变得显性可测。
?? 让 null/undefined 分支更明确、更易覆盖
传统用 || 设置默认值时，测试需覆盖所有假值（0、""、false、null、undefined）才能达到完整分支覆盖——但其中很多是语义无关的误触发。改用 ?? 后：
- 只有 null 和 undefined 会走右侧默认分支，其他假值（如 0、""）都走左侧主逻辑
- 这意味着：原本混在一堆假值里的两个关键空值场景，现在被单独“拎出来”了
- 单元测试只需提供
null和undefined两种输入，就能 100% 覆盖 ?? 的两个分支
?? 可能隐藏深层嵌套的空值分支
当 ?? 和可选链 ?. 连用时（例如 user?.profile?.name ?? "Anonymous"），整体表达式看似只有一处 ??，但其左侧可能因多个 ?. 而存在多层提前退出路径。工具（如 Istanbul）通常将整个表达式视为一个“语句”，不会自动拆解 ?. 的每一步为独立分支。
Java Development Manual
下载
Java开发手册规约集合，基于阿里巴巴Java开发手册（嵩山版）。 涵盖7大维度：编程规约、异常日志、单元测试、安全规约、MySQL数据库、工程结构、设计规约。 当用户需要：(1) 编写或审查Java代码 (2) 检查命名/代码规范 (3) 处理异常和日志 (4) 编写单元测试 (5) 安全编码 (6) 数据库设...
- 测试若只传
{}（空对象），可能只覆盖到user?.profile为 undefined，跳过 ?? 分支 - 若传
{ user: { profile: null } }，才真正触发 ?? 的右侧逻辑 - 但多数覆盖率工具不会标记
profile为 null 这一中间状态为“未覆盖分支”，容易造成“已覆盖 100%”的假象
写法差异直接影响可测性
?? 是表达式，不是语句，它不引入新的 if 块，因此不会增加“if 分支数”。但它的使用方式会影响你是否需要额外编写 guard 条件：
立即学习“Java免费学习笔记（深入）”；
- ❌ 避免：
const name = user?.name ?? ""; if (!name) { ... }—— 此时if的分支与 ?? 逻辑重叠，造成冗余分支，且name永远不会为 null/undefined，if分支实际不可达 - ✅ 推荐：直接用
user?.name ?? "Guest"渲染，把空值处理收敛在一处；测试只需验证输入为null/undefined时渲染 "Guest"，其余情况渲染原值 - 这样既减少语句分支数，又让每个分支有明确、可构造的输入场景
真实项目中的覆盖率提示
在使用 Jest + Istanbul 的项目中，观察 ?? 表达式的覆盖率报告时要注意：
- 它通常归类为 “statement coverage”，而非 “branch coverage” —— 工具一般不把它当 if/else 看待
- 若想确保 null/undefined 分支被覆盖，必须在测试中显式传入这两种值，并断言结果等于右侧默认值
- ESLint 插件
eslint-plugin-unicorn提供no-null和prefer-nullish-coalescing规则，可辅助识别哪些 || 使用场景应替换为 ??，从而让空值分支更聚焦、更可控
