C/C++编译器如何区分一元运算符与二元运算符（以减号为例）

1. 空格不影响判定结果 #

编译器在词法分析阶段会自动忽略运算符与操作数之间的空白字符，因此-a与- a、a-b与a - b的解析逻辑完全一致，空格不会改变减号的运算符类型判定。

2. 完全依赖上下文的判定逻辑 #

编译器根据减号前序符号的类型来判定其是一元负号还是二元减法：

• 当减号出现在以下场景时，判定为一元负号运算符（用于取操作数负值）：
  • 位于表达式的起始位置（如-5、-(a+b)）
  • 前序符号为运算符（如赋值运算符=、算术运算符+、逻辑运算符!等）
  • 前序符号为左括号(、逗号,、分号;
• 当减号的前序符号是完整操作数的结束标记（如标识符、数字常量、右括号)、字符串字面量）时，判定为二元减法运算符（用于执行两操作数的减法）。

结合示例验证 #

• 一元负号场景：

  int a;
  int b = -a; // 减号前是赋值运算符`=`，判定为一元负号
  b = - a; // 空格不影响，前序为`=`，仍为一元负号
  

• 减法运算场景：

  int a, b;
  a -b; // 减号前是标识符`a`，判定为减法
  a - b; // 空格不影响，前序为`a`，仍为减法
  

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