C++学习笔记20-Apr-2014

C++引用到底是个什么东西？说他是指针，好像又不完全是，比如下面两个函数：

int ArrayLength(int *arrayName)
{
    return sizeof(arrayName)/sizeof(arrayName[0]);
}

int  int ArrayLength(int &arrayName)
{
    return sizeof(arrayName)/sizeof(arrayName[0]);
}

在调用这两个函数的时候，假如传入的参数都是数组名称，那么第一个函数返回值为1，而第二个函数返回值为数组长度。就是说，引用可以用来保存数据结构整体的信息，比如一个数组，可以将引用完全当作数组的名称来用。而指针则不行，把数组名称赋值给指针的时候仅仅把数组第一个元素的地址传递了过去，它保存不了数组这个整体的信息。但是引用的实现是不是跟指针没有关系呢？答案是否定的，可以通过反汇编来查看下面这段代码的实现过程：

void main(){
  int x = 1;
  int y = 2;
  int &b = x;
  int *p = &b;
  int *q = &x;
}

		int x = 1;
00FD53A8  mov         dword ptr [x],1  
		int y = 2;
00FD53AF  mov         dword ptr [y],2  
		int &b = x;
00FD53B6  lea         eax,[x]  
		int &b = x;
00FD53B9  mov         dword ptr [b],eax  
		int *p = &b;
00FD53BC  mov         eax,dword ptr [b]  
00FD53BF  mov         dword ptr [p],eax  
		int *q = &x;
00FD53C2  lea         eax,[x]  
00FD53C5  mov         dword ptr [q],eax  

可以看到，x的引用b里面存储的实际上就是x的地址，在这一点上，引用和指针如出一辙。可是当我们对引用取地址的时候，神奇的事情发生了，这个时候传递给指针p的并不是b的地址[b]，而是b本身的值dword ptr[b]。因此，可以说引用实际上也是由指针来实现的，说引用不占用内存那简直是扯淡，引用也会占用一个指针的内存。只不过在我们使用引用的时候编译器会在后台做一些手脚，那就是每次在使用这个引用的时候，编译器会自动将b替换为(*b)，也就是自动加上解引用操作符。鉴于引用只能一次赋值的特征，我们可以将引用看作是一个特殊的常量指针，这也跟数组名是一个常量指针不谋而合。