32位NASM汇编与C混合编程：如何递增C定义的变量值？

栈与寄存器状态解析 #

当C代码调用_increment(&x)时，遵循cdecl调用约定的栈布局（栈向下生长，栈顶地址最小）如下：

1. 调用call _increment前，main函数先把x的32位地址压入栈；
2. call指令执行时，会将返回地址（main中_increment调用后的下一条指令地址）压入栈；
3. 进入_increment后，第一条指令push ebx会把ebx的当前值压入栈。

此时栈的关键位置（以esp为基准）：

• [esp]：ebx的原始值
• [esp+4]：返回地址（4字节，32位程序）
• [esp+8]：x的完整32位地址（参数）

你代码里的疑问解答：

• mov bx, word [esp+8]：不是完整的x地址——因为32位程序的指针是4字节，而bx是16位寄存器，只能读取[esp+8]的低16位，把地址截断了，导致后续访问的是无效内存。
• mov ax, [bx]：这里的ax根本读不到x的真实值，因为bx里的地址是残缺的，访问这种无效内存直接触发段错误。

段错误原因 #

核心问题是用16位寄存器处理32位指针：32位程序中所有内存地址都是4字节的，你用16位的bx存储地址，相当于丢弃了高16位，导致后续的内存访问指向了不属于程序的内存区域，操作系统直接抛出段错误终止程序。

另外你注释掉的add word [esp+8], 1也不对——这是直接给x的地址加1，不是给x的值加1，完全搞反了操作对象。

正确的汇编实现 #

要处理32位指针，必须用32位寄存器（比如ebx、eax）。修正后的汇编代码：

section .text

global _increment

_increment: 
    push ebx        ; ebx是调用者保存寄存器，必须保存原值

    mov ebx, dword [esp+8]  ; 取出完整的32位x地址（dword表示4字节）
    inc word [ebx]          ; 直接递增地址指向的unsigned short值（word对应2字节）

    pop ebx               ; 恢复ebx的原始值
    ret

section .data

如果想分步取值、加1、存回，也可以这么写：

_increment: 
    push ebx        

    mov ebx, dword [esp+8]
    mov ax, word [ebx]  ; 取出x的值到ax（16位）
    inc ax              ; ax加1
    mov word [ebx], ax  ; 把新值存回x的地址

    pop ebx               
    ret

验证结果 #

编译运行后，程序会输出1，符合预期——成功递增了C代码中定义的x变量的值，而非操作它的地址。

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