《c++ primer》中這樣寫的:引用在內部存放的是一個對象的地址,它是該對象的別名。對於不可尋址的值,如文字常量,以及不同類型的對象,編譯器為了實現引用,必須生成一個臨時對象,引用實際上是指向該對象,但用戶不能訪問它。
比如:
1
double dval = 1024;
2
const int &ri = dval;
編譯器將其轉換成:
1
int temp = dval;
2
const int &ri = temp;
這是符合不同類型的對象的。
c++中 不允許非const引用指向需要臨時對象的對象或值。(因為如果修改引用的話,改變的是臨時對象的值)
比如:
1
double dval = 1024;
2
int &ri = dval; //error
書中有這樣的一個例子,要求將一個引用初始化為一個const對象的地址。
1
const int ival = 1024;
2
3
//錯誤:要求一個const引用
4
int ×&pi_ref = &ival;
之所以需要一個const引用是因為 不允許非const引用指向需要臨時對象的對象或值。
1
const int ival = 1024;
2
//仍然錯誤
3
const int ×&pi_ref = &ival;
仍然錯誤是因為等號兩邊是不同的類型,必須使用const。
1
const int ival = 1024;
2
3
//ok
4
const int *const &pi_ref = &ival;
如果想不使用第二個const,可以這樣:
1
const int ival = 1024;
2
const int *pi = &ival;
3
4
const int *&pi_ref = pi;
但是第一個const是必須的。
在初始化引用參數的時候也有這樣的問題。
1
int obj;
2
void frd(double &);
3
int main()
4
{
5
frd(obj); //錯誤:參數必須是const double &
6
return 0;
7
}
因為由int到double的轉換會生成一個臨時對象。如果允許這種轉換的話,在frd中修改obj的值,改變的將是臨時對象的值,這與前面的問題又相同了。
另一個例子:
1
class B;
2
void takeB(B &);
3
B giveB();
4
5
int main()
6
{
7
takeB( giveB() ); // 錯誤,參數必須是const B &
8
return 0;
9
}
1
void print(int);
2
void print(int &);
3
4
int main()
5
{
6
print(86); // 調用print(int)
7
return 0;
8
}
摘自 Orion的博客