引用型別的使用注意

引用型別由型別識別符號和乙個取位址操作符來定義, 引用必須被初始化.

請看下面的初始化:

double dval = 3.14159;

extern int f();

int &ir1 = 1024; // error

int &ir2 = dval; // error

int &ir3 = f(); // error

上面的三個引用初始化都將導致編譯出錯. 下面做適當解釋.

實際上, 引用在內部存放的是乙個物件的位址, 它是該物件的別名, 對於不可定址的值, 比如文字常量, 以及不同型別的物件, 編譯器為了實現引用, 必須生成乙個臨時物件, 引用實際上指向該物件, 但使用者不能訪問它. 比如, 我們寫了:

double dval = 3.14159;

int &ir2 = dval;

由於需要型別轉換, 因此編譯器將其轉換成:

int temp = dval; int &ir2 = temp; // 如果這時候給ir2賦乙個新值, 那麼改變的是temp, 而不是dval.

// 而temp是不可定址的. 同時對於使用者來說, 並不想這麼做.

因此, 這種情況下, 我們需要const引用, 因為它們是唯讀的, 不允許非const引用指向需要臨時物件的物件或值. 另外, 對於int &ir3 = f(), f()函式呼叫的返回值也是乙個臨時值, 不能被用來初始化非const型的引用.

正確的修改如下:

const int &ir1 = 1024; // ok

const int &ir2 = dval; // ok

const int &ir3 = f(); // ok