Effective C++ T21：必须返回对象时，别妄想返回其reference

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/ 不能返回引用