const限定符详解

一.前言

有时我们希望定义这样一种变量，它的值不能被改变。例如，用一个变量来表示缓冲区的大小。使用变量的好处是当我们觉得缓冲区大小不再合适时，很容易对其进行调整。另一方面，也应随时警惕防止程序一不小心改变了这个值。为了满足这一要求，可以用关键字const对变量的类型加以限定:

const int bufsize = 512;

//输入缓冲区大小

这样就把bufsize定义成了一个常量。任何试图为bufSize赋值的行为都将引发错误:

bufsize = 512;
//错误:试图向const对象写值

因为const对象一旦创建后其值就不能再改变,所以const对象必须初始化。一如既往，初始值可以是任意复杂的表达式:

const int i = get_size ();
//正确:运行时初始化
const int j= 42;
//正确:编译时初始化
const int k;
//错误:k是一个未经初始化的常量

初始化和const

正如之前反复提到的，对象的类型决定了其上的操作。与非 const类型所能参与的操作相比，const类型的对象能完成其中大部分，但也不是所有的操作都适合。主要的限制就是只能在const类型的对象上执行不改变其内容的操作。例如，const int和普通的int一样都能参与算术运算，也都能转换成一个布尔值，等等。
在不改变const对象的操作中还有一种是初始化，如果利用一个对象去初始化另外一个对象，则它们是不是const都无关紧要:

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

尽管ci是整型常量，但无论如何ci中的值还是一个整型数。ci的常量特征仅仅在执行改变ci的操作时才会发挥作用。当用ci去初始化j时，根本无须在意ci是不是一个常量。拷贝一个对象的值并不会改变它，一旦拷贝完成，新的对象就和原来的对象没什么关系了。

二.const与引用

可以把引用绑定到const对象上，就像绑定到其他对象上一样，我们称之为对常量的引用（reference to const)。与普通引用不同的是，对常量的引用不能被用作修改它所绑定的对象:

const int ci = 1024;
const int &rl = ci;
//正确:引用及其对应的对象都是常量
rl =42;
//错误:r1是对常量的引用
int &r2 = ci;
//错误:试图让一个非常量引用指向一个常量对象

因为不允许直接为ci赋值，当然也就不能通过引用去改变ci。因此，对r2的初始化是错误的。假设该初始化合法&#