标签: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,因为没有哪个返回对象被保存下来。
条款31: 千万不要返回局部对象的引用,也不要返回函数内部用new初始化的指针的引用,布布扣,bubuko.com
条款31: 千万不要返回局部对象的引用,也不要返回函数内部用new初始化的指针的引用
标签:style blog color 使用 io 问题 div amp
原文地址:http://www.cnblogs.com/ljygoodgoodstudydaydayup/p/3919283.html