17370845950

C++17起，多数内置运算符（如+、-、*、/、==、&&、=等）明确规定左操作数先于右操作数求值，函数实参也按从左到右顺序求值，但同一对象的无序读写或多次修改仍导致未定义行为。

在C++中，表达式求值方式和执行顺序不是简单地“从左到右”或“从右到左”能概括的，它由求值顺序（evaluation order）、运算符优先级（precedence）、结合性（associativity）以及序列点（sequence points）共同决定。尤其自C++17起，标准对多数内置运算符的求值顺序做了明确约束，大幅减少了未定义行为（UB）的发生可能。

运算符优先级与结合性只决定语法分组，不决定执行先后

很多人误以为“乘除优先于加减”意味着乘法一定先算——其实它只影响表达式如何被解析成树形结构。例如：

a + b * c 被解析为 a + (b * c)，但 a 的求值时机并未被规定；C++17前，a 和 b * c 的子表达式求值顺序是未指定的（unspecified），甚至可能交错；C++17起，对于大多数内置二元运算符（如 +、-、*、/），左操作数在右操作数之前求值。

• f() + g() * h()：C++17保证 f() 先调用，然后是 g()，最后是 h()
• 但 g() * h() 是一个子表达式，其内部乘法本身不引入额外顺序约束（不过乘法运算符左右操作数就是 g() 和 h()，所以已覆盖）

C++17起的关键变化：多数内置运算符有了确定的求值顺序

C++17将原本“未指定顺序”的情况，明确为左操作数先于右操作数求值，适用于以下常见运算符：

• 算术运算符：+、-、*、/、%
• 比较运算符：==、!=、、>、、>=
• 逻辑运算符：&&、||（注意：它们仍保留短路语义，且左操作数一定先求值）
• 位运算符：&、|、^、、>>
• 赋值运算符：=、+= 等（左操作数是目标对象，右操作数是源值，C++17规定右操作数在赋值动作前完成求值）

⚠️例外：逗号运算符 , 和三目运算符 ?: 本就有序（逗号左→右；?: 条件先，然后仅一个分支），C++17未改变它们。

函数调用内部参数求值顺序：C++17也明确了

以前写 func(f(), g(), h())，参数调用顺序完全未指定。C++17起，所有函数实参按从左到右顺序求值（即 f() → g() → h()），且每个实参的求值与其副作用，在下一个实参开始求值前全部完成。

• 这意味着 func(i++, i++, i++) 在C++17仍是未定义行为（同一变量多次修改无序列点），但顺序明确不等于行为合法
• 而 func(print("a"), print("b"), print("c")) 会稳定输出 a→b→c

哪些地方依然没有顺序保证？警惕未定义行为

即使C++17加强了约束，以下情形仍属未定义行为（UB），务必避免：

• 同一表达式中多次修改同一对象，且中间无序列点，例如：i = i++、a[i] = i++、f(i++, i++)
• 修改与读取同一对象无依赖关系，例如：std::cout （C++17规定左操作数先求值，但 std::cout 和 i++ 属不同子表达式，仍无顺序）
• 宏展开后导致重复求值或副作用冲突，例如：#define MAX(a,b) ((a)>(b)?(a):(b))，调用 MAX(i++, j++) 可能令 i++ 执行两次

基本原则：如果两个副作用（如修改变量）或一个副作用与一个读取作用在同一对象上，且它们之间没有明确的求值顺序关系，就构成UB。

基本上就这些。理解C++表达式求值，关键不是背规则，而是养成“副作用隔离”习惯：把有副作用的操作（如自增、IO、函数调用）拆到独立语句，或用临时变量显式控制顺序。C++17让很多常见代码更可预测，但没消除对逻辑清晰性的要求。