C++函数返回引用的情况说明

引言（废话）

即将考试C++，老师发了一些资料讲了一些比较琐碎的细节，其中有一个就是关于函数返回引用/非引用和在函数调用处使用该引用/非引用（即保存其值）的一些细节，发现自己对这个也不是很清楚，所以作一个记录和说明。

返回引用/非引用

• 函数返回非引用，一般情况下，都应该是返回对象的副本。
• 函数返回引用，都应该是返回指向一个对象的引用（引用的实际实现其实就是指针，只不过该指针不允许被改变，且该指针每次使用时自动取值）
• 返回引用，用非引用存，可行，且调用复制构造函数（推测是因为需要用复制构造函数来定义所谓“副本”）
• 返回非引用，用一般引用存，不可行，类型不同。（返回临时对象，而引用这个临时变量没有意义）
• 返回非引用，用const引用存，可行，不调用复制构造函数。（可以理解位临时变量生命周期延长，后文有更深的解析）
• 返回非引用，用非引用存，不调用复制构造函数（不需要定义副本，返回的临时对象即为需要存的对象，同样可理解为临时对象生命周期的延长）

关于生命周期延长（重点说明）

#include <iostream>
#include <cstdio>
using namespace std;
class Temp
{
    public:
        int a;
        Temp(){}
        Temp(const Temp &)
        {
            printf("in copy\n");
        }
};
Temp func()
{
    Temp a;
    printf("%p\n", &a.a);
    return a;
}
int main()
{
    Temp a = func();
    printf("%p\n", &a.a);
    return 0;
}

输出结果：

0xffdfd4ac
0xffdfd4ac

他们是同一地址

以及另外一种生命周期延长：

#include <cstdio>
class Temp
{
    public:
    int a;
    Temp(){}
    Temp(Temp &){printf("copied\n");}
    Temp(const Temp&){printf("copied again\n");}
};
Temp func()
{
    Temp a;
    printf("in func:%p\n", &a.a);
    return a;
}
void test()
{
    const Temp a = func();
    const Temp b = func();
    printf("%p, %p\n", &a.a, &b.a);
}
int main()
{
    test();
    return 0;
}

效果同上，也是同一地址。

使用GDB反编译第一段代码：

gdb-peda$ disass func
Dump of assembler code for function func():
   0x080485ad <+0>: push   ebp
   0x080485ae <+1>: mov    ebp,esp
   0x080485b0 <+3>: sub    esp,0x18
   0x080485b3 <+6>: mov    eax,DWORD PTR [ebp+0x8]
   0x080485b6 <+9>: mov    DWORD PTR [esp],eax
   0x080485b9 <+12>:    call   0x8048674 <Temp::Temp()>
   0x080485be <+17>:    mov    eax,DWORD PTR [ebp+0x8]
   0x080485c1 <+20>:    mov    DWORD PTR [esp+0x4],eax
   0x080485c5 <+24>:    mov    DWORD PTR [esp],0x8048710
   0x080485cc <+31>:    call   0x80484a0 <printf@plt>
   0x080485d1 <+36>:    nop
   0x080485d2 <+37>:    mov    eax,DWORD PTR [ebp+0x8]
   0x080485d5 <+40>:    leave  
   0x080485d6 <+41>:    ret    0x4
End of assembler dump.
gdb-peda$ disass main
Dump of assembler code for function main():
   0x080485d9 <+0>: lea    ecx,[esp+0x4]
   0x080485dd <+4>: and    esp,0xfffffff0
   0x080485e0 <+7>: push   DWORD PTR [ecx-0x4]
   0x080485e3 <+10>:    push   ebp
   0x080485e4 <+11>:    mov    ebp,esp
   0x080485e6 <+13>:    push   ecx
   0x080485e7 <+14>:    sub    esp,0x24
   0x080485ea <+17>:    lea    eax,[ebp-0xc]
   0x080485ed <+20>:    mov    DWORD PTR [esp],eax
   0x080485f0 <+23>:    call   0x80485ad <func()>
   0x080485f5 <+28>:    sub    esp,0x4
   0x080485f8 <+31>:    lea    eax,[ebp-0xc]
   0x080485fb <+34>:    mov    DWORD PTR [esp+0x4],eax
   0x080485ff <+38>:    mov    DWORD PTR [esp],0x8048710
   0x08048606 <+45>:    call   0x80484a0 <printf@plt>
   0x0804860b <+50>:    mov    eax,0x0
   0x08048610 <+55>:    mov    ecx,DWORD PTR [ebp-0x4]
   0x08048613 <+58>:    leave  
   0x08048614 <+59>:    lea    esp,[ecx-0x4]
   0x08048617 <+62>:    ret    
End of assembler dump.

func是一个没有参数的函数，然而在main里边调用func的时候，

   0x080485ea <+17>:    lea    eax,[ebp-0xc]
   0x080485ed <+20>:    mov    DWORD PTR [esp],eax

这里是一个传入参数的操作，而传入的是在当前栈帧里边的一个地址，根据后文，
在func中

   0x080485b3 <+6>: mov    eax,DWORD PTR [ebp+0x8]
   0x080485b6 <+9>: mov    DWORD PTR [esp],eax
   0x080485b9 <+12>:    call   0x8048674 <Temp::Temp()>

main中调用func时传入的地址，即为想要让临时变量存储的位置。

总结

如果一个func()返回一个临时变量，而根据前文所述，该临时变量生命周期会延长，即该func()在调用时会采用Temp func(void* addr)的形式，代入一个想让临时变量存储的地址，临时变量直接存储在该地址，没有调用复制构造函数，也起到了类似复制一样的效果。（该临时变量不会改变位置，直接存储到需要放的地址会更快，避免复制，而且没有副作用）。