任何函数如果返回一个reference和指针指向某个local对象,都将出问题,因为local对象在函数结束时就被销毁了。
const Rational& operator* (const Rational& lhs, const Rational& rhs)
{
Rational result(lhs.n * rhs.n, lhs.d * rhs.d);//糟糕的代码
return result;
}
如果考虑在heap内构造一个对象(new),比返回reference指向它,这样做不仅需要付出一个“构造函数调用”代价,还会出现另一个问题:谁该对着被你new出来的对象实施delete?
const Rational& operator* (const Rational& lhs, const Rational& rhs)
{
Rational* result = new Rational(lhs.n * rhs.n, lhs.d * rhs.d);//糟糕的写法
return *result;
}
一个“必须返回新对象”的函数的正确写法是:就让那个函数返回一个新对象呗。
inline const Rational operator* (const Rational& lhs, const Rational& rhs)
{
return Rational(lhs.n * rhs.n, lhs.d * rhs.d);
}
当然,需要承受返回值的构造成本和析构成本,然而从长远来看那只是为了获得正确行为而付出的一个小小的代价。
总结:当你必须在“返回一个reference和返回一个object”之间抉择时,你的工作就是挑出行为正确的那个。
要点:
绝不要返回pointer或reference指向一个local stack对象,或返回reference指向一个heap-allocated对象,或返回pointer或reference指向一个local static对象而有可能同时需要多个这样的对象。