JavaScript中??与||运算符链式调用报语法错误的原因

这个语法报错和运算符优先级无关，是ECMAScript标准层面明确设置的语法限制。

规则细节 #

空值合并运算符??的设计目标，是仅将null和undefined判定为空值，保留0、空字符串''、false这类传统假值，和||（判定所有假值）、&&的判定逻辑存在明确差异。为了避免开发者混用两类运算符时，因为记忆错误的优先级写出预期外的逻辑，标准直接规定：

• 禁止??在没有显式括号包裹的前提下，和&&、||直接链式组合使用。

JS解析器碰到这类无括号的混用写法时，不会自动推导运算顺序，会直接在语法解析阶段抛出错误，强制开发者通过括号明确指定运算边界。

对应代码片段的逻辑说明 #

• 带括号的写法(a ?? b) || 1完全合法，且符合预期逻辑：
  括号明确了运算顺序，先执行a ?? b拿到第一个非null/undefined的值，再通过||判断：如果这个值是0、''、false等通用假值，就 fallback 到默认值1。

  var a, b;
  console.log((a ?? b) || 1); // 输出1
  b = 0;
  console.log((a ?? b) || 1); // 输出1，0值会正确触发默认值
  

• 无括号写法a ?? b || 1触发报错：
  属于标准明确禁止的语法，解析器不会执行优先级计算，直接抛出语法错误，和代码缺括号的报错表现一致。
• 全??链式写法a ?? b ?? 1合法但不满足需求：
  该写法全程只排除null和undefined，0会被判定为有效值，不会触发默认值赋值。

  var a, b = 0;
  console.log(a ?? b ?? 1); // 输出0，不符合排除0值的要求
  

注意：这个限制仅针对无括号的直接混用，只要你用括号明确了运算范围，不管是(a || b) ?? c还是a ?? (b || c)都是合法可运行的写法。

内容的提问来源于stack exchange，提问作者heyufool1