求值顺序
求值任何表达式的任何部分,包括求值函数参数的顺序都未指明(一些例外在下文中列出)。编译器能以任何顺序求值任何操作数和其他子表达式,并且可以在再次求值同一表达式时选择另一顺序。
C++ 中无从左到右或从右到左求值的概念。这不会与运算符的从左到右及从右到左结合性混淆:表达式 a() + b() + c() 由于 operator+ 的从左到右结合性被分析成 (a() + b()) + c(),但在运行时可以首先、最后或者在 a() 和 b() 之间对 c() 求值:
可能的输出:
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 前完成。下次求值相同表达式时顺序可以相反。
规则
规则 10 有一个例外:在 std::execution::par_unseq 执行策略下执行的标准库算法所作的函数调用是无顺序的,并且可以任意交错。 | (C++17 起) |
13) 函数调用表达式中,指名函数的表达式按顺序早于每个实参表达式和每个默认实参。
14) 函数调用中,每个形参的初始化的值计算和副作用相对于任何其他形参的初始化的值计算和副作用是顺序不确定的。
15) 用运算符写法进行调用时,每个重载的运算符都会遵循它所重载的内建运算符的定序规则。
16) 下标表达式 E1[E2] 中,E1 的每个值计算和副作用都按顺序早于 E2 的每个值计算和副作用。
17) 成员指针表达式 E1.*E2 或 E1->*E2 中,E1 的每个值计算和副作用都按顺序早于 E2 的每个值计算和副作用(除非 E1 的动态类型不含 E2 所指的成员)。
18) 移位运算符表达式 E1 << E2 和 E1 >> E2 中,E1 的每个值计算和副作用都按顺序早于 E2 的每个值计算和副作用。
19) 每个简单赋值表达式 E1 = E2 和每个复合赋值表达式 E1 @= E2 中,E2 的每个值计算和副作用都按顺序早于 E1 的每个值计算和副作用。
20) 带括号的初始化器中的逗号分隔的表达式列表中的每个表达式,如同函数调用一般求值(顺序不确定)。
|
(C++17 起) |
未定义行为
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++; // 行为未定义
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 前的未定义行为
i = ++i + i++; // 未定义行为 i = i++ + 1; // 未定义行为 i = ++i + 1; // 未定义行为 ++ ++i; // 未定义行为 f(++i, ++i); // 未定义行为 f(i = -1, i = -1); // 未定义行为
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]
参阅
- 运算符优先级,定义从表达式的源码表示构建它的方式。