首先我们先看一下C程序的返回值处理情况,我们知道当C函数返回int等小型数据时直接将返回值放入eax寄存器。那当返回大的数据结构又是如何处理呢 看如下一段代码:
#include
typedef struct big_thing
{
char buf[128];
}big_thing;
big_thing return_test()
{
big_thing b;
b.buf[0]=0;
retutn b;
}
int main(int argc, char *argv[])
{
big_thing n=return_test();
return 0;
}
根据这段代码的汇编代码可以知道这段代码是这样执行的:
1. 首先main函数在栈上开辟了一片空间,并将这块空间的一部分作为传递返回值的临时对象temp;
2. 将temp对象的返回地址作为隐含参数传递给return_test();
3. return_tes()函数将数据拷贝给temp对象(对应下图复制1),并将temp对象的地址用eax寄存器传出;
4. return_test()函数返回后,main函数将eax指向的temp对象拷贝给对象n(对应下图复制2)。

(上图为函数调用的栈情况,绿色部分代表main函数的活动记录,黄色部分为return_test的活动记录。)
看过C程序的返回值得处理过程,我们不妨先推测一下C++的返回值处理过程:总体与C的返回过程类似,只不过在上图复制1中并不是直接执行“位逐次拷贝”,而是调用拷贝构造函数(因为此时产生了新对象——temp),在复制2的时候需要调用赋值运算符(因为此时没有新的对象产生)。下面我们进行验证。
class X
{
public:
X()
{cout<<"X()"< X(const X& x)
{
cout<<"X(const X& x)"< }
X& operator=(const X&)
{
cout<<"="< return *this;
}
~X()
{cout<<"destructor"< };
X return_test()
{
X x;
cout<<"before return"< return x;
}
int _tmain(int argc, _TCHAR* argv[])
{
X xx;
xx=return_test();
}
运行结果如下:

我们看到结果和我们预想的一样,在return前调用了拷贝构造函数(用来生成临时对象),函数返回后,函数内部的临时变量x先销毁,然后调用赋值运算符(对应图中复制2),将临时对象拷贝给xx;之后销毁临时对象temp,main退出时销毁xx。