如果實參與引用參數(shù)不匹配,C++將生成臨時變量。如果引用參數(shù)是const,則編譯器在下面兩種情況下生成臨時變量:
實參類型是正確的,但不是左值
實參類型不正確,但可以轉(zhuǎn)換為正確的類型
左值參數(shù)是可被引用的數(shù)據(jù)對象,例如,變量、數(shù)組元素、結(jié)構(gòu)成員、引用和被解除引用的指針都是左值,非左值包括字面常量和包含多項式的表達(dá)式。定義一個函數(shù)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
Double refcube( const double & ra) { Returnra*ra*ra; } double side = 3.0; double * pd = &side; double & rd = side; long edge = 5L; double lens[4]={2.3,3.4,4.5,6.7}; double c1 = refcube(side); // ra 是side double c2 = refcube(lens[2]); // ra是lens[2] double c3 = refcube(rd); // ra 是 rd double c4 = refcube(*pd); // ra 是*pd double c5 = refcube(edge); // ra 是臨時變量 double c6 = refcube(7.0); // ra 是臨時變量 double c7 = refcube(side+10.0); // ra 是臨時變量 |
參數(shù)side lens[2] rd 和*pd都是有名稱的、double類型的數(shù)據(jù)對象,因此可以為其創(chuàng)建引用,而不需要臨時變量。但是edge雖然是變量,類型卻不正確,double引用不能指向long。另一方面,參數(shù)7.0和side+10.0的類型都正確,但沒有名稱,在這些情況下,編譯器都將生成一個臨時匿名變量,并讓ra指向它。這些臨時變量只在函數(shù)調(diào)用期間存在,伺候編譯器便可以任意將其刪除
那么為什么對于常量引用,這種行為是可行的,其他情況下卻不行呢?
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Void swapr( int & a, int & b) { Inttemp; Temp=a; A= b; B= temp; } |
在早期的C++較寬松的規(guī)則下,執(zhí)行下面的操作將發(fā)生什么?
Long a = 3,b = 5;
Swapr(a,b);
這里的類型不匹配,因此編譯器將創(chuàng)建兩個臨時的int變量,將他們初始化為3和5,然后交換臨時變量的內(nèi)容,而a和b保持不變
簡而言之,如果接受引用參數(shù)的函數(shù)的意圖是修改作為參數(shù)傳遞的變量,則創(chuàng)建臨時變量將阻止這種意圖的實現(xiàn),解決方法是,禁止創(chuàng)建臨時變量,下載的C++標(biāo)準(zhǔn)正是正陽做的、
現(xiàn)在來看refcube()函數(shù),該函數(shù)的目的只是使用傳遞的值,而不是修改他們,因此臨時變量不會造成任何不利的影響。反而會使函數(shù)在可處理的參數(shù)種類方面更通用。因此,如果聲明將引用指定為const,C++將在必要時生成臨時變量、實際上,對于形參為const引用的C++函數(shù),如果實參不匹配,則其行為類似于按值傳遞,為確保原始數(shù)據(jù)不被修改,將使用臨時變量來存儲值、
(PS:如果函數(shù)調(diào)用的參數(shù)不是左值或與相應(yīng)的const引用參數(shù)的類型不匹配,則C++將創(chuàng)建類型正確的匿名變量,將函數(shù)調(diào)用的參數(shù)的值傳遞給該匿名變量,并讓參數(shù)來引用該變量)
應(yīng)盡可能使用const
使用cosnt可以避免無意總修改數(shù)據(jù)的編程錯誤
使用const使函數(shù)能夠處理const和非const實參,否則將只能接受非const數(shù)據(jù)
使用const引用使函數(shù)能夠正確生成并使用臨時變量
以上這篇C++ const引用、臨時變量 引用參數(shù)詳解就是小編分享給大家的全部內(nèi)容了,希望能給大家一個參考,也希望大家多多支持服務(wù)器之家。