求值顺序

< cpp‎ | language

求值任何表达式的任何部分,包括求值函数参数的顺序都是未说明的(除了下列的一些例外)。编译器能以任何顺序求值任何操作数和其他子表达式,并且可以在再次求值同一表达式时选择另一顺序。

C++ 中无从左到右或从右到左求值的概念。这不会与运算符的从左到右及从右到左结合性混淆:表达式 a() + b() + c() 由于 operator+ 的从左到右结合性被分析成 (a() + b()) + c() ,但可在运行时首先或者最后或者 a()b() 之间对 c 函数调用求值:

#include <cstdio>
int a() { return std::puts("a"); }
int b() { return std::puts("b"); }
int c() { return std::puts("c"); }
void z(int, int, int) {}
int main() {
    z(a(), b(), c());       // 允许全部 6 种输出排列
    return a() + b() + c(); // 允许全部 6 种输出排列
}

可能的输出:

b
c
a
c
a 
b


“按顺序早于”规则 (C++11 起)

定义

表达式求值

每个表达式的求值包括:

  • 值计算:计算表达式所返回的值。这可能涉及确定对象的身份(泛左值的求值,例如当表达式返回到某对象的引用时),或读取先前赋给对象的值(纯右值的求值,例如当表达式返回数或某个其他值时)
  • 引发副作用:访问(读或写)volatile 泛左值所指代的对象,修改(写入)对象,调用库 I/O 函数,或调用任何做出这些操作的函数。

顺序

“按顺序早于 (sequenced-before)”是同一线程中的求值之间的非对称的、传递的对偶关系。

  • 若 A 按顺序早于 B,则 A 的求值将在 B 的求值开始前完成。
  • 若 A 不按顺序早于 B 而 B 按顺序早于 A,则 B 的求值将在 A 的求值开始前完成。
  • 若 A 不按顺序早于 B 而 B 不按顺序早于 A,则存在两种可能:
    • A 与 B 的求值是无顺序 (unsequenced) 的:它们能以任何顺序进行,并可能重叠(在同一执行线程内,编译器可以将组成 A 与 B 的 CPU 指令交错)
    • A 与 B 的求值是顺序不确定 (indeterminately sequenced) 的:它们可以任意顺序进行但不可重叠,A 在 B 前完成,或 B 在 A 前完成。下次求值相同表达式时顺序可以相反。

规则

1) 下列全表达式
(C++20 起)
  • 整个初始化器,包含任何逗号分隔的成分表达式
  • 在非临时对象生存期末尾生成的析构函数调用
  • 不是其他全表达式一部分的表达式(例如整个表达式语句for/while 循环的控制表达式,if/switch 的条件表达式,return 语句中的表达式,等等),
其值计算和副作用,包括应用到表达式结果的隐式转换,对临时量的析构函数调用,(初始化聚合体时)默认成员初始化器,和涉及函数调用的所有其他的语言构造,都按顺序早于下一个全表达式的每个值计算和副作用。
2) 任何运算符的各操作数的值计算(但非副作用)均按顺序早于该运算符结果的值计算(但非副作用)。
3) 调用函数时(无论函数是否内联,且无论是否使用显式函数调用语法),与任何实参表达式或与指代被调用函数的后缀表达式关联的每个值计算和副作用,都按顺序早于被调用函数体内的每个表达式或语句的执行。
4) 内建后自增与后自减运算符的值计算按顺序早于其副作用。
5) 内建前自增与前自减运算符的副作用按顺序早于其值计算(作为由复合赋值的定义所致的隐含规则)。
6) 内建逻辑与 (AND) 运算符 && 和内建逻辑或 (OR) 运算符 || 的第一(左)操作数的每个值计算和副作用,按顺序早于第二(右)操作数的每个值计算和副作用。
7)条件运算符 ?: 中的第一个表达式关联的每个值计算和副作用,都按顺序早于与第二或第三表达式关联的每个值计算和副作用。
8) 内建赋值运算符和所有内建复合赋值运算符的副作用(修改左参数),均按顺序晚于左右参数的值计算(但非副作用),且按顺序早于赋值表达式的值计算(即早于返回指代被修改对象的引用之时)。
9) 内建逗号运算符 , 的第一个(左)参数的每个值计算和副作用均按顺序早于第二个(右)参数的每个值计算和副作用。
10) 列表初始化中,在大括号中用逗号分隔的任何给定的初始化器子句的每个值计算和副作用都按顺序早于逗号后的任何给定的初始化器子句的每个值计算和副作用
11) 若某个函数调用既不按顺序早于又不按顺序晚于另一函数调用,则它们是顺序不确定的(程序必须表现为如同组成不同函数调用的 CPU 指令决不会交错,即使函数被内联也是如此)。

规则 11 有一个例外:在 std::execution::par_unseq 执行策略下执行的标准库算法所作的函数调用是无顺序的,并且可以任意交错。

