c++ primer 读书笔记六

2.4const 限定符

const int bufSize=512；//输入缓冲区的大小

把bufsize定义成了一个常量，任何试图为bufSize赋值的行为都将引发错误：
const对象一旦创建后其值就不能再改变，所以const对象必须初始化初始值可以是任意复杂的表达式

const int i=get_size();
const int j=42;
const int k;//错误：k是一个未经初始化的常量

初始化和const
在不改变const对象操作中还有一种是初始化，如果利用一个对象去初始化另外一个对象，则它们是不是const都无关紧要：

int i=42；
const int ci=i；//正确：i的值被拷贝给了ci
int j=ci//正确;ci的值被拷贝给了j

const的引用
与普通引用不一样的是，对常量的引用不能被用作修改它所绑定的对象：
const int ci=1024；
const int &r1=ci;
r1=42;//错误r1是对常量的引用
int &r2=ci;//错误；

初始化和对const的引用
引用的类型必须与其所引用对象的类型一致，但是有两个例外：
1初始化常量引用允许表达式作为初始值，只是该表达式的结果能转换成引用时的类型，只要该表达式的结果能转换成引用的类型即可。

int i=42;
const int &r1=i;//允许将const int&绑定到一个int对象上
const int &r2=42；//正确：r1是一个常量引用
const int &r3=r1*2：//正确：r3是一个常量引用
int &r4=r1*2；//错误r4是一个普通的非常量引用

不能让const给非const的的引用赋值

对const的引用可能引用一个并非const的对象
常量引用仅仅对引用可参与的操作做出了限定，对于引用的对象本身是不是一个常量未做限定，因为对象也可能是个非常量，所以允许通过其他途径改变它的值
int i=42;
int &r1=i;//引用ri绑定对象i
const int &r2=i;//r2也绑定对象i，但不允许通过r2修改i的值
r1=0;//r1并非常量，i的修该值为0
r21=0;

指针和const
与引用一样，也可以令指针指向常量或者非常量。指向常量的指针不能用于改变其所指对象的值。要想存放常量对象的地址，只能使用指向常量的指针：

const double pi=3.14；//pi是个常量它的值不能改变
double *ptr=&pi；
const double *cptr=&pi；
*cptr=42；

第一种例外情况是允许令一个指向常量的指针指向一个非常量对象

double dval=3.14；
cptr=&dval；//正确,但不能通过cptr改变dval的值

const指针
指针是对象而不是引用，因此就像其他对象类型一样，允许把指针本身定为常量。常量指针必须初始化，而且一旦初始化完成，则它的值（也就是存放在指针中的那个地址）就不能再改变，把*放在const关键字之前用以说明指针是一个常量，即不变的是指针本身的值而非指向的那个值：

int errNumb=0；
int *const curErr=&errNumb；//curErr将一直指向errNumb
const double pi=3.14159；
const double *const pip=&pi；//pip是一个指向常量对象的常量指针
最有效的方法就是从右往左阅读。离curErr最近的符号是const，意味着curErr本身是一个常量对象，对象的类型由声明符的其余部分确定。声明符中的下一行符号是*，意思是cueErr是一个常量指针

pip是指向常量的常量指针则不论pip所指的对象值还是pip自己存储的那个地址都不能改变，相反curErr指向的是一个一般的非常量整数，那么就完全可以用curErr去修改errNumb的值
*pip=2.72；//错误：pip是一个指向常量的指针
        //如果curErr所指的对象的值不为0
if（*curErr）
{errorHandler（）；
*curErr=0；正确：把curErr所指的对象的值重置
}

顶层const
指针本身是一个对象，它又可以指向另外一个对象。因此，指针本身是不是常量以及指针所指的是不是一个常量就是两个相互独立的问题
顶层const表示指针本身是个常量，而名词底层const表示指针所指的对象是一个常量
顶层const可以表示任意的对象是常量，这一点任何数据类型都适用，
低层const则与指针和引用等复合类型的基本类型部分有关
指针类型既可以是顶层const也可以底层const

int i=0；
int *const p1=&i；//不能改变p1的值，这是一个顶层const
const int ci=42；//不能改变ci的值，这是一个顶层const
const int *p2=&ci；//允许改变p2的值这是一个底层const
const int *const p3=p2;//靠右的const是顶层const，靠左的是底层const
const int &r=ci；

执行拷贝操作并不会改变被拷贝对象的值，因此，拷入和考出的对象是否是常量都没什么影响。
另一方面，底层const的限制却不能互虐，当执行对象拷贝操作时候，拷贝和拷出的对象必须具有相同的底层const资格，或者两个数据类型必须转换。一般来说，非常量可以转换成常量，反之不行：
int *p=p3；//错误：p3包含顶层const的定义，而p没有
p2=p3；//正确p2和p3都是底层const
p2=&i；正确int*转换const int*
int &r=ci；