C++的引用首先跟指標的最大區別就是引用不是一個物件，而指標是一個物件；其次引用在其定義時就要初始化，而指標可以不用。
|
1 2 |
int val = 42; int &rval = val; |
此時rval就繫結了val，其實就是rval就是val的一個別名。你修改了兩個其中的一個，其值都會改變。
因為引用在一開始就初始化了，所以一個引用只能引用一個變數。還有，引用只能引用物件，也就是有地址的，不能是一個常數或者表示式。而且型別要匹配。
|
1 2 3 4 5 |
int &rval = 10; //error: initializer must be an object double dval = 3.14; int &rdval = dval; //error: initializer must be an int object |
References to const 常量引用
不同於非常量的引用，常量引用所引用的物件不能修改
|
1 2 3 4 5 6 |
const int ci = 1024; const int &r1 = ci; r1 = 42; //error: r1 is a reference to const int &r2 = ci; //error: nonconst reference to a const object |
因為ci是一個常量，所以我們不能直接用一個引用來引用ci，因為我們不能修改ci。
上面提到引用要引用正確的自身的型別，但是常量引用可以引用一個非const的物件，一個數，或者表示式。
|
1 2 3 4 5 6 |
int i = 42; const int &r1 = i; //ok const int &r2 = 42; //ok const int &r3 = r1 * 2; //ok int &r4 = r * 2; //error: 非常量引用不能引用一個表示式 |
讓我們想想這是為什麼？
|
1 2 |
double dval = 3014; const int &ri = dval; //ok |
其實編譯器幫我們多做了一步
|
1 2 3 4 5 |
double dval = 3014; const int temp = dval; //建立一個暫時的常量物件來存放dval const int &ri = temp; //將引用到這個暫時的常量 |
正因為有這個無名的中轉存量，所以常量引用才可以引用數，表示式，還有不同型別的物件。
那為什麼非常量引用就不能這樣呢？
想想，剛才說的編譯器幫我們弄了一箇中轉物件，其實我們引用是引用它，修改也修改它， 但它是無名的，也就是找不到地址，也無法找著。修改了也沒用，我們是要修改dval（在上面列子中）。
所以說，只有常量引用才可以引用數字，表示式，不同型別的物件。因為我們不打算修改它，所以那個中轉變數真的只是負責傳遞值，讓常量引用初始化而已。
最後一個例子
|
1 2 3 4 5 |
int i = 42; int &r1 = i; const int &r2 = i; r1 = 0; //ok r2 = 0; //error |
這樣非常量引用和常量引用都引用一個值是可以的。非常量引用就不用說了，跟物件綁在一起，是別名，修改引用的同時也就修改了物件本身的內容。而常量引用，就是跟上面一樣，編譯器幫我們建立了一個無名的中轉變數來儲存，其實也就是賦值給常量物件初始化。你不能修改它就是了。