Expressions

表达式是由 运算符 及其 操作数 组成的序列，用于指定计算过程。

表达式求值可能产生结果（例如， 2 + 2 的求值会生成结果 4 ），也可能产生副作用（例如， std:: printf ( "%d" , 4 ) 的求值会在标准输出上打印字符 '4' ）。

每个 C++ 表达式都具有两个独立特性：类型和值类别。

概述

• 值类别 （左值、右值 、广义左值、纯右值、将亡值 (C++11 起) ）按表达式的值进行分类
• 求值顺序 规定了获取中间结果的顺序

运算符

• 运算符优先级 定义了运算符与其操作数绑定的顺序
• 替代表示法 是某些运算符的替代拼写方式
• 运算符重载 使得可以为用户自定义类指定运算符的行为

转换

• 标准转换 从一种类型到另一种类型的隐式转换
• const_cast 转换
• static_cast 转换
• dynamic_cast 转换
• reinterpret_cast 转换
• 显式转换 使用C风格转换表示法和函数式表示法
• 用户定义转换 使得从用户定义类指定转换成为可能

内存分配

• new expression 动态分配内存
• delete expression 动态释放内存

其他

• 常量表达式 可在编译时求值并用于编译期上下文（模板参数、数组大小等）
• sizeof
• alignof
• typeid
• throw表达式

主表达式

任何运算符的操作数可以是其他表达式或基本表达式（例如在 1 + 2 * 3 中，运算符+的操作数是 子表达式 2 * 3 和基本表达式 1 ）。

基本表达式可以是以下任意一种：

• this
• 字面量（例如 2 或 "Hello, world" ）
• 标识符表达式，包括
  • 经适当声明的 非限定标识符 （例如 n 或 cout ），
  • 经适当声明的 限定标识符 （例如 std::string::npos ），以及
  • 将在 声明符 中声明的标识符

任何括号内的表达式同样被归类为主表达式：这确保了括号具有高于任何运算符的优先级。括号会保留值、类型和值类别。

字面量

字面量是C++程序中表示嵌入源代码的常量值的标记。

• 整数字面量 是整型的十进制、八进制、十六进制或二进制数字。
• 字符字面量 是类型为字符的单个字符。

• char 或 wchar_t

• 浮点数字面量 是类型为 float 、 double 或 long double 的值
• 字符串字面量 是类型为字符序列的值

• const char [ ] 或 const wchar_t [ ]

• 布尔字面量 是类型为 bool 的值，即 true 和 false

完整表达式

一个 组成表达式 的定义如下：

• 表达式的构成表达式就是该表达式本身。
• 花括号包围的初始化列表 或（可能带括号的）表达式列表的构成表达式，是相应列表中各元素的构成表达式。
• 以 = 开头的 初始化器 的构成表达式，是 初始化子句 的构成表达式。

int num1 = 0;
num1 += 1; // 情况1：“num += 1”的构成表达式是“num += 1”
int arr2[2] = {2, 22} // 情况2：“{2, 22}”的构成表达式是“2”和“22”
                      // 情况3：“= {2, 22}”的构成表达式是“{2, 22}”的构成表达式
                      //         （即同样是“2”和“22”）

表达式 E 的 直接子表达式 是指

• E 操作数的组成表达式，

• 任何由 E 隐式调用的函数调用，或
• 若 E 是函数调用或隐式调用函数，则调用中使用的每个 默认实参 的组成表达式。

表达式的 子表达式 是指该表达式的直接子表达式，或其直接子表达式的子表达式。 注意：出现在 lambda 表达式“函数体”中的表达式不属于该 lambda 表达式的子表达式。 (since C++11)

以下表达式为 完整表达式  ：

• 未求值操作数
• 常量表达式

• 简单声明 或 成员初始化器 的声明符，包括初始化器的组成表达式
• 在对象生命周期结束时生成的 析构函数 调用，不包括生命周期未被延长的临时对象

• 不属于任何其他表达式的子表达式且不构成任何完整表达式一部分的表达式

如果某个语言结构被定义为产生对函数的隐式调用，那么该语言结构的使用就本定义而言被视为一个表达式。为满足表达式所在语言结构的要求而对表达式结果应用的转换，也被视为完整表达式的一部分。

对于初始化器而言，执行实体的初始化 （包括对聚合体的默认成员初始化器进行求值） (since C++14) 同样被视为完整表达式的一部分。

可能求值表达式

可能被求值的表达式属于 ODR-use 。

被丢弃值表达式

一个 弃值表达式 是仅为其副作用而使用的表达式。此类表达式计算出的值会被丢弃。这类表达式包括：任何 表达式语句 的完整表达式、内置逗号运算符的左操作数，或强制转换为 void 类型的强制转换表达式的操作数。

数组到指针和函数到指针的转换永远不会应用于被弃值表达式计算的结果。当且仅当表达式是 volatile限定 的泛左值且满足以下形式之一时（要求具有内置含义，可包含括号），才会进行左值到右值的转换：

• id表达式，
• 数组下标表达式，
• 类成员访问表达式，
• 间接寻址，
• 指向成员操作，
• 条件表达式（其中第二和第三操作数均为上述表达式之一），
• 逗号表达式（其中右操作数为上述表达式之一）。

此外，如果左值是volatile限定类类型，则需要使用volatile拷贝构造函数来初始化生成的右值临时对象。

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见