條款31: 千萬不要返回局部對象的引用，也不要返回函數內部用new初始化的指標的引用

標籤：style   blog   color   使用   io   問題   div   amp   

先看第一種情況：返回一個局部對象的引用。它的問題在於，局部對象 ----- 顧名思義 ---- 僅僅是局部的。也就是說，局部對象是在被定義時建立，在離開生命空間時被銷毀的。所謂生命空間，是指它們所在的函數體。當函數返回時，程式的控制離開了這個空間，所以函數內部所有的局部對象被自動銷毀。因此，如果返回局部對象的引用，那個局部對象其實已經在函數調用者使用它之前被銷毀了。

 第二種情況：返回函數內部用new初始化的指標的引用

inline const rational& operator*(const rational& lhs,                                 const rational& rhs){  // create a new object on the heap  rational *result =    new rational(lhs.n * rhs.n, lhs.d * rhs.d);  // return it  return *result;}

為了在程式中避免記憶體流失，就必須確保對每個用new產生的指標調用delete，但是，這裡的問題是，對於這個函數中使用的new，誰來進行對應的delete調用呢？

第一，大家都知道，程式員這類人是很馬虎的。這不是指你馬虎或我馬虎，而是指，沒有哪個程式員不和某個有這類習性的人打交道。想讓這樣的程式員記住無論何時調用operator*後必須得到結果的指標然後調用delete，這樣的幾率有多大呢？也是說，他們必須這樣使用operator*：

const rational& four = two * two;      // 得到廢棄的指標；                                       // 將它存在一個引用中...delete &four;                          // 得到指標並刪除

這樣的幾率將會小得不能再小。記住，只要有哪怕一個operator*的調用者忘了這條規則，就會造成記憶體流失。

 返回廢棄的指標還有另外一個更嚴重的問題，即使是最盡責的程式員也難以避免。因為常常有這種情況，operator*的結果只是臨時用於中間值，它的存在只是為了計算一個更大的運算式。例如：

rational one(1), two(2), three(3), four(4);rational product;product = one * two * three * four;

product的計算運算式需要三個單獨的operator*調用，以相應的函數形式重寫這個運算式會看得更清楚：

product = operator*(operator*(operator*(one, two), three), four);

是的，每個operator*調用所返回的對象都要被刪除，但在這裡無法調用delete，因為沒有哪個返回對象被儲存下來。