JavaScript 可选链的短路边界：加了一对括号，为什么仍会报错
接口中的联系人可以缺省，页面读取名字时使用可选链很自然。但把一段访问放进括号后，错误可能重新出现；对象存在而内部字段为空时，前面一个问号也未必保护后面的访问。理解可选链，要看它检查哪一个值，以及连续访问在哪个位置结束。
可选链只在被检查的值为 null 或 undefined 时短路，并返回 undefined。它不是包住整行代码的异常捕获器，也不是把所有假值都当作缺失。明确这一点后，才能判断哪些字段可以自然缺省，哪些字段缺失应该暴露为接口契约错误。
AI概念配图，非真实界面：以抽象物件说明本文主题，不代表运行结果。
分别验证根对象与中间对象
下面代码保存为 demo.js，在支持可选链的 Node.js 环境中运行，例如 Node.js 18 或更高版本。程序用自带断言模块检查结果，不需要安装依赖。前三组测试分别覆盖根对象为空、中间字段为空以及完整对象，让每个问号对应一处实际风险。
有意抛错的表达式都放进 assert.throws 中，因此程序最终应该正常退出。这样既能证明失败确实存在，又不会让第一个预期异常中断后面的测试。不要把这些失败分支删掉只留下成功样本，否则最关键的边界就失去了验收依据。
"use strict";
const assert = require("node:assert/strict");
const root = null;
assert.equal(root?.details.city, undefined);
assert.throws(() => (root?.details).city, TypeError);
const partial = { details: null };
assert.throws(() => partial?.details.city, TypeError);
assert.equal(partial?.details?.city, undefined);
assert.equal(({ details: { city: "Nanjing" } })?.details?.city, "Nanjing");
let evaluated = 0;
assert.equal(root?.[evaluated++], undefined);
const callback = undefined;
callback?.(evaluated++);
assert.equal(evaluated, 0);
assert.throws(() => ({ callback: 7 }).callback?.(), TypeError);
assert.throws(() => missingRootForDemo?.value, ReferenceError);
assert.equal(({ count: 0 })?.count, 0);
assert.equal(({ enabled: false })?.enabled, false);
console.log("optional access, grouping and call boundaries passed");连续访问与括号分组不是同一件事
根对象为空时，连续的 root?.details.city 会在开头停止，不再读取后续属性。换成 (root?.details).city 后，括号先产生 undefined，括号外又继续读取 city，于是抛错。括号没有改变前半段结果，却改变了后半段是否属于同一条短路链。
如果根对象本来存在，只是 details 为 null，第一个问号不会触发短路。接下来的普通点访问仍会失败，所以这时需要在 details 后面也安排可选访问。应该根据数据契约选择位置，而不是在所有点号前机械添加问号来消除错误。
代码还验证了空对象遇到计算属性时不会执行自增，缺省回调的参数表达式也不会执行。这是短路的实际影响：访问失败时，那些表达式可能完全没有发生。因此不要把必须记录的日志、计数或状态更新藏在可选链的键或参数里。
可选调用并不等于类型检查
回调缺省时，callback?.() 可以跳过调用；如果回调字段存在却是数字，仍然会抛出 TypeError。对于外部配置给出的回调，可能还需要 typeof 检查。若业务要求一定提供函数，则应直接验证并给出明确错误，而不是把错误配置当成没有回调。
同样，可选链无法保护一个从未声明过的根变量。变量查找在可选访问之前发生，找不到名称仍会抛 ReferenceError。应先从已知对象、参数或导入模块取得根值，不要拿可选链当作判断任意全局变量是否存在的通用写法。
返回 undefined 之后如何显示，是另一条业务规则。界面可以展示占位文字，也可以省略一整块内容，但应区分尚未加载、请求失败和数据本来缺省。否则所有错误都变成空白，虽然控制台安静了，用户却不知道下一步该做什么。
审查一段可选链时，先把根为空、中间为空、值存在但类型错误三种情况逐一代入，再检查括号以及表达式中的副作用。能够说清哪些步骤会执行、哪些步骤会跳过，代码才真正表达了“可选”的含义，而不是依靠符号碰巧不报错。
