如何返回 C 结构

Question

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

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

从反汇编看来，在调用函数之前，所需的 space 已分配到堆栈上，函数会填充这些值。

但在第二部分中，rdi 似乎被视为指向 number 结构的指针，其中还保存了值。那是什么？

在汇编程序中使用 C 函数时，我如何知道结果在哪里？

Answer 1

调用约定通常不具体规定任何代码或代码序列，它只规定状态——例如寄存器和内存，这些状态用于参数传递和堆栈：参数和 return 值的位置，调用必须保留什么状态（即一些寄存器和分配的堆栈内存），什么是临时状态（即一些寄存器和当前堆栈指针下方的内存）。它还可能规定诸如堆栈对齐要求之类的事情。

调用约定按照上述说明状态：但仅在非常特定的时间点，即在控制权从调用者转移到被调用者的确切边界处，以及当控制权从被调用者转移回调用者时再次发生。因此，被调用方期望调用方在其第一条指令运行之前已按预期设置所有参数。调用者期望被调用者在其从调用恢复的第一条指令之前设置所有 return 值（并保留它必须保留的任何内容）。

出于这些目的，调用约定不规定机器代码指令甚至指令序列；它仅在转移点建立对价值和位置的期望。

如何返回 C 结构

How are C structs returned

c

assembly

x86-64

calling-convention