第4章 表达式

4.1 基础

左值和右值

当一个对象被用作左值的时候,使用的是对象的内存空间。当一个对象被用作右值的使用,使用的是对象的内存数值。

左值的同时,也可以当做右值,从而使用其值。但是右值,不一定能作为左值。

warming

赋值运算需要一个左值作为左侧运算对象,同时,也将返回一个左值。

decltype作用于左值,将返回一个引用类型,比如*p,返回的是左值,decltype(*p)得到是int&类型。decltype作用于右值,将返回一个指针类型,比如&p,返回的是右值,decltype(&p)得到是int**类型。

4.2 算术运算符(+ - * / %)

算术运算符按照从左向右的顺序进行组合,是左结合律。

算术运算符的求职结果是右值。

算术运算中,非数值需要转换成数值才能参与运算,例如bool值将分别转换为0、1.

对于%运算符,作用对象应为整数,并满足m=(m/n)*n+m%n。可知,m%n符号与m相同。

4.3 逻辑和关系运算符(>=<、==、!=、!、&&、||)

逻辑和关系运算符返回的类型都是布尔类型,运算对象和求值结果都是右值。

4.4 赋值运算符(=)

赋值运算符的左侧对象必须是一个可修改的左值。

赋值运算符返回的是他的左侧运算对象,并且是一个左值。

赋值运算符满足右结合律。

赋值运算符运算结果的用处:

int i;
while( (i=get_value()) != 42)
    do_something();

4.5 递增递减(++、--)

前置,将运算对象递增/减,并返回运算之后的对象,作为左值。后置,将运算对象递增/减,并返回运算之前对象的副本,作为右值。

因此,如非必要,避免使用后置对象,可以减少产生副本的开销。

后置的用法:

auto pbeg = v.begin();
while(pbeg != v.end() )
    //++优先级高,此处将当前值输出,并将迭代器提升一个位置
    cout<< *pbeg++<<endl;

4.6 成员访问运算符(->、.)

ptr->men等价于(*ptr).mem

4.7 条件运算符(cond ? expr1 : expr2)

条件运算符使用右结合律,是从右向左组合的。右边的通常是左边的分支。

4.8 位运算

~    按位求反
<<、>>    移位运算(有时事IO运算)
&, |    按位与、或
^    按位异或

移位运算满足左结合律。优先级比关系运算、赋值运算、条件运算高,比算术运算低。

4.9 sizeof运算符

返回表达式或者类型名字占用的字节数。满足右结合律,所得为size_t类型的常量。有两种形式:

sizeof(type)
sizeof expr

sizeof并不直接计算表达式的值。

sizeof *p满足右结合律,sizeof和*的优先级相同,因此等价于sizeof(*p)。由于不直接计算表达式的值,所以即使p是一个空指针,仍然可以求值。

warming

sizeof对char表达式运算结果为1。

sizeof对数组运算结果为整个数组占用的字节数。

sizeof对string和vector只会返回类型固定部分的大小,不返回其所有元素占用空间的大小

4.10 逗号运算符(,)

从左向右求值,返回右侧的值。

4.11 类型转换

隐式转换

比int类型小的整型,提升为较大的整型。
条件中,非布尔值转换成布尔值。初始化中,初始值转换为变量的类型;赋值中,右侧类型转换成左侧类型。
算术运算、关系运算中,转换成同一种类型进行运算。字节相同,带符号的转换成无符号的。字节不同,转换成字节多的类型。
函数调用时。

数组转换成指针。

回头补充

编译器每次只会执行一种类类型的转换,但是内置类型的转换和类类型的转换可以一起使用。

显示转换

强制类型转换的形式:cast-name<type>(expression)

补充const int *const p = &value,其中第二个const是顶层,限制p的内存不能更改;第一个const是底层,限制指向的内存不能改。

static_cast:只要不包含底层const,都可以使用。

const_cast:只能改变底层const性质,不能改变类型,也就是可以将常量转换为变量。

reinterpret_cast:提供对内存位模式的重新解释,例如将指向int的指针(int *ip),转换成指向char的指针(reinterpret_cast<char*>(ip) )。

int x(0x00484848);  //十六进制48,表示H
int *p=&x;
char *c=reinterpret_cast<char*>(p);
cout<< c <<endl;        //输出为:HHH,依赖于机器,此处int的高位是内存中较高的地址。

dynamic_cast:运行时类型识别。

旧式强制类型转换

type(expr)

(type)expr

 

 

posted on 2015-05-04 21:06  峰入云  阅读(299)  评论(0编辑  收藏  举报

导航