汇编函数中处理传参数组：x86 MASM冒泡排序遇A2026错误求助

嘿，我刚好踩过MASM的这个坑！你遇到的这个错误，根源在于MASM对x86寻址模式有严格限制——它不允许直接用内存中的数组指针（比如函数参数或全局变量）加上寄存器乘比例因子的形式来访问数组元素。

错误原因拆解 #

你写的代码行：

mov ecx, [arr + pos2 * 4]
cmp [arr + pos * 4], ecx

如果arr是函数传入的参数（存在栈上，比如[ebp+8]）或者内存中的全局指针，MASM会把arr当成一个常量立即数来解析，但它实际上是一个内存地址，这就导致了"constant expected"的报错——MASM期望这里是一个常量，而不是内存操作数。

x86的合法寻址模式要求：基址部分必须是一个寄存器（比如ESI、EBX），支持[基址寄存器 + 变址寄存器*比例]的形式，这样才能正确计算数组元素的地址。

修复步骤 #

1. 先把数组指针加载到基址寄存器
   把传入的数组指针从内存（比如栈参数）加载到一个寄存器（常用ESI或EBX），比如：

   mov esi, [ebp+8]  ; 假设arr是函数第一个参数，存在ebp+8的位置
   

2. 用寄存器基址访问数组元素
   之后用这个寄存器作为基址，配合你的pos/pos2寄存器来访问数组元素，写法就合法了：

   mov ecx, [esi + pos2 * 4]  ; 访问arr[pos2]，int占4字节所以乘4
   cmp [esi + pos * 4], ecx   ; 比较arr[pos]和ecx中的值
   

完整的冒泡排序示例 #

下面是一个可运行的MASM冒泡排序函数（采用stdcall调用约定），你可以参考：

; 冒泡排序函数：对int数组进行升序排序
; 参数：[ebp+8] = int* arr（数组指针），[ebp+12] = int length（数组长度）
; 调用约定：stdcall，函数负责清理栈参数
BubbleSort proc
    push ebp
    mov ebp, esp
    ; 保存用到的寄存器（遵循调用约定）
    push esi
    push ebx
    push ecx
    push edx

    mov esi, [ebp+8]    ; ESI存储数组指针，作为基址寄存器
    mov ecx, [ebp+12]   ; ECX = 数组长度
    dec ecx             ; 外层循环次数为length-1

outer_loop:
    mov ebx, 0          ; EBX作为内层循环的索引pos，初始为0
inner_loop:
    ; 取出arr[pos]和arr[pos+1]
    mov eax, [esi + ebx*4]
    mov edx, [esi + (ebx+1)*4]
    cmp eax, edx
    jle skip_swap       ; 如果前一个元素<=后一个，跳过交换

    ; 交换arr[pos]和arr[pos+1]
    mov [esi + ebx*4], edx
    mov [esi + (ebx+1)*4], eax

skip_swap:
    inc ebx
    cmp ebx, ecx
    jl inner_loop       ; 内层循环未结束，继续

    dec ecx
    jnz outer_loop      ; 外层循环未结束，继续

    ; 恢复寄存器
    pop edx
    pop ecx
    pop ebx
    pop esi
    pop ebp
    ret 8               ; stdcall约定，清理8字节参数（两个4字节参数）
BubbleSort endp

关键注意点 #

• 始终用寄存器作为数组的基址指针，避免直接用内存指针做基址
• 比例因子（这里的4）要和数组元素的类型匹配（int是4字节，short是2，byte是1）
• 遵循调用约定，保存/恢复被调用者需要保留的寄存器（ESI、EBX等）

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