參考型別的使用注意

參考型別由類型標識符和一個取地址操作符來定義, 引用必須被初始化.

請看下面的初始化:

    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