C++引用的底层实现&引用解绑定

SB都知道引用是对象的别名，但是你要知道引用到底是什么，从底层实现角度来说，引用其实是对指针的封装。

如：

int a = 8;

int &b = a;

不管我们怎么用变量b，编译器好像进行了这样一种操作：

它在b之前加上一个*，即：

b = 4;   实际上类似于*b = 4;

为了验证引用就是通过指针实现，下面通过一个实例来演示。

注：编译器用的是G++。VS编译器打印地址时，觉得很诡异，相邻int型变量之间地址值相差竟然是12（字节），这个问题没上网搜。

栈结构参考apue，但是g++变量分配时，仍是先定义的变量地址小于后定义的。

#include <iostream>
using std::cout;
using std::endl;

int global;

int main()
{
	int a = 1;
	int b = 2;
	int &ra = a;
	cout << "地址：" << &a << " " << &b << " " << &ra << endl;
	cout << "值：" << a << " " << b << " " << ra << endl << endl;
        cout << &a << " " << (int*)*(&b+1) << endl << endl;  // ra中保存的地址就是a的地址
	*(&b+1) = (int)&b;

	cout << "地址：" << &a << " " << &b << " " << &ra << endl;
	cout << "值：" << a << " " << b << " " << ra << endl;
	*(&b+1) = (int)&b;
	
	ra = 9;
	cout << a << " " << b << " " << ra << endl;
	return 0;
}

输出：

地址：0xbf9cf7d4 0xbf9cf7d8 0xbf9cf7d4
值：1 2 1

0xbf9cf7d4 0xbf9cf7d4   

地址：0xbf9cf7d4 0xbf9cf7d8 0xbf9cf7d8
值：1 2 2
1 9 9

主要是这一句：

*(&b+1) = (int)&b;

定义在b后面的那个变量（就是引用ra的那个指针变量），实际上保存了a的地址，现在把它设置成保存变量b的地址就行了。