C++11笔记（4）——const 限定符

const 限定符

我们有时希望定义一种变量，它的值不能被改变，如用一个变量表示缓冲区大小，为了满足这一要求，可以用关键字const对变量类型加以限定。

因为const 对象一旦创建后就不能再改变，所以const 对象必须初始化，编译器将在编译过程中把用到该变量的地方都替换成对应的值。

如：

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

默认情况下，const 对象被设定为仅在文件内有效。当多个文件内出现了同名的const 变量时，其实等同于在不同文件中分别定义了独立的变量。如果要在一个文件中定义const，其他多个文件中声明并引用它，解决办法就是不管是定义还是声明都添加 extern关键字。

引用与const

const 的引用也即对常量的引用。与普通引用不同的是，对常量的引用不能被用作修改它所绑定的对象：

<pre name="code" class="cpp">const int ci = 1024;
const int &r1 = ci;    //正确，引用及其对应的对象都是常量
r1 = 42;    //错误：r1是对常量的引用
int &r2 = ci;    //错误：试图让一个非常量引用指向一个常量对象

因为不允许直接为ci赋值，当然也就不能通过引用去改变ci，r2是一个非常量引用，对r2的初始化企图指向一个常量对象，也是不对的。

上一篇提到过，引用的类型必须与其所引用对象的类型一致，但是有两个例外。第一种就是在初始化常量时允许用任意表达式作为初始值，只要该表达式结果能转换成引用的类型就可以。

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

第2 行代码r1绑定整数i是合法行为，但是不允许通过r1修改i的值，对const 的引用可能引用一个并非const 的对象。

指针和const

要想存放常量对象的地址，只能使用指向常量的地址，指向常量的指针不能用于改变其所指对象的地址：

const double pi = 3.1416;    //pi的值是个常量，不能改变
double *ptr = π    //错误，ptr是一个普通指针
const double *cptr = π    //正确
*cptr = 42;    //错误，不能给*cptr赋值

上篇提到指针的类型必须与其所指向对象的类型一致，但是有两个例外，一个就是允许令一个指向常量的指针指向一个非常量对象：

double dval = 3.1416;
cptr = &dval;    //正确：但是不能通过cptr该百年dval的值

所谓指向常量的指针或引用，不过是指针或引用“自以为是”罢了，它们觉得自己指向了常量，所以自觉的不去改变所指对象的值。

const指针

指针是对象而引用不是，因此就像其他对象类型一样，允许把指针本身定义为常量，常量指针必须初始化。把*放在const关键字之前用以说明指针是一个常量，即不变的是指针本身的值而非指向的那个值：

int errNumb = 0;
int *const curErr = &errNumb;    //curErr将一直指向errNumb
const double pi = 3.1416;
const double *const pip = π    //pip是一个指向常量对象的常量指针

顶层const&底层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

当执行对象拷贝操作时，常量是顶层const还是底层const区别明显。其中，顶层const不受什么影响：

i = ci;    //正确：拷贝ci的值，ci是一个顶层const
p2 = p3;    //正确：p2和p3指向的对象类型相同，p3顶层const的部分不影响

执行拷贝操作并不会改变被拷贝对象的值，因此拷入拷出的对象是否是常量都没影响。

另一方面，底层const的限制却不能忽视。当执行对象拷贝操作时，拷入和拷出的对象必须具有相同的底层const资格，或者两个对象数据类型必须能够转换。一般来说，非常量可以转换为常量，反之则不行：

int *p = p3;    //错误：p3包含底层const定义，而p没有
p2 = p3;    //正确：p2和p3都是底层const
p2 = &i;    //正确：int*能转换成const int*
int &r = ci;    //错误：普通的int&不能绑定到int常量上
const int &r2 = i;    //正确：const int&可以绑定到一个普通int上

p3既是顶层const又是底层const，拷贝p3可以不在乎它是一个顶层const，但是必须清楚它指向的对象得是一个常量，因此不能用p3去初始化p，因为p指向的是一个普通的（非常量）整数。另一方面，p3可以赋值给p2，是因为这两个指针都是底层const，尽管p3同时也是一个常量指针（顶层const），仅就这次赋值而言不会有什么影响。