C语言返回结构体的实现疑问：大结构体无法存入寄存器时如何处理？

这问题问到点子上了！很多刚接触底层编译原理的开发者都会忽略这个细节——其实C标准从来没规定结构体必须通过寄存器返回，这完全是**调用约定（Calling Convention）**在背后起作用。

小结构体：直接用寄存器返回 #

你说得没错，当结构体的大小刚好能塞进返回寄存器时（比如x86-64下的%rax是64位，对应≤8字节的结构体；x86-32下的%eax是32位，对应≤4字节的结构体），编译器会直接把结构体的数据打包进寄存器返回。比如：

struct Point { int x; int y; }; // 8字节，刚好占满x86-64的%rax

struct Point get_point() {
    struct Point p = {10, 20};
    return p;
}

编译后，get_point会把p.x放进%rax的低32位，p.y放进高32位，直接返回给调用方。

大结构体：调用方提前分配栈空间 #

当结构体大小超过寄存器的容纳范围时，编译器会做一套“隐形操作”，完全不需要你手动写指针或内存分配：

• 调用方提前准备空间：比如在main里调用返回大结构体的函数时，编译器会先在main的栈帧上分配一块足够大的内存，用来存放即将返回的结构体。
• 传递隐藏指针：调用方会把这块内存的地址作为第一个隐藏参数传给被调用函数。
• 被调用函数直接写入：被调用函数不会在自己的栈上临时存整个结构体，而是直接把数据写入调用方提供的那块内存。
• 返回指针：函数结束时，把调用方提供的内存地址放进返回寄存器（比如%rax），调用方拿到这个地址后，就可以直接访问栈上已经填好的结构体数据了。

举个实际例子，比如返回一个400字节的大结构体：

struct BigStruct {
    int data[100]; // 4*100=400字节，远大于8字节
};

struct BigStruct create_big_struct() {
    struct BigStruct s;
    for (int i=0; i<100; i++) {
        s.data[i] = i;
    }
    return s;
}

int main() {
    struct BigStruct bs = create_big_struct();
    // 直接使用bs即可，底层已经帮你处理好内存
    return 0;
}

编译后，main会先在栈上分配400字节空间，把地址传给create_big_struct；函数里的s其实就是这块内存的别名，赋值操作直接写入main的栈空间；最后返回这个地址，main里的bs直接指向这块空间。

本质：语法糖背后的底层优化 #

C语言语法层面是“值返回”结构体，但底层会根据结构体大小自动切换实现方式——小的用寄存器，大的用栈空间+指针。这种优化是编译器透明处理的，你不需要修改代码，只需要按照正常的“返回结构体”语法写就行，完全不用手动管理内存或指针。

不同架构的调用约定（比如x86-32、ARM、RISC-V）细节可能略有不同，但核心逻辑都是一致的：调用方负责分配返回空间，被调用方直接写入。

内容的提问来源于stack exchange，提问作者cobaltblue