4.表达式

表达式

表达式由一个或多个运算对象组成，对表达式求值将得到一个结果。字面值和变量是最简答的表达式，其结果就是字面值和变量的值。把一个运算符和一个或多个运算对象组合起来可以生成较复杂的表达式。

4.1基础

4.1.1基本概念

左值和右值

C++的表达式要不然是右值，要不然就是左值，但是二者的区别并没有那么简单。
一个左值表达式的求值结果是一个对象或者一个函数，然而以常量对象为代表的某些左值实际上不能作为赋值语句的左侧运算对象(因为是常量，所以不能赋值)。此外，虽然某些表达式的求值结果也是对象，但它们是右值而非左值。可以做一个简单的归纳：当一个对象被用作右值的时候，用的是对象的值(内容)；当对象被用作左值的时候，用的是对象的身份(在内存中的位置)。
不同的运算符对运算对象的要求各不相同，有的需要左值运算对象、有的需要右值运算对象；返回值也有差异，有的得到左值结果、有的得到右值结果。一个重要的原则是，在需要右值的地方可以用左值来代替，但是不能把右值当成左值(也就是位置)使用。当一个左值被当成右值使用时，实际使用的是它的内容(值)。目前为止，几种用到左值的运算符：

• 赋值运算符需要一个(非常量)左值作为其左侧运算对象，得到的结果也仍然是一个左值。
• 取地址符作用一个左值运算对象，返回一个指向该运算对象的指针，这个指针是一个右值。
• 内置解引用运算符、下标运算符、迭代器解引用运算符、string和vector的下标运算符的求值结果都是左值。
• 内置类型和迭代器的递增递减运算符作用于左值运算对象，其前置版本所得的结果也是左值。

使用关键字decltype的时候，左值和右值也有所不同。如果表达式的求值结果是左值，decltype作用于该表达式(不是变量)得到一个引用类型。例如，假定p的类型是int*，因为解引用运算符生成左值，所以decltype(*p)的结果是int&。另一方面，因为取地址运算符生成右值，所以decltype(&p)的结果是int**，也就是说，结果是一个指向整型指针的指针(个人理解：对指针取地址，得到的是指针的地址，因此，需要使用指向指针的指针来接收)。

4.1.3求值顺序

优先级规定了运算对象的组合方式，但是没有说明运算对象按照什么顺序求值。在大多数情况下，不会明确指定求值的顺序。
对于那些没有指定执行顺序的运算符来说，如果表达式指向并修改了同一个对象，将会引发错误并产生未定义的行为：

int i = 0;
cout << i << " " << ++i << endl;    // 未定义的

目前来说，有4种运算符明确规定了运算对象的求值顺序：逻辑与(&&)、逻辑或(||)、条件运算(?:)以及逗号(,)运算符。
以下两条经验准则对书写复合表达式有益：

• 拿不准的时候最好用括号来强制让表达式的组合关系符合程序逻辑的要求。
• 如果改变了某个运算对象的值，在表达式的其他地方不要再使用这个运算对象。

第二条规则有一个重要例外，当改变运算对象的子表达式本身就是另一个子表达式的运算对象时该规则无效。例如，在表达式*++iter中，递增运算符改变iter的值，iter(已经改变)的值又是解引用运算符的运算对象。此时(或类似的情况下)，求值的顺序不会成为问题，因为递增运算(即改变运算对象的子表达式)必须先求值，然后才轮到解引用运算。

4.2算数运算符

根据取余运算的定义，如果m和n是整数且n非0，则表达式(m / n) * n + m % n的求值结果与m相等。隐含的意思是，如果m % n不等于0，则它的符号和m相同。除了-m导致溢出的特殊情况，其他时候(-m) / n和m / (-n)都等于-(m / n)，m % (-n)等于m % n，(-m) % n等于-(m % n)。
值得注意的是，在遍历容器时，将变量声明为引用类型可以避免对元素的拷贝；如果不需要对元素内容进行修改，可以声明为对常量的引用。

4.5递增和递减运算符

递增和递减运算符的后置版本会将运算对象加1(或减1)，但是求值结果是运算对象改变之前那个值的副本。但是除非必须，否则不用递增递减运算符的后置版本。

在一条语句中混用解引用和递增运算符

如果想在一条复合表达式中既将变量加1或减1又能使用它原来的值，这时就可以使用递增和递减运算符的后置版本。例如，可以使用后置的递增运算符来控制循环，输出一个vector对象内容直至遇到第一个负值为止：

auto pbeg = v.begin();

while (pbeg != v.end() && *pbeg >= 0) {
    cout << *pbeg++ << endl;    // 输出当前值并将pbeg向前移动一个元素
    // 等价于
    // cout << *pbeg << endl;
    // ++pbeg;
}

4.6成员访问运算符

点运算符和箭头运算符都可用于访问成员，其中，点运算符获取类对象的一个成员；箭头运算符与点运算符有关，表达式ptr -> mem等价于(*ptr).mem。
箭头运算符作用于一个指针类型的运算对象，结果是一个左值。点运算符分成两种情况：如果成员所属的对象是左值，那么结果是左值；反之，如果成员所属的对象是右值，那么结果是右值。

4.7条件运算符(?:)

当条件运算符的两个表达式都是左值或者能转换成同一种左值类型时，运算的结果是左值；否则，运算的结果是右值。

