C语言返回大对象本质

#include <stdio.h>
typedef struct big_thing
{
    char buf[128];
}big_thing;

big_thing return_test()
{
    big_thing b;
    b.buf[0] = 0;
    printf("b = 0x%x, b.buf=0x%x\n", &b, b.buf);
    return b;
}

int main()
{
    big_thing n = return_test();
    printf("n = 0x%x, n.buf=0x%x\n", &n, n.buf);
    return 0;
}

输出结果：

# ./b
b = 0x19e10a10, b.buf=0x19e10a10
n = 0x19e10aa0, n.buf=0x19e10aa0
# 

会发发现两个结构体变量地址是不一样的，与上学时老师强调的一个重点知识：不要返回局部变量的地址。是一致的

那么到底如何实现的呢？

1）本质上在main函数中栈上分配了一个空间，大小是sizeof(big_thing)=128=0x80，假设变量名称temp，然后将这个temp地址传到return_test中（虽然该函数return_test是无参函数）

2）在函数return_test内部，先创建结构体变量b（栈中分配），然后b中数据拷贝temp指向的地址中

3）函数return_test返回后，在main中将temp指向的地址，拷贝到变量n指向的地址。

伪代码：

void return_test(void *temp)
{
    big_thing b;
    b.buf[0] = 0;
    memcpy(temp, &b, sizeof(big_thing));
    eax = temp;
}

int main()
{
    big_thing temp;
    big_thing n;
    return_test(&temp);
    memcpy(&n, eax, sizeof(big_thing));
}

可见是两次拷贝，所以我们在日后编写代码时候，千万要注意这个小小的性能点。

以上结论是摘自《程序员自我修养-连接、装载与库》- 10.2.3章，该章从汇编角度进行了详细分析，有兴趣的可以参考。