必須返回對象時。別妄想返回其reference

我們上節分析了對象引用傳遞的優點，如今說明函數返回引用對象帶來的種種壞處。
先來一段代碼：

class Rational{ public:Rational(int numerator=0, int denominator=1);…… private:int n, d;friendconst Rational operator*(const Rational& lhs,const Rational& rhs); };const Rational& operator*(const Rational& lhs, const Rational& rhs) {Rational result(lhs.n* rhs.n, lhs.d* rhs.d);return result; }Rational a(1,2),b(3,4); Rational &r=a*b;

大家看看以上代碼有沒有問題。非常顯然此時的r是返回值的引用。非常明顯對象本體已在operator*函數范圍外被銷毀。此時的r指向的對象已經被系統回收。程序非常easy出現錯誤。

那么，假設在函數體內動態創建對象呢？
例如以下代碼：

const Rational& operator*(const Rational& lhs, const Rational& rhs) {Rational* result=new Rational(lhs.n* rhs.n, lhs.d* rhs.d);return *result; }Rational w,x,y,z; w=x*y*z;

上面代碼有什么問題？
非常顯然造成了內存泄露，兩次調用 operator*函數，創建兩個動態內存對象，可是最后卻沒有delete。

假設創建static 對象呢？

const Rational& operator*(const Rational& lhs, const Rational& rhs) {static Rational result;result=……;return result; }bool operator==(const Rational& lhs, const Rational& rhs); Rational a, b, c, d; …… if((a*b)==(c*d)) {doSomething(); } else {doOtherthing(); }

上面代碼有什么問題？
答案是上面代碼中(a*b)==(c*d)的值一直為真。這是static的特性。所以。operator*的函數設計不合理，導致operator==出錯。

說到如今總結一下。

非常簡單就想題目所說函數必須返回對象時。別妄想返回其reference。那返回什么？非常明顯返回對象的值而不是引用。

轉載于:https://www.cnblogs.com/jzdwajue/p/7268284.html

總結

以上是生活随笔為你收集整理的Effective C++ 条款21的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。