每當提到c++中的引用時，我們的腦海中浮現的第一句話可能就是－－引用就是一個變數的別名，但是引用的的型別到底是什麼？它和指標有什麼關係？它本身在記憶體中佔用空間麼？我們的編譯器是如何將它實現的呢？帶著這些疑問，我們今天就從彙編的角度來解析c++中的引用到底是什麼東西？

１．首先讓我們來看看指標和引用的定義和性質區別：

(1)指標：指標是一個變數，只不過這個變數儲存的是一個地址，指向記憶體的一個儲存單元；而引用跟原來的變數實質上是同一個東西，只不過是原變數的一個別名而已。如：

int a=1;int *p=&a;

int a=1;int &b=a;

上面定義了一個整形變數和一個指標變數p，該指標變數指向a的儲存單元，即p的值是a儲存單元的地址。

而下面2句定義了一個整形變數a和這個整形a的引用b，事實上a和b是同一個東西，在記憶體佔有同一個儲存單元。

(2)可以有const指標，但是沒有const引用；

(3)指標可以有多級，但是引用只能是一級（int **p；合法 而 int &&a是不合法的）

(4)指標的值可以為空，但是引用的值不能為NULL，並且引用在定義的時候必須初始化；

(5)指標的值在初始化後可以改變，即指向其它的儲存單元，而引用在進行初始化後就不會再改變了，正所謂引用的從一而終。

(6)"sizeof引用"得到的是所指向的變數(物件)的大小，而"sizeof指標"得到的是指標本身的大小；

(7)指標和引用的自增(++)運算意義不一樣；

#include<stdio.h>
int main(){
	int a=1;
	int &b=a;
	printf("the value of c is: %d\n",b);
}

 movl   $0x1,-0x14(%ebp) 
 ebp暫存器存放的是棧底的地址，這條指令的意思是將１的值存放到距離棧底24位元組的位置，-0x18(%ebp)表示變數a的地址
 lea    -0x14(%ebp),%eax
　將a的地址存放到暫存器eax中
 mov    %eax,-0x10(%ebp)
　將暫存器eax的值存放到變數a的地址的上面(棧的擴充套件方向為從高低至到底地址)
 mov    -0x14(%ebp),%eax
　因為a是函式printf的引數，所以將a的值放到暫存器eax中
 sub    $0x8,%esp
　調整棧頂指標
 push   %eax
　將變數a入棧
 push   $0x8048550
 這裡的0x8048550是.rodata段中the value of c is: %d\n字串常量的地址，將這個字串常量的地址入棧
 call   8048330 <
 
[email protected]>
　呼叫函式printf,這裡使用的是動態連結中延遲繫結的方法，詳細內容請看《程式設計師的自我修養》動態連結一章

我們將程式碼修改如下：
#include<stdio.h>
int main(){
	int a=1;
	int &b=a;
	printf("the value of c is: %d\n",a);
	printf("the value of c is: %d\n",*(&a-1));
}

可見，在彙編的角度來看，引用的實現要藉助指標，但具體的實現方法是編譯器的事，我們不必細究.