C++ const引用詳解

文章轉自 http://blog.csdn.net/k2eats/archive/2008/06/12/2541790.aspx


(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;

同理:上面代碼

double dval = 3.14159;

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

const int &ir = 1024;

const int &ir2 = dval;

const double &dr = dval + 1.0;

內部轉化爲:

double dval = 3.14159;

//不可尋址,文字常量

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;

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章