4.1 基础
1.表达式由一个或多个运算对象(operand)组成,对表达式求值将得到一个结果(result)。字面值和变量是最简单的表达式(expression),其结果就是字面值和变量的值。把一个运算符(operator)和一个或多个运算对象组合起来可以生成较复杂的表达式。
2.C++定义了一元运算符(unary operator)和二元运算符(binary operator)。作用于一个运算对象的运算符是一元运算符,如取地址符(&)和解引用符(*);作用于两个运算对象的运算符是二元运算符,如相等运算符(==)和乘法运算符(*)。除此之外,还有一个作用于三个运算对象的三元运算符。函数调用也是一种特殊的运算符,它对运算对象的数量没有限制。
一些符号既能作为一元运算符也能作为二元运算符。以符号*为例,作为一元运算符时执行解引用操作,作为二元运算符时执行乘法操作。一个符号到底是一元运算符还是二元运算符由它的上下文决定。对于这类符号来说,它的两种用法互不相干,完全可以当成两个不同的符号。
3.在表达式求值的过程中,运算对象常常由一种类型转换成另外一种类型。
4.C++语言定义了运算符作用于内置类型和复合类型的运算对象时所执行的操作。当运算符作用于类类型的运算对象时,用户可以自行定义其含义。因为这种自定义的过程事实上是为已存在的运算符赋予了另外一层含义,所以称之为重载运算符(overloaded operator)。IO库的>>和<<运算符以及string对象、vector对象和迭代器使用的运算符都是重载的运算符。
5.C++的表达式要不然是右值(rvalue,读作"are-value"),要不然就是左值(lvalue,读作"ell-value")。
当一个对象被用作右值的时候,用的是对象的值(内容);当对象被用作左值的时候,用的是对象的身份(在内存中的位置)。
6.表达式最终的值依赖于其子表达式的组合方式。高优先级运算符的运算对象要比低优先级运算符的运算对象更为紧密地组合在一起。如果优先级相同,则其组合规则由结合律确定。
7.以下两条经验准则对书写复合表达式有益:
1.拿不准的时候最好用括号来强制让表达式的组合关系符合程序逻辑的要求。
2.如果改变了某个运算对象的值,在表达式的其他地方不要再使用这个运算对象。
4.2 算术运算符
1
2.运算符%俗称"取余"或"取模"运算符,负责计算两个整数相除所得的余数,参与取余运算的运算对象必须是整数类型。C++11新标准则规定商一律向0取整(即直接切除小数部分)。
除了 m导致溢出的特殊情况,其他时候(-m)/n和m/(-n)都等于-(m/n),m%(-n)等于m%n,(-m)%n等于-(m%n)。
4.3 逻辑和关系运算符
1.
2.对于逻辑与运算符来说,当且仅当左侧运算对象为真时才对右侧运算对象求值。
对于逻辑或运算符来说,当且仅当左侧运算对象为假时才对右侧运算对象求值。
3.进行比较运算时除非比较的对象是布尔类型,否则不要使用布尔字面值true和false作为运算对象。
4.4 赋值运算符
1.每种运算符都有相应的复合赋值形式:
- += -= *= /= %= //算术运算符
- <<= >>= &= ^= |= //位运算符
4.5 递增和递减运算符
1.增运算符(++)和递减运算符( )为对象的加1和减1操作提供了一种简洁的书写形式。
2.建议:除非必须,否则不用递增递减运算符的后置版本
有C语言背景的读者可能对优先使用前置版本递增运算符有所疑问,其实原因非常简单:前置版本的递增运算符避免了不必要的工作,它把值加1后直接返回改变了的运算对象。与之相比,后置版本需要将原始值存储下来以便于返回这个未修改的内容。如果我们不需要修改前的值,那么后置版本的操作就是一种浪费。
对于整数和指针类型来说,编译器可能对这种额外的工作进行一定的优化;但是对于相对复杂的迭代器类型,这种额外的工作就消耗巨大了。建议养成使用前置版本的习惯,这样不仅不需要担心性能的问题,而且更重要的是写出的代码会更符合编程的初衷。
4.6 成员访问运算符
1.点运算符和箭头运算符都可用于访问成员,其中,点运算符获取类对象的一个成员;箭头运算符与点运算符有关,表达式ptr->mem等价于(*ptr).mem。
2.箭头运算符作用于一个指针类型的运算对象,结果是一个左值。点运算符分成两种情况:如果成员所属的对象是左值,那么结果是左值;反之,如果成员所属的对象是右值,那么结果是右值。
4.7 条件运算符
1.条件运算符(? :)允许我们把简单的if-else逻辑嵌入到单个表达式当中,条件运算符按照如下形式使用:
cond ? expr1 : expr2;
其中cond是判断条件的表达式,而expr1和expr2是两个类型相同或可能转为某个公共类型的表达式。条件运算符的执行过程是:首先求cond的值,如果条件为真对expr1求值并返回该值,否则执行expr2。
4.8 位运算符
1.
2.对于位与运算符(&)来说,如果两个运算对象的对应位置都是1则运算结果中该位为1,否则为0。对于位或运算符(|)来说,如果两个运算对象的对应位置至少有一个为1则运算结果中该位为1,否则为0。对于位异或运算符(^)来说,如果两个运算对象的对应位置有且只有一个为1则运算结果中该位为1,否则为0。
4.9 sizeof运算符
1.sizeof运算符返回一条表达式或一个类型名字所占的字节数。sizeof运算符满足右结合律,其所得的值是一个size_t类型的常量表达式。
2.sizeof运算符的结果部分地依赖于其作用的类型:
对char或者类型为char的表达式执行sizeof运算,结果得1。
对引用类型执行sizeof运算得到被引用对象所占空间的大小。
对指针执行sizeof运算得到指针本身所占空间的大小。
对解引用指针执行sizeof运算得到指针指向的对象所占空间的大小,指针不需有效。
对数组执行sizeof运算得到整个数组所占空间的大小,等价于对数组中所有的元素各执行一次sizeof运算并将所得结果求和。注意,sizeof运算不会把数组转换成指针来处理。
对string对象或vector对象执行sizeof运算只返回该类型固定部分的大小,不会计算对象中的元素占用了多少空间。
4.10 逗号运算符
1.逗号运算符(comma operator)含有两个运算对象,按照从左向右的顺序依次求值。和逻辑与、逻辑或以及条件运算符一样,逗号运算符也规定了运算对象求值的顺序。
对于逗号运算符来说,首先对左侧的表达式求值,然后将求值结果丢弃掉。逗号运算符真正的结果是右侧表达式的值。如果右侧运算对象是左值,那么最终的求值结果也是左值。
4.11 类型转换
1.在下面这些情况下,编译器会自动地转换运算对象的类型:
在大多数表达式中,比int类型小的整型值首先提升为较大的整数类型。
在条件中,非布尔值转换成布尔类型。
初始化过程中,初始值转换成变量的类型;在赋值语句中,右侧运算对象转换成左侧运算对象的类型。
如果算术运算或关系运算的运算对象有多种类型,需要转换成同一种类型。
函数调用时也会发生类型转换。
2.一个命名的强制类型转换具有如下形式:
cast-name<type>(expression);
其中,type是转换的目标类型而expression是要转换的值。如果type是引用类型,则结果是左值。cast-name是static_cast、dynamic_cast、const_cast和reinterpret_cast中的一种。dynamic_cast支持运行时类型识别。cast-name指定了执行的是哪种转换。
3.任何具有明确定义的类型转换,只要不包含底层const,都可以使用static_cast。
const_cast只能改变运算对象的底层const。
reinterpret_cast通常为运算对象的位模式提供较低层次上的重新解释。
reinterpret_cast的功能比static_cast的功能更为强大,但安全性也更为的差,可以用它完成C++语法上不允许的\
转换,在某些情况下程序员有需要的转换。例如,可以把某种引用或指针类型转换为其他引用类型或指针类型(两\
个类型可以不相关),这个关键字还经常将指针转换为void*,以及将void*转换为指针。
下面通过代码说明reinterpret_cast的使用:
#include <iostream>
using namespace std;
//测试int 和 void*的相互转化
void test_voidpointer(void *data){
int d = reinterpret_cast<int>(data);
cout << d << endl;
}
//定义连个无关类A, B
class A{
};
class B{
};
int _tmain(int argc, _TCHAR* argv[])
{
//void* 和in的相互转化,这里应该注意一下64位平台和32位平台指针的大小不同
test_voidpointer(reinterpret_cast<void *>(20));
//A a;
B b;
//a = reinterpret_cast<A>(b); //编译通不过,b不知指针或者引用
//下面是指针或引用的转化
A *pa = reinterpret_cast<A*>(&b);
A &ra = reinterpret_cast<A&>(b);
system("pause");
return 0;
}
//进行强制类型转换以便执行浮点数除法 double slope = static_cast<double>(j) / i; void* p = &d; double *dp = static_cast<double *>(p); //const_cast只能改变运算对象的底层const-指针所指对象是一个常量 const char *pc; char *p = const_cast<char *>(pc);
4.12 运算符优先级表