c - 如何使用堆栈从函数返回值

Question

假设这段代码:

int add(int a, int b){
    int c = a+b;
    return c;
}

int main(){
  printf("%d\n", add(3,4));
}

以下通常是在汇编中实现的方式:

- push 4 to stack
- push 3 to stack
- push return address which is the address of the next instruction, `print()` to stack
- call add
- do addition and push c on the stack
- pop c from stack ??
- return to main

那么返回值怎么办，不能在 add上帧，因为它会在最后被清除。它是否被放入 main 的堆栈中？ ?

让我们假设这些值被推送到大头钉而不是寄存器。

Answer 1

这取决于体系结构和调用约定。在 x86-32 中，几乎每个调用约定都有返回值 eax或 edx:eax对于 64 位结果。所以你的 add函数可能有说明:

mov eax, dword ptr [esp+4] ; put 1st arg in eax
add eax, dword ptr [esp+8] ; add eax with 2nd arg
ret                        ; return

不需要额外的工作，因为返回值已经应该在 eax 中。 .

也就是说，除非您询问特定的架构，否则您不会为此找到“一般情况”的答案，即使如此，可能会有多种不同的调用约定。