【C++】const引用/指针的坑

const引用的坑

const的引用，指的是可以把引用绑定到const对象上，即对常量的引用。这样引用的意思就是不能通过引用来修改绑定的变量。示例如下：

const int val = 10; //定义常量val
const int& r1 = val; // 定义常量引用r1并将其绑定至val
r1 = 100; // 报错，不能通过常量引用来修改值
int& r2 = val; // 报错，不能将非常量引用绑定到常量val身上

以上都是正常且符合逻辑的行为。但是接下来出现第一个坑：**将一个常量引用绑定到非常量对象身上是否合法？**答案是合法的。上例子

	int val = 10;
	const int& cr1 = val;  //绑定到非常量身上
	const int& cr2 = 100; //甚至可以绑定到不是对象的东西上
	double dval = 3.14;
	const int& cr3 = davl //甚至可以格式转化再绑定

是不是很奇怪，其实以上三个情况的原理都是一样的，那就是临时量对象，编译器对上述行为会自动创建一个临时对象来解释，即：

	int val = 10;
	const int tmp = val;
	const int& cr1 = tmp;  //绑定到非常量身上

	const int tmp = 100;
	const int& cr2 = tmp; //甚至可以绑定到不是对象的东西上


	double dval = 3.14;
	const int tmp = dval;
	const int& cr3 = davl //甚至可以格式转化再绑定

所以只要生成临时量的那句语法是合法的，那么这个行为就是合法的！但是这样又会带来一个问题：引用的是临时量而不是我想引用的东西，也就是绑错了！看示例：

	double dval = 3.14;
    const int &ri = dval;
    // ri++; //ri是常量引用，不能变
    dval++;
    cout<<dval<<endl; //4.14
    cout<<ri<<endl; // 3

看起来我们是用常量引用ri成功绑定了dval，但是dval变化时ri不变，因为实际上ri绑定的是临时量。常量指针的逻辑跟常量引用相同，这里就不赘述了。

总结：就像书上说的那样，所谓的指向常量的引用或指针，只不过是这些指针或引用的"自以为是"，它以为自己指向的是一个常量值，所以自觉地不去更改他所绑定的对象，而所有通过这些常量引用或常量指针来改变对象值的行为都是非法的。