表达式的求值可以产生一个结果（比如 2+2 的求值产生结果 4），也可能产生副作用（比如对 ("%d",4) 的求值在标准输出上打印字符 '4'）。

概述

  • 值类别（左值 (lvalue)、右值 (rvalue)、泛左值 (glvalue)、纯右值 (prvalue)、亡值 (xvalue)）是根据表达式的值所进行的分类
  • 实参和子表达式的指定获得中间结果所用的顺序
  • 运算符优先级定义了运算符绑定到其各实参的顺序
  • 是一些运算符的其他代用书写方式
  • 运算符重载允许对用户定义的类指定各运算符的行为。

转换

内存分配

其他

  • 能在编译期求值并在编译期语境（如模板实参、数组大小等等）中使用
  • sizeof
  • typeid

任何运算符的操作数都可以是其他的表达式或初等表达式（例如，1+23 中 operator+ 的操作数是子表达式 23 和初等表达式 1）。

初等表达式包括以下各项：

1) 字面量（例如 2 或 "Hello, world"）

3) 经过适当声明的有限定的标识符（例如 ）

4) lambda 表达式 (C++11)

5) (C++17)

6) requires 表达式 (C++20)

字面量

字面量是 C++ 程序中用以表现嵌入到源代码中的常量值的记号。

  • 是整数类型的十进制、八进制、十六进制或二进制 (C++14 起)的数值
  • 字符字面量是有下列类型之一的单个字符：
    • char 或 wchar_t
    • char8_t (C++20 起)
  • 是 float、double 或 long double 类型的值
  • 字符串字面量是有下列类型之一的字符序列：
    • const char[] 或 const wchar_t[]
    • const char16_t[] 或 const char32_t[] (C++11 起)
    • char8_t (C++20 起)
  • 是 bool 类型的值，即 true 和 false
  • nullptr 是指针字面量，指定一个空指针值 (C++11 起)
  • 是用户指定的类型的常量值 (C++11 起)

运算符 typeid、、noexcept 和 (C++11 起) 的操作数是不求值表达式（除非运算符为 typeid 而操作数是多态泛左值），因为这些运算符仅查询其操作数的编译期性质。因此，std::size_t n = sizeof( << 42); 不进行控制台输出。

弃值表达式是仅用来实施其副作用的表达式。从这种表达式计算的值被舍弃。这样的表达式包括任何表达式语句的完整表达式，内建逗号运算符的左边的实参，以及转型到类型 void 的转型表达式的实参。

弃值表达式的计算结果永远不进行数组到指针和函数到指针转换。当且仅当该表达式是 泛左值，并具有下列形式之一（必须为其内建含义，可以有括号）时，进行左值到右值转换：

  • 标识表达式 (id-expression)
  • 数组下标表达式
  • 类成员访问表达式
  • 间接寻址
  • 成员指针操作
  • 逗号表达式，其右操作数是这些表达式中的一种。