4.8位运算符

位运算符作用于整数类型的运算对象，并把运算对象看成是二进制位的集合。位运算符提供检查和设置二进制位的功能。
一般来说，如果运算对象是"小整形"，则它的值会被自动提升成较大的整数类型。运算对象可以是带符号的，也可以是无符号的。如果运算对象是带符号的且它的值为负，那么位运算符如何处理运算对象的符号位依赖于机器。而且，此时的左移操作可能会改变符号位的值，因此是一种未定义的行为，强烈建议仅将位运算符用于处理无符号类型。

移位运算符

<<和>>这两种运算符的内置含义是对其运算对象执行基于二进制位的移动操作，首先令左侧运算对象的内容按照右侧运算对象的要求移动指定位数，然后将经过移动的(可能还进行了提升)左侧运算对象的拷贝作为求值结果。其中，右侧的运算对象一定不能为负，而且值必须严格小于结果的位数，否则就会产生未定义的行为。二进制位或者向左移或者向右移，移除边界之外的位就被舍弃掉了：

左移运算符在右侧插入值为0的二进制位。右移运算符的行为则依赖于左侧运算对象的类型：如果该运算对象是无符号类型，在左侧插入值为0的二进制位；如果该运算对象是带符号类型，在左侧插入符号位的副本或值为0的二进制位，如何选择要视具体环境而定。

4.9sizeof运算符

sizeof运算符返回一条表达式或一个类型名字所占的字节数。需要注意的是，sizeof并不实际计算其运算对象的值：

Sales_data data, *p;
sizeof *p;
sizeof Sales_data :: revenue;   // 另一种获取成员大小的方式

因为sizeof不会实际求运算对象的值，所以即使是一个无效(即未初始化)的指针也不会有什么影响。在sizeof的运算对象中解引用一个无效指针仍然是一种安全的行为，因为指针实际上并没有被真正使用。sizeof不需要真的解引用指针也能知道它所指对象的类型。
C++11新标准允许使用作用域运算符来获取类成员的大小。通常情况下，只有通过类的对象才能访问到类的成员。但是sizeof运算符无须提供一个具体的对象，因为要想知道类成员的大小无须真的获取该成员。
因为执行sizeof运算能得到整个数组的大小，所以可以用数组的大小除以单个元素的大小得到数组中元素的个数，且sizeof的返回值是一个常量表达式，所以可以用返回值声明数组的维度。

4.10逗号运算符

逗号运算符含有两个运算对象，按照从左向右的顺序依次求值。首先对左侧的表达式求值，然后将求值结果丢弃掉。逗号运算符真正的结果是右侧表达式的值。如果右侧运算对象是左值，那么最终的求值结果也是左值。

4.11类型转换

4.11.2其他隐式类型转换

数组转换成指针：在大多数用到数组的表达式中，数组自动转换成指向数组首元素的指针。当数组被用作decltype关键字的参数，或者作为取地址符、sizeof及typeid等运算符的运算对象时，上述转换不会发生。同样的，如果用一个引用来初始化数组，上述转换也不会发生。
指针的转换：常量整数值0或者字面值nullptr能转换成任意指针类型；指向任意非常量的指针能转换成void*；指向任意对象的指针能转换成const void*。
转换成常量：允许将指向非常量类型的指针转换成相应的常量类型的指针，对于引用也是这样。

4.11.3显式转换

命名的强制类型转换

一个命名的强制类型转换所具有的形式：cast-name<type>(expression);其中，type是转换的目标类型而expression是要转换的值。如果type是引用类型，则结果是左值。cast-name是static_cast、dynamic_cast、const_cast和reinterpret_cast中的一种。其中，dynamic_cast支持运行时类型识别：

• static_cast：任何具有明确定义的类型转换，只要不包含底层const，都可以使用static_cast。例如：double slope = static_cast<double>(j) / i;。当需要把一个较大的算术类型赋值给较小的类型时，static_cast非常有用，此时知道并且不在乎潜在的精度损失。如果不执行显示的类型转换，会给出警告信息。
  static_cast对于编译器无法自动执行的类型转换也非常有用。例如，可以借此找回存于void*指针中的值：

void* p = &d;
double *dp = static_cast<double*>(p);

• const_cast：只能改变运算对象的底层const。对于将常量对象转换成非常量对象的行为，一般称其为"去掉const性质"。一旦去掉某个对象的const性质，编译器就不再阻止对该对象进行写操作了。如果对象本身不是一个常量，使用强制类型转换获得写权限是合法的行为。然而如果对象是一个常量，再使用const_cast执行写操作就会产生未定义的后果。
  只有const_cast能改变表达式的常量属性，使用其他形式的命名强制类型转换改变表达式的常量属性都将引发编译器错误。同样的，也不能用const_cast改变表达式的类型：

const char *pc;
char *p = const_cast<char*>(pc);    // 正确：但是通过p写值是未定义的行为

const char *cp;
// 错误：static_cast不能转换掉const性质
char *q = static_cast<char*>(cp);
static_cast<string>(cp);    // 正确：字符串字面值转换成string类型
const_cast<string>(cp); // 错误：const_cast只改变常量属性

// const_cast常常用于有函数重载的上下文中

• reinterpret_cast(不推荐使用)：通常为运算对象的位模式提供较低层次上的重新解释。