awk标准是否明确规定`a || b=c`表达式合法与否？

现象差异 #

测试多款AWK实现后发现：

• gawk、mawk、original-awk、BSD awk均支持a || b = c形式的表达式；
• BusyBox awk是例外，未加括号时会抛出语法错误：

  $ busybox awk 'BEGIN{a||b=2; print b}'
  awk: cmd. line:1: Unexpected token
  

  只有给赋值表达式加上括号，BusyBox awk才能正确执行：

  $ busybox awk 'BEGIN{a||(b=2); print b}'
  2
  

• 所有AWK实现均拒绝a + b = c这类类似表达式。

POSIX AWK标准的规则依据 #

POSIX AWK标准定义了运算符优先级与语法规则，核心相关内容如下：

运算符优先级（从高到低） #

核心语法规则 #

expr : unary_expr
     | non_unary_expr
     ;

non_unary_expr : '(' expr ')'
               | ...
               | non_unary_expr '+' expr
               | ...
               | non_unary_expr OR newline_opt expr
               | ...
               | lvalue '=' expr
               ;

lvalue : NAME
       | NAME '[' expr_list ']'
       | '$' expr
       ;

关键注释说明 #

标准明确指出：语法存在歧义时，需严格遵循优先级与结合性规则；即使语法能明确解析某表达式，若违反优先级规则，该表达式仍属非法。例如$x++--，语法上可解析为$(x++)--，但因$优先级高于++，该表达式被判定为非法。

冲突分析 #

从语法上看，a||b=c可被解析为a||(b=c)，但根据优先级规则，逻辑或||的优先级高于赋值=，因此表达式应被解析为(a||b)=c。而a||b的结果是数值型（非左值），无法作为赋值操作的目标，因此该表达式本质上是非法的。

a + b = c的情况同理：加法优先级高于赋值，解析为(a+b)=c，左边非左值，所有实现均正确拒绝该表达式。

结论 #

1. BusyBox awk的行为符合标准：它拒绝未加括号的a||b=c，是因为该表达式违反了优先级规则，属于非法表达式；
2. 其他AWK实现存在偏离标准的行为：它们将a||b=c解析为a||(b=c)，相当于提升了赋值运算符的优先级，不符合POSIX标准的要求；
3. 标准对此的定义是明确的：表达式必须严格遵循优先级规则，即便语法上存在其他解析路径，违反优先级的表达式仍需被判定为非法。

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