C++中的引用变量在内存中存放的位置

这几天一直在思考一些问题，就是引用变量在一些教材上的说法是一个变量的别名，那么引用变量本身是否占用空间呢？

比如说：（本人使用的是vc++6.0编译器）

int a = 10;

int & r = a;

cout << &a << endl;

cout << &r << endl;

从上面的例子当中可以看出：它们得出的结果是相同的，这时便会有人说，r和a所占用的内存空间是相同的，因为打印出来的地址是相同的。所以这些教材上对于引用变量的操作，称之为声明一个引用变量，而非定义。因为教材的编写者认为引用变量并不占用空间。

但是，如果你使用调试器调试一下，看一下汇编的代码，就会产生新的迷惑了。

00401040 push ebp
00401041 mov ebp,esp
00401043 sub esp,48h
00401046 push ebx
00401047 push esi
00401048 push edi
00401049 lea edi,[ebp-48h]
0040104C mov ecx,12h
00401051 mov eax,0CCCCCCCCh
00401056 rep stos dword ptr [edi]

5: int a = 10;
00401058 mov dword ptr [ebp-4],0Ah
6: int & r = a;
0040105F lea eax,[ebp-4]
00401062 mov dword ptr [ebp-8],eax

从这段汇编代码来看，r和a的空间并不相同，那这又怎么解释呢？

基于此，我得出了一个非常合理的解释：

如果定义（我认为引用变量占用空间，故称之为定义）一个引用变量，这个时候引用变量实际上在内存中已经申请了一个空间，是4个字节的（32bit系统中），它本身和指针是相同的。也就是说引用和指针对于编译器本身来说操作是相同的，只是对于用户来说操作不同而已。

接下来又会有人问：那么为什么上面程序的结果打印出来的地址是相同的呢？

其实这只是编译器给你的假象而已。当你将r引用给了a，当想要打印&r的时候，编译器会自动将其引用的对象的地址打印出来，也就是将a的地址打印出来，这也就是它们打印结果相同的原因了。

注：以上的解释都是本人的研究结果，并没有经过官方的证实，如果哪为网友对此有新的看法，不吝赐教，非常感谢！