MASM汇编：动态数组的正确打印方法及堆内存存储实现

一、关于栈数组打印方式的正确性 #

你当前手动调整ESP的做法能临时解决问题，但并不规范，存在潜在风险。

原因在于x86栈的调用约定（比如stdcall/cdecl）中，call指令会自动将返回地址压入栈顶。如果你的数组直接存放在返回地址下方，打印函数若直接以ESP为基址访问，会先读到返回地址而非数组元素。手动sub esp,4和add esp,4本质是强行让ESP指向数组起始位置，但这种操作破坏了栈的平衡规则：

• 若后续有函数调用或栈操作，可能导致栈帧错乱，引发程序崩溃；
• 代码依赖当前栈的固定布局，一旦修改数组长度、新增栈变量，逻辑就会失效。

正确的做法 #

应该遵循调用约定，将数组的首地址作为参数传递给打印函数，而非手动调整ESP：

1. 用EBP作为栈基址（进入函数后执行push ebp; mov ebp, esp），通过[ebp - N*4]这样的偏移量定位数组首地址（N是数组元素个数）；
2. 将该首地址压栈，再调用打印函数；
3. 打印函数通过[esp+4]（跳过返回地址）获取数组首地址，结合元素个数遍历打印。

示例片段：

; 假设数组长度存在ecx，数组首地址存在esi
push ecx        ; 传递数组长度参数
push esi        ; 传递数组首地址参数
call print_array
add esp, 8      ; 清理栈参数（cdecl约定）

; 打印函数实现
print_array proc
    push ebp
    mov ebp, esp
    mov esi, [ebp+8]  ; 获取数组首地址
    mov ecx, [ebp+12] ; 获取数组长度
print_loop:
    ; 打印[esi]的逻辑，比如调用printf
    add esi, 4
    loop print_loop
    pop ebp
    ret
print_array endp

二、动态长度数组存入堆内存的实现 #

在Windows平台的MASM中，通常使用系统提供的堆管理API来分配动态内存，步骤如下：

1. 核心API说明 #

• GetProcessHeap: 获取当前进程的默认堆句柄，无需手动创建堆；
• HeapAlloc: 从指定堆中分配内存，可指定清零内存等标志；
• HeapFree: 释放堆内存，避免内存泄漏。

2. 示例代码 #

.386
.model flat, stdcall
option casemap:none

; 引入Windows API相关头文件和库
include windows.inc
include kernel32.inc
includelib kernel32.lib
include msvcrt.inc
includelib msvcrt.lib

.data
    input_len_prompt db "Enter array length: ", 0
    input_elem_prompt db "Enter element %d: ", 0
    print_fmt db "%d ", 0
    int_fmt db "%d", 0

.data?
    array_len dd ?
    heap_ptr dd ?  ; 存储堆内存的首地址

.code
main proc
    ; 1. 获取默认堆句柄
    invoke GetProcessHeap
    mov ebx, eax  ; ebx保存堆句柄

    ; 2. 获取用户输入的数组长度
    invoke printf, addr input_len_prompt
    invoke scanf, addr int_fmt, addr array_len

    ; 3. 计算内存大小（假设是4字节int数组）
    mov eax, array_len
    imul eax, 4

    ; 4. 分配堆内存，HEAP_ZERO_MEMORY表示清零内存
    invoke HeapAlloc, ebx, HEAP_ZERO_MEMORY, eax
    mov heap_ptr, eax
    ; 检查分配是否成功（eax为NULL则失败）
    cmp eax, 0
    je exit_program

    ; 5. 输入数组元素
    mov ecx, array_len
    mov esi, heap_ptr
    mov edx, 1  ; 元素序号
input_loop:
    invoke printf, addr input_elem_prompt, edx
    invoke scanf, addr int_fmt, esi
    add esi, 4
    inc edx
    loop input_loop

    ; 6. 打印数组元素
    invoke printf, addr print_fmt, 0Ah  ; 换行
    mov ecx, array_len
    mov esi, heap_ptr
print_loop:
    invoke printf, addr print_fmt, [esi]
    add esi, 4
    loop print_loop

    ; 7. 释放堆内存
    invoke HeapFree, ebx, 0, heap_ptr

exit_program:
    invoke ExitProcess, 0
main endp
end main

注意事项 #

• 必须检查HeapAlloc的返回值，若为NULL说明内存分配失败，需处理错误；
• 堆内存不会自动释放，使用完成后必须调用HeapFree；
• 若需要更灵活的内存管理（比如多次扩容），可以使用HeapReAlloc。

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