欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页

读书笔记《Effective C++》条款21:必须返回对象时,别妄想返回其reference

程序员文章站 2022-07-12 17:50:40
...

任何函数如果返回一个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对象而有可能同时需要多个这样的对象。