可以做一个简单的归纳:当一个对象被用作右值的时候,用的是对象的值(内容);当对象被用作左值的时候,用的是对象的身份(在内存中的位置)。
在需要右值的地方可以用左值来代替,但是不能把右值当成左值(也就是位置)使用。当一个左值被当成右值使用时,实际使用的是它的内容(值)。
如果表达式的求值结果是左值,decltype作用于该表达式(不是变量)得到一个引用类型。
有4种运算符明确规定了运算对象的求值顺序:
(1)逻辑与(&&)运算符,从左到右
(2)逻辑或(||)运算符,从左到右
(3)条件(?:)运算符,从左到右
(4)逗号(,)运算符,从左到右
当拿不准复合表达式的求值顺序时,最好用括号来强制表达式的组合关系符合程序逻辑的要求。如果改变了某个运算对象的值,在表达式的其他地方就不要再使用这个运算对象。
进行比较运算时除非比较的对象是布尔类型,否则不要使用布尔字面值true和false作为运算对象。
除非必须,否则不要用递增递减运算符的后置版本。
前置版本的递增运算符避免了不必要的工作,它把值加1后直接返回改变了的运算对象。与之相比,后置版本需要将原始值存储下来以便于返回这个未修改的内容。如果我们不需要修改之前的值,那么后置版本的操作就是一种浪费。
建议养成使用前置版本的习惯,这样不仅不需要担心性能的问题,而且更重要的是写出的代码会更符合编程的初衷。
条件运算符(?:)的优先级非常低,因此当一条长表达式中嵌套了条件运算子表达式时,通常需要在它的两端加上括号。
位运算符作用于整数类型的运算对象,并把运算对象看成是二进制位的集合。位运算符同样能用于bitset类型。
(1)~位求反
(2)<<左移 >>右移
(3)&位与
(4)^位异或
(5)|位或
强烈建议仅将位运算符用于处理无符号类型。
左移运算符(<<)在右侧插入值为0的二进制位。右移运算符(>>)的行为则依赖于其左侧运算对象的类型:如果该运算对象是无符号类型,在左侧插入值为0的二进制位;如果该运算对象是带符号类型,在左侧插入符号位的副本或值为0的二进制位,如何选择要视具体环境而定。
运算符的运算对象有两种形式:
(1)sizeof(type)
(2)sizeof expr
因为sizeof不会实际求运算对象的值,所以即使p是一个无效(即未出初始化)的指针,也不会有什么影响。
sizeof运算符的结果部分地依赖于其作用的类型:
(1)对char或者类型为char的表达式执行sizeof运算,结果得1。
(2)对引用类型执行sizeof运算得到被引用对象所占空间的大小。
(3)对指针执行sizeof运算得到指针本身所占空间的大小。
(4)对解引用执行sizeof运算得到指针指向的对象所占空间的大小,指针不需有效。
(5)对数组执行sizeof运算得到整个数组所占空间的大小,等价于对数组中所有的元素各执行一次sizeof运算并将所得结果求和。
(6)对string对象或vector对象执行sizeof运算只返回该类型固定部分的大小,不会计算对象中的元素占用了多少空间。
因为执行sizeof运算能得到整个数组的大小,所以可以用数组的大小除以单个元素的大小得到数组中元素的个数:
constexpr size_t sz = sizeof(ia) / sizeof(*ia);
逗号运算符经常被用在for循环当中:
vector<int>::size_type cnt = ivec.size();
for (vector<int>::size_type ix = 0; ix!=ivec.size(); ++ix, --cnt)
{
ivec[ix] = cnt;
}
虽然有时不得不使用强制类型转换,但这种方法本质上是非常危险的。
任何具有明确定义的类型转换,只要不包含底层const,都可以使用static_cast。
const_cast只能改变运算对象的底层const。对于将常量对象转换成非常量对象的行为,我们一般称其为去掉const性质。
reinterpret_cast通常为运算对象的位模式提供较低层次上的重新解释。
每次书写一条强制类型转换语句,都应该反复斟酌能否以其他方式实现相同的目标。就算实在无法避免,也应该尽量限制类型转换值的作用域,并且记录对相关类型的所有假定,这样可以减少错误发生的机会。