求值顺序

来自cppreference.com
< cpp‎ | language


 
 
C++ 语言
 
 

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

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(等价地有 B 按顺序晚于 A),那么 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) 完整表达式的每次值计算和副作用都按顺序早于下一个完整表达式的每个值计算和副作用。
2) 任何运算符的各操作数的值计算(但非副作用)都按顺序早于该运算符结果的值计算(但非副作用)。
3) 调用函数时(无论函数是否内联,且无论是否使用显式函数调用语法),与任何实参表达式或与指代被调用函数的后缀表达式关联的每个值计算和副作用,都按顺序早于被调用函数体内的每个表达式或语句的执行。
4) 内建后自增与后自减运算符的值计算按顺序早于它的副作用。
5) 内建前自增与前自减运算符的副作用按顺序早于它的值计算(作为由复合赋值的定义所致的隐含规则)。
6) 内建逻辑与(AND)运算符 &&,内建逻辑或(OR)运算符 ||,和内建逗号运算符 , 的第一(左)操作数的每个值计算和副作用,按顺序早于第二(右)操作数的每个值计算和副作用。
7)条件运算符 ?: 中的第一个表达式关联的每个值计算和副作用,都按顺序早于与第二或第三表达式关联的每个值计算和副作用。
8) 内建赋值运算符和所有内建复合赋值运算符的副作用(修改左操作数),都按顺序晚于左右操作数的值计算(但非副作用),且按顺序早于赋值表达式的值计算(即早于返回指代被修改对象的引用之时)。
9) 列表初始化中,任何给定初始化器子句的每个值计算和副作用,都按顺序早于大括号包围的初始化器的逗号分隔列表中任何跟在它之后的初始化器子句的每个值计算和副作用。
10) 如果某个函数调用既不按顺序早于又不按顺序晚于函数外的另一表达式的求值(可能是另一函数调用),那么它与该求值之间是顺序不确定的(程序必须表现为如同组成一次函数调用的 CPU 指令,不会与组成其他表达式的求值(包括其他函数调用)的指令之间发生交错,即使函数被内联也是如此)。
规则 10 有一个例外:在 std::execution::par_unseq 执行策略下执行的标准库算法所作的函数调用是无顺序的,并且可以任意交错。 (C++17 起)
11) 对分配函数(operator new)的调用相对于 new 表达式中构造函数各实参的求值来说,是顺序不确定的 (C++17 前)按顺序早于它 (C++17 起)
12) 从函数返回时,作为函数调用求值结果的临时量的复制初始化按顺序早于在 return 语句的操作数末尾处对所有临时量的销毁,而这些销毁进一步按顺序早于对环绕 return 语句的块的所有局部变量的销毁。
13) 函数调用表达式中,指名函数的表达式按顺序早于每个实参表达式和每个默认实参。
14) 函数调用中,每个形参的初始化的值计算和副作用相对于任何其他形参的初始化的值计算和副作用是顺序不确定的。
15) 用运算符写法进行调用时,每个重载的运算符都会遵循它所重载的内建运算符的定序规则。
16) 下标表达式 E1[E2] 中,E1 的每个值计算和副作用都按顺序早于 E2 的每个值计算和副作用。
17) 成员指针表达式 E1.*E2E1->*E2 中,E1 的每个值计算和副作用都按顺序早于 E2 的每个值计算和副作用(除非 E1 的动态类型不含 E2 所指的成员)。
18) 移位运算符表达式 E1 << E2E1 >> E2 中,E1 的每个值计算和副作用都按顺序早于 E2 的每个值计算和副作用。
19) 每个简单赋值表达式 E1 = E2 和每个复合赋值表达式 E1 @= E2 中,E2 的每个值计算和副作用都按顺序早于 E1 的每个值计算和副作用。
20) 带括号的初始化器中的逗号分隔的表达式列表中的每个表达式,如同函数调用一般求值(顺序不确定)。
(C++17 起)

未定义行为

1) 如果某个内存位置上的一项副作用相对于同一个内存位置上的另一副作用是无顺序的,那么它的行为未定义
i = ++i + 2;       // 具有良好定义
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 前)

C++11 前的定义

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

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

C++11 前的规则

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

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

3) 在从函数返回时,在从函数调用结果的复制初始化之后,和 return 语句表达式 末尾的临时对象析构(若存在)前,有一个序列点。

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

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

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

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

C++11 前的未定义行为

1) 前后序列点间,至多可以修改在同一个内存位置中的任何对象的存储值一次,否则行为未定义
i = ++i + i++;     // 未定义行为
i = i++ + 1;       // 未定义行为
i = ++i + 1;       // 未定义行为
++ ++i;            // 未定义行为
f(++i, ++i);       // 未定义行为
f(i = -1, i = -1); // 未定义行为
2) 前后序列点间,访问表达式求值所修改的在同一个内存位置中的任何对象的先前值,必须只为确定要存储的值。如果以其他任何方式访问,那么行为未定义
cout << i << i++; // 未定义行为
a[i] = i++;       // 未定义行为

缺陷报告

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

缺陷报告 应用于 出版时的行为 正确行为
CWG 1885 C++98 函数返回时自动变量的销毁顺序不明确 添加顺序规则
CWG 1949 C++98 C++标准使用了"按顺序晚于",但没有定义它 定义为"按顺序早于"的相反关系
CWG 2146 C++98 涉及未定义行为的情况没有考虑到位域 考虑这种情况

引用

  • C++23 标准(ISO/IEC 14882:2024):
  • 6.9.1 Program execution [intro.execution]
  • 7.6.1.6 Increment and decrement [expr.post.incr]
  • 7.6.2.8 New [expr.new]
  • 7.6.14 Logical AND operator [expr.log.and]
  • 7.6.15 Logical OR operator [expr.log.or]
  • 7.6.16 Conditional operator [expr.cond]
  • 7.6.19 Assignment and compound assignment operators [expr.ass]
  • 7.6.20 Comma operator [expr.comma]
  • 9.4.5 List-initialization [dcl.init.list]
  • C++20 标准(ISO/IEC 14882:2020):
  • 6.9.1 Program execution [intro.execution]
  • 7.6.1.5 Increment and decrement [expr.post.incr]
  • 7.6.2.7 New [expr.new]
  • 7.6.14 Logical AND operator [expr.log.and]
  • 7.6.15 Logical OR operator [expr.log.or]
  • 7.6.16 Conditional operator [expr.cond]
  • 7.6.19 Assignment and compound assignment operators [expr.ass]
  • 7.6.20 Comma operator [expr.comma]
  • 9.4.4 List-initialization [dcl.init.list]
  • C++17 标准(ISO/IEC 14882:2017):
  • 4.6 Program execution [intro.execution]
  • 8.2.6 Increment and decrement [expr.post.incr]
  • 8.3.4 New [expr.new]
  • 8.14 Logical AND operator [expr.log.and]
  • 8.15 Logical OR operator [expr.log.or]
  • 8.16 Conditional operator [expr.cond]
  • 8.18 Assignment and compound assignment operators [expr.ass]
  • 8.19 Comma operator [expr.comma]
  • 11.6.4 List-initialization [dcl.init.list]
  • C++14 标准(ISO/IEC 14882:2014):
  • 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]
  • C++11 标准(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]

参阅