Effective C++学习笔记总链接
改善程序与设计的55个具体做法学习笔记-每日1条
条款21:必须返回对象时,别妄想返回其reference
【技巧】
1. 绝不要返回pointer或reference指向一个local stack对象,或返回一个heap-allocated(已分配堆)对象,或返回pointer或reference指向一个local static对象而有可能同时需要多个这样的对象。条款4已经为“在单线程环境中合理返回reference指向一个local static对象”提供了一份设计实例。
2. 当你必须在返回一个reference和返回一个object之间抉择时,你的工作就是挑出行为正确的那个。
const Rational operator*(const Rational& lhs, Rational& rhs);
返回by value是有构造和析构的成本,目标:避免构造函数
且看下面的reference
所谓的reference只是个名称,代表某个既有的对象。
任何时候看到一个reference声明式,你都应该立刻问自己,它的另一个名称是什么?
因为reference一定是某物的另一个名称。
如果operator* 返回一个reference,就必须自己创建那个Rational对象。下面是创建方式:
on-the-stack(栈)
const Rational& operator*(const Rational& lhs, Rational& rhs)
{
Rational result(lhs.n * rhs.n, lhs.d * rhs.d); // 在stack创建对象,糟糕的代码
return result;
}
上述函数在stack创建对象。
其一:使用返回reference的目标是避免构造函数,而result却必须调用构造函数。
其二:这个函数这个函数返回一个reference指向result,但result是个local对象,而local对象在函数退出前被销毁了。导致“无定义行为”。
切记:任何函数如果返回一个reference指向某个local对象,都是一败涂地的。
on-the-heap(堆)
const Rational& operator*(const Rational& lhs, Rational& rhs)
{
Rational* result = new Rational(lhs.n * rhs.n, lhs.d * rhs.d); // 在heap创建对象,糟糕的代码
return *result;
}
上述函数在heap创建对象。
其一,也必须付出“构造函数调用”代价。
其二,面临内存泄漏的风险。
Rational w, x, y, z;
w = x * y * z; // 与operator*(operator*(x, y), z) 等价
上述代码,调用两次operator* ,却不能合理的使用delete。因为没有合理办法让他们取得operator* 返回的reference背后隐藏的那个指针,这个绝对导致资源泄漏。
上述不论在on-the-stack和on-the-heap,都对operator*返回的结果调用构造函数而受到惩罚。我们最初的目标:如何避免调用构造函数。
返回local static对象
或许你认为让operator*返回的reference指向一个 local static 对象,可以避免任何构造函数的调用。
且看下面代码
const Rational& operator*(const Rational& lhs, Rational& rhs)
{
// 警告,又是一堆烂代码
static Rational result;
result = Rational(lhs.n * rhs.n, lhs.d * rhs.d);
return result;
}
上述代码是返回local static对象
其一:多线程不安全性的疑虑
其二:有更深层次的瑕疵,看下面代码
bool operator==(const Rational& lhs, Rational& rhs);
Rational a, b, c, d;
if((a * b) == (c * d)){}
// 等价于
if(operator==(operator*(a, b), operator*(c, d))){}
上述代码的问题是,if内的结果始终都是true
两次operator* 调用的确各自改变了static Rational对象值,但由于它们返回的都是reference,因此调用端看到的永远是static Rational对象的“现值”。
一个必须返回新对象的函数的正确写法是:就让那个函数返回一个新对象呗
正确的代码
inline const Rational operator* (const Rational& lhs, Rational& rhs)
{
return Rational(lhs.n * rhs.n, lhs.d * rhs.d);
}
当然,你需要承受operator* 返回值的构造成本和析构成本,然而长远来看那只是为了获得正确行为而付出的一个小小的代价。
总结
当你必须在返回一个reference和返回一个object之间抉择时,你的工作就是挑出行为正确的那个。
例如:
operator<< 、operator>>、operator=必须返回引用
operator+、operator-、operator*、operator/ 不能返回引用