引用作為返回值
引用作為返回值的時候镇饺,有一些規(guī)則必須遵守。這些規(guī)則包括:
不能返回局部變量的引用。這條可以參照Effective?C++[1]的Item?31减噪。主要原因是局部變量會在函數(shù)返回后被銷毀厦凤,因此被返回的引用就成為了“無所指”的引用鼻吮,程序會進入未知狀態(tài)。
不能返回函數(shù)內(nèi)部new分配的內(nèi)存的引用较鼓。這條可以參照Effective?C++[1]的Item?31椎木。雖然不存在局部變量的被動銷毀問題,可對于這種情況(返回函數(shù)內(nèi)部new分配內(nèi)存的引用)博烂,又面臨其它尷尬局面香椎。例如,被函數(shù)返回的引用只是作為一個臨時變量出現(xiàn)禽篱,而沒有被賦予一個實際的變量畜伐,那么這個引用所指向的空間(由new分配)就無法釋放,造成memory?leak躺率。
可以返回類成員的引用玛界,但最好是const。這條原則可以參照Effective?C++[1]的Item?30肥照。主要原因是當對象的屬性是與某種業(yè)務規(guī)則(business?rule)相關聯(lián)的時候脚仔,其賦值常常與某些其它屬性或者對象的狀態(tài)有關,因此有必要將賦值操作封裝在一個業(yè)務規(guī)則當中舆绎。如果其它對象可以獲得該屬性的非常量引用(或指針)鲤脏,那么對該屬性的單純賦值就會破壞業(yè)務規(guī)則的完整性。
另外吕朵,引用也常常與一些操作符的重載相關:
流操作符<<和>>猎醇。這兩個操作符常常希望被連續(xù)使用,例如:cout?<<?"hello"?<<?endl;因此這兩個操作符的返回值應該是一個仍然支持這兩個操作符的流引用努溃×蛩唬可選的其它方案包括:返回一個流對象和返回一個流對象指針。但是對于返回一個流對象梧税,程序必須重新(拷貝)構造一個新的流對象沦疾,也就是說称近,連續(xù)的兩個<<操作符實際上是針對不同對象的!這無法讓人接受哮塞。對于返回一個流指針則不能連續(xù)使用<<操作符刨秆。因此,返回一個流對象引用是唯一選擇忆畅。這個唯一選擇很關鍵衡未,它說明了引用的重要性以及無可替代性,也許這就是C++語言中引入引用這個概念的原因吧家凯。
賦值操作符=缓醋。這個操作符象流操作符一樣,是可以連續(xù)使用的绊诲,例如:x?=?j?=?10;或者(x=10)=100;賦值操作符的返回值必須是一個左值送粱,以便可以被繼續(xù)賦值。因此引用成了這個操作符的唯一返回值選擇掂之。
在另外的一些操作符中葫督,卻千萬不能返回引用:
+-*/四則運算符。它們不能返回引用板惑,Effective?C++[1]的Item23詳細的討論了這個問題橄镜。主要原因是這四個操作符沒有side?effect,因此冯乘,它們必須構造一個對象作為返回值洽胶,可選的方案包括:返回一個對象、返回一個局部變量的引用裆馒,返回一個new分配的對象的引用姊氓、返回一個靜態(tài)對象引用。根據(jù)前面提到的引用作為返回值的三個規(guī)則喷好,第2翔横、3兩個方案都被否決了。靜態(tài)對象的引用又因為((a+b)?==?(c+d))會永遠為true而導致錯誤梗搅。所以可選的只剩下返回一個對象了禾唁。
什么時候使用引用
現(xiàn)在可以總結(jié)一下什么時候使用引用這個問題了。首先我們要看看什么時候必須使用引用:
流操作符<<和>>无切、賦值操作符=的返回值
拷貝構造函數(shù)的參數(shù)荡短、賦值操作符=的參數(shù)
其它下面的情況都是推薦使用引用,但是也可以不使用引用哆键。如果不想使用引用掘托,完全可以使用指針或者其它類似的東西替代:
異常catch的參數(shù)表
大對象作為參數(shù)傳遞
返回容器類中的單個元素
返回類數(shù)據(jù)成員(非內(nèi)建數(shù)據(jù)類型成員)
返回其它持久存在的,且獲得者不負責銷毀的對象
另外一些情況下籍嘹,不能返回引用:
+-*/四則運算符