首页 > 其他 > 详细

条款21:必须返回对象时,别妄想返回其reference

时间:2014-05-31 21:48:11      阅读:369      评论:0      收藏:0      [点我收藏+]
条款21:必须返回对象时,别妄想返回其reference
引用只是对象的一种别名当使用引用的时候,请确认他的另一个身份在哪?
class Rational
{
public:
	Rational(int x, int y) : m_x(x), m_y(y){}

	//返回const是属于类型保护,friend修饰,以后条款详说
	friend const Rational operator + (const Rational &lhs, const Rational &rhs)  
	{
		Rational temp(lhs.m_x + rhs.m_x, lhs.m_y + rhs.m_y); //还有更好的做法
		return temp;
	}
private:
	int m_x;
	int m_y;
};
        实现+号重载,我们采用return value,根据前面条款,返回value会调用一系列拷贝构造函数,析构函数的成本,于是我们修改为return reference
	friend const Rational& operator + (const Rational &lhs, const Rational &rhs)  
	{
		Rational temp(lhs.m_x + rhs.m_x, lhs.m_y + rhs.m_y); //还有更好的做法
		return temp;
	}
       +号返回的引用对象在哪?我们看到在函数中创建一个临时对象temp,这个是属于栈空间对象,跳出函数作用域被回收,则引用的对象已经不存在了,程序会出现不可意料的行为。
        上面我们提到函数实现还有一个更好的做法
	friend const Rational operator + (const Rational &lhs, const Rational &rhs)  
	{
		return Rational(lhs.m_x + rhs.m_x, lhs.m_y + rhs.m_y); //标准做法
	}
       分析下:第一种做法是创建临时对象,调用构造函数初始化,返回时调用拷贝构造函数初始化存放返回值的外部变量,最后调用析构函数。而第二种是编译器直接创建临时对象并初始化外部变量,省去调用拷贝构造函数和析构函数。
       如果考虑到在heap里面创建对象不会容易被回收,并使用reference返回,那么这个代价更大。

	friend const Rational& operator + (const Rational &lhs, const Rational &rhs)  
	{
		return *(new Rational(lhs.m_x + rhs.m_x, lhs.m_y + rhs.m_y));
	}
看下面调用
	Rational x(1,2), y(3, 4), z(5, 6);
	Rational r = x + y + z;
      调用了两次operator +,两次new调用分配内存,但没有合理的方法delete内存,因为没有合理的方法取得返回reference的那个指针,导致内存泄露。
     如果还是希望让函数返回reference而通过定义一个local-static对象替代heap对象,那么这个代价不比heap方法的小。

	friend const Rational& operator + (const Rational &lhs, const Rational &rhs)  
	{
		static Rational sRational(lhs.m_x + rhs.m_x, lhs.m_y + rhs.m_y);
		return sRational;
	}
使用了静态变量在多线程安全性中存在隐患这一个问题暂且不说,还有一个是调用判断相等时出现逻辑错误
调用==判断
	Rational x(1,2), y(3, 4), z(5, 6), w(7, 8);

	if ((x + y) == (z + w)) {
		cout<<"equal\n";
	}
       因为+号返回引用,而引用执行的对象时static,两次的+号返回reference其实是指向同一个对象,那==值判断永远相等。
记住
       绝不要返回pointer或reference指向一个local stack对象,或返回reference指向一个heap-allocated对象,或返回pointer或reference指向一个local static对象而有可能同时需要多个这样的对象.条款4已经为"在单线程环境中合理返回reference指向一个local static对象"提供一份设计实例.


条款21:必须返回对象时,别妄想返回其reference,布布扣,bubuko.com

条款21:必须返回对象时,别妄想返回其reference

原文:http://blog.csdn.net/hualicuan/article/details/27640713

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!