可选链（?.）每个操作符引入一个隐式二元分支，要求分别覆盖左侧为 null/undefined 和非空两种情况才能达成100%分支覆盖率；如 a?.b?.c 有2个分支点，需4种路径覆盖，组合 ?? 时分支叠加，须升级nyc v15.1+/istanbul v3.1+ 并配置 branches: 100 校验。
JavaScript 中的可选链（?.）语法本身不会被测试工具（如 Istanbul / nyc）直接拆解为多个分支，但它在底层会生成隐式的条件判断逻辑，从而影响分支覆盖率统计。关键在于：**可选链是否触发“访问中断”（即左侧为 null 或 undefined），决定了后续表达式是否执行——这构成了一个隐式分支点。**
可选链如何产生分支覆盖点
当使用 a?.b?.c 时，引擎实际等价于：
a == null ? undefined : (a.b == null ? undefined : a.b.c)- 每处
?.都引入一次null/undefined检查，对应一个二元分支（进入 or 跳过） - Istanbul 会将每个
?.标记为一个“branch”，要求你分别覆盖「左侧有值」和「左侧无值」两种情况，才算分支全覆盖
常见未覆盖场景与修复建议
以下写法容易导致分支未全覆盖（尤其在单元测试中只测了“正常路径”）：
-
user?.profile?.avatarUrl—— 若测试只传入完整user对象，user?.profile和profile?.avatarUrl的两个?.都只走了“真”分支，分支覆盖率显示为 50%（2/4） -
obj?.method?.()—— 方法存在性检查 + 调用，共两个分支点；若没测obj.method为undefined的情况，就缺一条分支
✅ 建议补全测试用例：
- 传入
{ user: null }→ 覆盖第一个?.的 false 分支 - 传入
{ user: { profile: null } }→ 覆盖第二个?.的 false 分支 - 对
obj?.method?.()，额外测{ obj: { method: undefined } }
与空值合并 ?? 的协同影响
组合使用（如 user?.name ?? 'Anonymous'）会叠加分支：
-
?.贡献 1 个分支（user是否为 null/undefined） -
??再贡献 1 个分支（左操作数是否为 null/undefined） - 两者独立计数，需分别覆盖所有组合路径
例如，要 100% 覆盖 a?.b ?? 'default'，至少需要 3 种输入：
– { a: { b: 'x' } }（两个操作都走真分支）
– { a: null }（?. 短路，?? 左为 undefined，走右）
– { a: { b: undefined } }（?. 返回 undefined，?? 左为 undefined，仍走右）
工具层面的注意事项
不同版本的测试工具对可选链的支持略有差异：
- nyc v15.1+ / Istanbul v3.1+ 开始原生支持
?.分支识别 - 旧版本可能忽略该分支或报错，建议升级到较新稳定版
- Vitest、Jest 默认集成新版 Istanbul，但需确认
coverage.provider为v8或istanbul - 可在
package.json的coverage配置中开启"branches": 100强制校验
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
