C++ const引用

（1）       在實際的程式中，引用主要被用做函數的形式參數--通常将類對象傳遞給一個函數.引用必須初始化. 但是用對象的位址初始化引用是錯誤的，我們可以定義一個指針引用。

1 int ival = 1092;

2 int &re = ival;   //ok

3 int &re2 = &ival;   //錯誤

4 int *pi = &ival;

5 int *&pi2 = pi;   //ok

（2）       一旦引用已經定義，它就不能再指向其他的對象.這就是為什麼它要被初始化的原因。

（3）       const引用可以用不同類型的對象初始化(隻要能從一種類型轉換到另一種類型即可)，也可以是不可尋址的值，如文字常量。例如

double dval = 3.14159;

//下3行僅對const引用才是合法的

const int &ir = 1024;

const int &ir2 = dval;

const double &dr = dval + 1.0;

上面，同樣的初始化對于非const引用是不合法的，将導緻編譯錯誤。原因有些微妙，需要适當做些解釋。

引用在内部存放的是一個對象的位址，它是該對象的别名。對于不可尋址的值，如文字常量，以及不同類型的對象，編譯器為了實作引用，必須生成一個臨時對象，引用實際上指向該對象，但使用者不能通路它。

例如:

double dval = 23;

const int &ri = dval;

編譯器将其轉換為:

int tmp = dval; // double -> int

const int &ri = tmp;

同理：上面代碼

内部轉化為：

//不可尋址，文字常量

int tmp1 = 1024;

const int &ir = tmp1;

//不同類型

int tmp2 = dval;//double -> int

const int &ir2 = tmp2;

//另一種情況，不可尋址

double tmp3 = dval + 1.0;

const double &dr = tmp3;

（4）       不允許非const引用指向需要臨時對象的對象或值，即，編譯器産生臨時變量的時候引用必須為const!!!!切記！！

int iv = 100;

int *&pir = &iv;//錯誤，非const引用對需要臨時對象的引用

int *const &pir = &iv;//ok

const int ival = 1024;

int *&pi_ref = &ival;    //錯誤，非const引用是非法的

const int *&pi_ref = &ival;   //錯誤，需要臨時變量，且引用的是指針，而pi_ref是一個非常量指針

const int * const &pi_ref = &ival;  //正确

//補充

const int *p = &ival;

const int *&pi_ref = p;  //正确

（5）       ********對于const int *const & pi_ref = &iva; 具體的分析如下：*********

1.不允許非const引用指向需要臨時對象的對象或值

int a = 2;

int &ref1 = a;// OK.有過渡變量。

const int &ref2 = 2;// OK.編譯器産生臨時變量，需要const引用

2.位址值是不可尋址的值

int * const &ref3 = &a;   // OK;

3.于是，用const對象的位址來初始化一個指向指針的引用

    const int b = 23;

    const int *p = &b;

    const int *& ref4 = p;

    const int *const & ref5 = &b;   //OK

const引用的語義到底是什麼？

最後，我們可能仍然不明白const引用的這個const的語義是什麼

const引用表示，試圖通過此引用去(間接)改變其引用的對象的值時，編譯器會報錯！

這并意味着，此引用所引用的對象也是以變成const類型了。我們仍然可以改變其指向對象的值，隻是不通過引用

下面是一個簡單的例子：

 1 #include <iostream>

 2 using namespace std;

 3

 4 int main()

 5 {

 6     int val = 1024;

 7     const int &ir = val;

 8    

 9     val++;

10     //ir++;

11

12     cout << val << " " << ir << endl;

13

14     return 0;

15 }

其中第10行，如果我們通過ir來改變val的值，編譯時會出錯。但是我們仍然可以通過val直接改變其值(第9行)

總結：const引用隻是表明，保證不會通過此引用間接的改變被引用的對象！

另外，const既可以放到類型前又可以放到類型後面，放類型後比較容易了解：

string const *t1;

const string *t1;

typedef string* pstring;string s;

const pstring cstr1 = &s;就出錯了

但是放在類型後面不會出錯:

pstring const cstr2 = &s;

本文轉自 jiu~ 部落格園部落格，原文連結：http://www.cnblogs.com/jiu0821/p/7920775.html，如需轉載請自行聯系原作者