x86汇编LEA指令异常行为及栈影响问题咨询

疑问1：lea ebx, dword [eax]是否会影响栈导致[eax+4]的值被修改？ #

• lea指令的核心作用是计算内存地址并存入目标寄存器，它不会对任何内存位置（包括栈）进行读或写操作，因此绝对不会修改[eax+4]的值。
• 你遇到的分母输出异常，根源是返回了函数内局部结构体的栈地址。当add_fractions函数执行完毕后，其栈帧会被销毁，对应的栈空间会被后续代码（比如调用打印函数时的栈操作）覆盖。此时eax里保存的地址已经指向无效的栈内存，里面的数据已被篡改：
  • 用mov ebx, dword [eax]和mov ecx, dword [eax+4]直接取值时，可能是在栈空间被覆盖前就完成了数据读取，所以结果正常；
  • 用lea ebx, [eax]和lea ecx, [eax+4]只是拿到了无效地址，后续打印时访问这些地址，读到的是已经被修改的栈数据，自然出现异常。

关于C返回结构体的理解偏差 #

• x86-64调用约定（你查看的AT&T汇编对应64位环境）对结构体返回有明确规则：
  • 当结构体大小≤16字节时（比如你的FRACTION是两个双字，共8字节），编译器会直接把结构体的值打包到寄存器中返回。对于8字节的结构体，整个数据会存在rax里——低4字节是numer，高4字节是denom，调用者直接从rax中拆分字段即可，不需要返回地址。
  • 只有当结构体大小超过16字节时，才会采用“调用者提前分配缓冲区，将缓冲区地址通过rdi传递给函数，函数把结果写入缓冲区”的方式，此时函数不需要返回结构体数据，仅需返回缓冲区地址（可选）。
• 你之前的汇编代码错误地返回了局部变量的栈地址，而C语言中返回小结构体是值返回，不是地址返回，这就是理解偏差的核心。正确的汇编实现应该像C编译器那样，把计算后的分子和分母存入eax（32位环境下，低4字节存分子，高4字节存分母），或者在64位下用rax存整个结构体，而非返回局部变量地址。

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