c - C 结构体如何返回

Question

这个问题在这里已经有了答案:





How does System V amd64 handle very long return values?

(1 个回答)



Why does clang produce inefficient asm with -O0 (for this simple floating point sum)?

(1 个回答)



How to remove "noise" from GCC/clang assembly output?

(3 个回答)



C++ What actually happens in assembly when you return a struct from a function?

(2 个回答)



passing rvalue to non-ref parameter, why can't the compiler elide the copy?

(1 个回答)


4 个月前关闭。




我想知道如何以类似的方式返回结构:

typedef struct number {
   uint64_t a, b, c, d;
}number;


number get_number(){
   number res = {0,0,0,0};
   return res;
}

哪个分解为

0000000000001149 <get_number>:
    1149:   55                      push   rbp
    114a:   48 89 e5                mov    rbp,rsp
    114d:   48 89 7d d8             mov    QWORD PTR [rbp-0x28],rdi
    1151:   48 c7 45 e0 00 00 00    mov    QWORD PTR [rbp-0x20],0x0
    1158:   00
    1159:   48 c7 45 e8 00 00 00    mov    QWORD PTR [rbp-0x18],0x0
    1160:   00
    1161:   48 c7 45 f0 00 00 00    mov    QWORD PTR [rbp-0x10],0x0
    1168:   00
    1169:   48 c7 45 f8 00 00 00    mov    QWORD PTR [rbp-0x8],0x0
    1170:   00
    1171:   48 8b 4d d8             mov    rcx,QWORD PTR [rbp-0x28]
    1175:   48 8b 45 e0             mov    rax,QWORD PTR [rbp-0x20]
    1179:   48 8b 55 e8             mov    rdx,QWORD PTR [rbp-0x18]
    117d:   48 89 01                mov    QWORD PTR [rcx],rax
    1180:   48 89 51 08             mov    QWORD PTR [rcx+0x8],rdx
    1184:   48 8b 45 f0             mov    rax,QWORD PTR [rbp-0x10]
    1188:   48 8b 55 f8             mov    rdx,QWORD PTR [rbp-0x8]
    118c:   48 89 41 10             mov    QWORD PTR [rcx+0x10],rax
    1190:   48 89 51 18             mov    QWORD PTR [rcx+0x18],rdx
    1194:   48 8b 45 d8             mov    rax,QWORD PTR [rbp-0x28]
    1198:   5d                      pop    rbp
    1199:   c3                      ret

从反汇编来看，在调用函数之前，所需的空间已在堆栈上分配，函数会填充这些值。
但在第二部分它看起来像 rdi被视为指向 number 的指针也保存值的结构。那是关于什么的？
在汇编程序中使用 C 函数时，我怎么知道结果在哪里？

Answer 1

调用约定通常不具体规定任何代码或代码序列，它只规定状态——例如寄存器和内存，它们用于参数传递和堆栈:参数和返回值去哪里，调用必须保留什么状态(即一些寄存器和分配的堆栈内存)，以及什么是scratch(即一些寄存器，以及当前堆栈指针下方的内存)。它也可能决定诸如堆栈对齐要求之类的事情。
调用约定按照上面的方式说明状态:但仅在非常特定的时间点，即在控制从调用者转移到被调用者时的确切边界，以及当控制从被调用者转移回调用者时再次发生。因此，被调用者期望调用者在其第一条指令运行之前已按预期设置所有参数。调用者期望被调用者在从调用恢复的第一条指令之前设置所有返回值(并保留它必须保留的任何内容)。
出于这些目的，调用约定并不规定机器代码指令，甚至指令序列；它只在转移点建立对值(value)和位置的期望。