Order of evaluation

任何C运算符操作数的求值顺序，包括函数调用表达式中函数参数的求值顺序，以及任何表达式中子表达式的求值顺序都是未指定的（除非下文另有说明）。编译器可以按任意顺序对它们进行求值，并且在再次对同一表达式求值时可能选择不同的顺序。

C语言中不存在从左到右或从右到左求值的概念，这不应与运算符从左到右和从右到左的结合性混淆：表达式 f1 ( ) + f2 ( ) + f3 ( ) 由于 operator + 的左结合性被解析为 ( f1 ( ) + f2 ( ) ) + f3 ( ) ，但在运行时对 f3 ( ) 的函数调用可能先于、后于或在 f1 ( ) 与 f2 ( ) 之间执行。

定义

求值顺序

编译器对每个表达式或子表达式执行两种评估（两者均为可选）：

• 值计算  ：计算表达式返回的数值。这可能涉及确定对象的身份（ 左值求值 ）或读取先前赋给对象的值（右值求值）。
• 副作用  ：对由 volatile 左值指定的对象进行访问（读取或写入）、修改（写入）对象 、原子同步 (C11起) 、修改文件、修改浮点环境（若支持），或调用执行上述任意操作的函数。

如果表达式不产生副作用且编译器能确定其值未被使用，该表达式 可能不会被求值 。

求值顺序

Sequenced-before 是同一线程内各求值之间的非对称、可传递的成对关系（若涉及原子类型与内存屏障，该关系可能跨线程延伸）。

• 若在子表达式 E1 与 E2 之间存在 序列点 ，则 E1 的值计算和副作用均 先序于 E2 的所有值计算与副作用。

规则

未定义行为

i = ++i + i++; // undefined behavior
i = i++ + 1; // undefined behavior
f(++i, ++i); // undefined behavior
f(i = -1, i = -1); // undefined behavior

f(i, i++); // undefined behavior
a[i] = i++; // undefined behavior

参见

运算符优先级 定义了表达式如何从其源代码表示形式构建。