《Effective C艹》读书笔记（14）

条款21：当必须返回对象时，别妄想返回其reference

    并不是在任何情况下都可以通过传引用的方式返回值。看下面这段代码

const Rational& operator* (const Rational& r1, const Rational& r2){
        Rational temp;     
        temp.numerator = r1.numerator * r2.numerator;
        temp.denominator = r1.denominator * r2.denominator;
        return temp;
}

     事实上，任何对这个函数返回值的读写操作都将返回错误，因为返回的对象是函数栈内的对象，在函数结束之后对象就已经销毁了。使用已经销毁的对象会导致错误！

 

     接下来看看在堆上分配

const Rational& operator* (const Rational& r1, const Rational& r2){
    Rational *temp = new Rational();
    temp->numerator = r1.numerator * r2.numerator;
    temp->denominator = r1.denominator * r2.denominator;
    return *temp;
}

     这次调用函数能准确无误的返回运算结果了。但是这仍然是有问题的代码。这次的问题是内存泄漏，因为没人保证会在调用*运算符之后再把产生的对象删除掉，就算是每次都会小心的把运算结果对象给delete掉，但是在进行a = b*c*d;这种运算的时候，会进行两次new操作，我们很难删除那个隐藏的对象。

    所以说绝对不要返回pointer或reference指向一个local stack对象，指向一个heap-allocated对象也不是好方法，更不能指向一个local static对象（数组），该让编译器复制对象的时候，就让它去复制！