条款 31: 千万不要返回局部对象的引用,也不要返回函数内部用 new 初始化的 指针的引用

       返回一个局部对象的引用。它的问题在于,局部对象-----  顾名思义----  仅仅是局部的。也就是说,局部对象是在被定义时创建,在离开生命空间时被销毁的。所谓生命空间,是指它们所在的函数体。当函数返回时,程序的控制离开了这个空间,所以函数内部所在的局部对象被自动销毁。因此,如果返回局部对象的引用,那个局部对象其实已经在函数调用者使用它之前被销毁了

        当想提高程序的效率而使函数的结果通过引用而不是值返回时,这个问题就会出现

       

class Rational { //  一个有理数类
public:
Rational(int numerator = 0, int denominator = 1);
~Rational();
...
private:
int n, d; //  分子和分母
//  注意 operator* (不正确地)返回了一个引用
friend const Rational& operator*(const Rational& lhs,
const Rational& rhs);
};
// operator*不正确的实现
<strong>inline const Rational&</strong> operator*(const Rational& lhs,
const Rational& rhs)
{
<strong>Rational result(lhs.n * rhs.n, lhs.d * rhs.d);
return result;</strong>
}
我的理解:函数返回引用时是不会产生临时对象的,返回引用可以理解为返回指针,只是那个指针可以自动解引用,返回的指针指向的是result,当函数返回时,result被析构掉,相当于指针指向未知内存。

Rational two = 2;
Rational four = two * two; //  同 operator*(two, two)

two*two,返回的是引用,相当于返回一个指针,但是当 operator*(const Rational& lhs, const Rational& rhs)运行结束后,局部变量resullt被析构掉,想当于返回一个指向未知内存的指针,必然出错。


局部对象 result 在刚进入 operator*函数体时就被创建。但是,所有的局部对象在离开它们所在的空间时都要被自动销毁。具体到这个例子来说,result 是在执行 return 语句后离开它所在的空间的

教训很明显:别返回一个局部对象的引用。


不要返回函数内部用 new 初始化的指针的引用

" 问题不就在于要使用的对象离开它所在的空间太早吗?我能解决。不要使用局部对象,可以用 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 调用呢?




  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值