关于x86汇编子例程返回局部结构体变量的调用约定疑问

嘿，我来帮你理清这个困惑——你其实误解了汇编里那行关键代码的作用，完全没违反调用约定哦！

首先要明确：你看到的movq -8(%rbp), %rax不是返回局部变量的地址，而是直接把整个结构体的值拷贝到rax寄存器里返回给调用者。

咱们拆解细节来看：

• 你的Fraction结构体是两个int，总共8字节，刚好匹配x64架构里rax寄存器的64位宽度。根据x64调用约定（不管是System V还是Windows x64），这种大小≤8字节的结构体，会直接通过rax寄存器返回整个值，和返回单个int的逻辑本质一样，只是把两个int打包成一个64位数据塞进rax而已。
• 在add_fractions里，局部的fraction结构体存在栈上：-8(%rbp)对应numerator（4字节），-4(%rbp)对应denominator（4字节），两者连起来刚好8字节。movq -8(%rbp), %rax这行是把栈上从-8(%rbp)开始的8个字节（也就是整个结构体的内容）一次性加载到rax里，而不是加载这个栈地址本身。
• 再看main里的处理：调用add_fractions后，main直接把rax里的8字节值拷贝到自己栈上的result变量位置（movq %rax, -24(%rbp)）。这意味着main已经拿到了结构体值的完整拷贝，完全不需要再访问add_fractions的栈空间——所以哪怕add_fractions执行addq $16, %rsp回收了自己的栈空间，也不会影响main的使用。

你之前的误解点在于误以为rax返回的是地址，但实际上只有当结构体体积过大（比如超过16字节，不同调用约定阈值略有差异）时，才会用“调用者提前分配栈空间、传递指针给被调用者，被调用者把结构体写入该地址”的方式。而你的小结构体完全符合“寄存器直接返回值”的调用约定规则，根本没有返回局部变量的地址，自然不存在栈空间无效的问题。

备注：内容来源于stack exchange，提问作者nhanphamdev