可以把引用绑定到const对象上，就像绑定到其他对象上一样，我们称之为对常量的引用。与普通引用不同的是，对常量的引用不能被用作修改它所绑定的对象：
const int ci = 1024; const int &r1 = ci; // 正确，引用及其对应的对象都是常量 r1 = 42; // 错误，r1是对常量的引用 int &r2 = ci; // 错误，试图让一个非常量引用指向一个常量对象
常量引用就是对const的引用，引用的对象是常量还是非常量可以决定其所能参与的操作，却无论如何都不会影响到引用和对象的绑定关系本身。
初始化常量引用是允许用任意表达式作为初始值，只要该表达式的结果能转换成引用的类型即可。尤其，允许为一个常量引用绑定非常量的对象、字面值，甚至是一个表达式。
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是一个普通的非常量引用
对const的引用可能引用一个并非const的对象：
常量引用仅对引用可参与的操作做出了限定，对于引用的对象本身是不是一个常量未作限定。因为对象可能是个非常量，允许通过其他途径改变它的值：
int i = 42; int &r1 = i; // 引用r1绑定对象i const int &r2 = i; // r2也绑定对象i，但是不允许通过r2修改i的值 r1 = 0; // r1并非常量，i的值修改为0 r2 = 0; // 错误，r2是一个常量引用