C++中函数返回引用

1. 返回引用和不返回引用的区别

下面两个代码是在类中的成员函数，而m_data_变量为类的私有成员变量。

int& at()
{
    return m_data_;
}

int at()
{
    return m_data_;
}

上面两个函数，第一个返回值是int的引用int&，第二个返回值是int，但是二者有什么区别？

1. 返回值为引用型（int& ）的时候，返回的是地址，因为这里用的是 int& a=A.at(); ，所以a和m_data_指的是同一块地址。
2. 返回值不是引用型（int）的时候，返回的是一个数值。这个时候就很有意思了，编译器是先将这个数值放入一个内存中，再把这个地址付给a，此时的a代表的地址和m_data_代表的地址不一样。
3. 综上两点可以看出，当返回的值是引用型时，会返回该变量的地址。当返回的值不是引用型时，编译器会专门给返回值分配出一块内存的

int& at()
{
    return m_data_;
}

int a=at();

上面代码的执行过程为：

1. 函数返回类对象中的成员变量m_data的地址。(这里会不会造成私有变量的泄露？)

注意：
函数返回引用,要慎重,一定要保证函数结束后,返回的引用是有效的

2. 返回引用的优点

一般用作类对象的返回值，可以减少临时对象的申请、构造等操作，节省空间时间，比如

String &operator=(const String &)
{
//若干代码
return *this;//返回自身引用
}

3. 函数返回若不返回一个变量的引用，则一定会生成一个临时变量

看下面的函数，返回的是t而不是&t，所以一定会有临时变量产生。

T function1(){
    T t(0);
    return t;
}
T x=function1();

这里的过程是：

1. 创建命名对象t
2. 拷贝构造一个无名的临时对象，并返回这个临时对象
3. 由临时对象拷贝构造对象x
4. T x=function1();这句语句结束时，析构临时对象
   这里一共生成了3个对象，一个命名对象t，一个临时对象作为返回值，一个命名对象x。

下面的函数稍微复杂一定，它没有先定义一个中间变量t，看起来似乎是直接返回了一个临时变量。但实际上，如果不经过c++的优化，那么它并没有提高效率，因为它还是创建了3个对象。

T function2(){
     return T(0);
}
T x=function2();

这里的过程是：

1. 创建一个无名对象
2. 由无名对象拷贝构造一个无名的临时对象
3. 析构无名对象，返回临时对象
4. 由临时对象拷贝构造对象x
5. T x=function2()语句结束时，析构临时对象。

这里一共生成了3个对象，其中有2个对象都是马上被析构掉的，不能被后面的代码使用。既然是这样，那么就会有优化的余地，可以尝试着不要前面的两个临时变量。c++确实会做这样的优化，优化后的c++会避免匿名对象和临时对象这两个对象的生成，而直接生成x，这样就减少了两次对象生成-回收的消耗，提高了程序性能。