(C++17 起)
12) 对分配函数(operator new)的调用相对于 new 表达式中构造函数参数的求值来说,是顺序不确定的 (C++17 前)按顺序早于它 (C++17 起)
13) 从函数返回时,作为求值函数调用结果的临时量的复制初始化按顺序早于return 语句的操作数末尾处对所有临时量的销毁,而这些销毁进一步按顺序早于对环绕 return 语句的块的所有局部变量的销毁。
(C++14 起)
14) 函数调用表达式中,指名函数的表达式按顺序早于每个参数表达式和每个默认实参。
15) 函数调用表达式中,每个形参的初始化的值计算和副作用相对于任何其他形参的初始化的值计算和副作用是顺序不确定的。
16) 用运算符写法进行调用时,每个重载的运算符均遵循其所重载的内建运算符的定序规则。
17) 下标表达式 E1[E2] 中,E1 的每个值计算和副作用均按顺序早于 E2 的每个值计算和副作用。
18) 成员指针表达式 E1.*E2E1->*E2 中,E1 的每个值计算和副作用都按顺序早于 E2 的每个值计算和副作用(除非 E1 的动态类型不含 E2 所指的成员)。
19) 移位运算符表达式 E1<<E2E1>>E2 中,E1 的每个值计算和副作用都按顺序早于 E2 的每个值计算和副作用。
20) 每个简单赋值表达式 E1=E2 和每个复合赋值表达式 E1@=E2 中,E2 的每个值计算和副作用均按顺序早于 E1 的每个值计算和副作用。
21) 带括号的初始化器中的逗号分隔的表达式列表中的每个表达式,如同函数调用一般求值(顺序不确定)。
(C++17 起)

未定义行为

1) 若标量对象上的一项副作用相对于同一标量对象上的另一副作用为无顺序,则其行为未定义

i = ++i + 2;       // C++11 前为未定义行为
i = i++ + 2;       // C++17 前为未定义行为
f(i = -2, i = -2); // C++17 前为未定义行为
f(++i, ++i);       // C++17 前为未定义行为,C++17 起为未指明
i = ++i + i++;     // 未定义行为

2) 若标量对象上的副作用相对于使用同一标量对象的值的值计算为无顺序,则其行为未定义

cout << i << i++; // C++17 前为未定义行为
a[i] = i++;       // C++17 前为未定义行为
n = ++i + i;      // 未定义行为

序列点规则 (C++11 前)

定义

表达式的求值可能产生副作用,包括:访问 volatile 左值所指代的对象,修改对象,调用库 I/O 函数,或调用做任何这些动作的函数。

序列点 (sequence point)是执行序列中的点,在该点所有来自序列中先前求值的副作用均已完成,而后继求值的副作用都未开始。

规则

1) 每个全表达式结尾(典型地在分号处)有一个序列点。

2) 调用函数时(无论该函数是否内联,无论是否使用函数调用语法),所有函数实参的求值(若存在)之后有一个序列点,它发生于函数体内的任何表达式或语句的执行之前。

3) 对函数的返回值进行复制之后,并在函数外任何表达式的执行之前有一个序列点。

4) 一旦函数执行开始,则在被调用函数的执行完成前,不求值调用方函数的任何表达式(函数不能交错执行)。

5) 每个使用内建(非重载)运算符的下列四种表达式的求值中,表达式 a 的求值后有一个序列点。

a && b
a || b
a ? b : c
a , b

未定义行为

1) 前后序列点间,至多可以修改标量对象的存储值一次,否则其行为未定义

i = ++i + i++; // 未定义行为
i = i++ + 1; // 未定义行为( C++17 前)
i = ++i + 1; // 未定义行为( C++11 前)
++ ++i; // 未定义行为( C++11 前)
f(++i, ++i); // 未定义行为( C++17 前)
f(i = -1, i = -1); // 未定义行为( C++17 前)

2) 前后序列点间,访问表达式求值所修改的标量对象的先前值,必须只为确定要存储的值。若以任何其他方式访问,则其行为未定义

cout << i << i++; // 未定义行为( C++17 前)
a[i] = i++; // 未定义行为( C++17 前)

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR 应用于 出版时的行为 正确行为
CWG 1885 C++14 函数返回时自动变量的销毁顺序不明确 添加顺序规则

引用

  • C++11 standard (ISO/IEC 14882:2011):
  • 1.9 Program execution [intro.execution]
  • 5.2.6 Increment and decrement [expr.post.incr]
  • 5.3.4 New [expr.new]
  • 5.14 Logical AND operator [expr.log.and]
  • 5.15 Logical OR operator [expr.log.or]
  • 5.16 Conditional operator [expr.cond]
  • 5.17 Assignment and compound assignment operators [expr.ass]
  • 5.18 Comma operator [expr.comma]
  • 8.5.4 List-initialization [dcl.init.list]

参阅