引用的本质

最近重拾C++看一下，把之前的知识整理一下，写下来，也当时一种纪念吧！好了，废话不多说了，言归正转。
引用在定义的时候必须进行初始化，否则编译器会报错。而且一旦初始化后，不允许引用变量进行赋值。有的书上说，引用是变量的别名，既然这样，那么引用就不应该占用内存空间了，那么引用到底占不占用内存空间呢？下面我们来揭开引用的神秘面纱吧！哈哈！我们先来看一个程序：
#include <iostream>

using namespace std;

int main(int argc, char *argv[])
{
int j = 1;
int p = 2;
int &k = j;

cout<<"orgin k="<<k<<endl;

__asm {
push eax
lea eax, p
mov k, eax
pop eax
}

k++;
cout<<"k="<<k<<endl;

return 0;
}

程序的运行结果：

啊！k++不应该是2吗？怎么是3了，是怎么做到的？别急，我们慢慢来，首先我们来看看代码的反汇编：
int j = 1;
004015A2 mov dword ptr [ebp-0Ch],1
int p = 2;
004015A9 mov dword ptr [ebp-10h],2
int &k = j;
004015B0 lea ecx,[ebp-0Ch]
004015B3 mov dword ptr [ebp-14h],ecx
可以看到，k存储的是变量j的地址。知道了这个我们就可以对k的值进行修改，从而使他指向不同的变量。程序中也是这么修改的（原来k存储的是j的地址，现在存储的是p的地址）。
这说明引用其实是一个特殊的指针常量，只不过C++的语法规则对它进行了隐藏和保护，但是这仅仅是局限于C++层的语法，可以利用汇编语言来进行修改，在32位系统中，引用占用的大小是4个字节（因为它就是指针）。
在C++中，我们无法取到引用的地址，如果可以取到，我们就可以直接对其里面存储的地址进行修改，当然这可以利用汇编进行取到。