提高C++代码质量 - [083]不要返回局部变量的引用

概述：不要返回局部变量的引用，也不要返回new生成的对象的引用。

 

写一个复数类CComplex，支持复数的加法，代码如下：

class CComplex

{

public:

    CComplex(float real = 0, float imagin = 0)

        : m_real(real), m_imagin(imagin){}

    ~CComplex(){}

private:

    float m_real;

    float m_imagin;

 

    friend const CComplex& operator +(const CComplex& lhs, const CComplex& rhs);

};

 

inline const CComplex& operator +(const CComplex& lhs, const CComplex& rhs)

{

    CComplex result(lhs.m_real + rhs.m_real, lhs.m_imagin + rhs.m_imagin);

    return result;

}

 

//用户使用代码

CComplex a(1.02f, 3.21f);

CComplex b(7.10f, 5.44f);

CComplex c = a + b;

const CComplex& d = a + b;

 

上面的代码虽然在VS2010中可以运行通过，但是会有一个警告：

warning C4172：返回局部变量或临时变量的地址

那么，到底发生了什么呢？

首相，构造了一个局部变量result，接着生成result的别名，并作为函数的返回值返回，赋值给外面的临时变量，最后局部变量超出生命周期销毁。而此时result的别名还存在，所以警告就产生了。

需要注意的是，在C++标准中，这样做的结果是未知的。之所以在VS2010中得到了正确的结果，只能说运气比较好，微软的工程师对此做了特殊处理。所以，不要返回局部变量的引用。

 

那么，如果我们返回new出来的对象引用会怎么样呢？代码如下：

inline const CComplex& operator +(const CComplex& lhs, const CComplex& rhs)

{

    CComplex *result = new CComplex(lhs.m_real + rhs.m_real, lhs.m_imagin + rhs.m_imagin);

    return *result;

}

 

//用户使用代码

CComplex a(1, 1);

CComplex b(1, 4);

 

const CComplex& c = a + b;

delete &c;

 

这样的方式有两个缺点：

(1)operator +函数只申请内存，易造成内存泄漏，特别是在链式操作时，增加了用户使用的负担。

(2)内存的申请与释放不在同一模块中，将一个函数功能硬生生地分到了两个层次的函数中，这影响了模块功能的完整性与单一性，破坏了函数的内聚性。

所以，也不要返回new出来的对象引用。