Windows 64位程序运行时如何用汇编设置函数参数？

这确实是个挺折腾但很实用的场景——要在运行时动态调用DLL里的函数，连参数的类型、数量、取值都得从外部数据文件读，还得用汇编手动处理栈帧对吧？我之前也折腾过类似的需求，给你分享下可行的思路和实操代码：

首先得把整个流程拆成两步走：先从数据文件里解析出参数的元信息，再用汇编手动构建调用栈并执行函数调用。

1. 先解析参数元信息 #

首先得定义一个结构体来存每个参数的关键信息，比如类型、大小、实际值，然后写个简单的解析函数从数据文件里把这些信息读出来。举个简化版的例子（用C++配合）：

// 定义参数类型枚举
typedef enum { PARAM_INT, PARAM_FLOAT, PARAM_PTR } ParamType;

// 存储单个参数的结构体
typedef struct {
    ParamType type;
    size_t size;
    union {
        int i_val;
        float f_val;
        void* p_val;
    } data;
} FunctionParam;

// 从数据文件解析参数的函数（简化版，实际要按你文件格式来）
std::vector<FunctionParam> parseParamsFromFile(const std::string& filePath) {
    std::vector<FunctionParam> params;
    // 这里假设你的数据文件每行格式是：类型 字节数 值
    // 比如"INT 4 123" "FLOAT 4 3.14" "PTR 8 0x12345678"
    // 实际实现时要打开文件逐行读取解析，这里就写个示例参数
    FunctionParam intParam;
    intParam.type = PARAM_INT;
    intParam.size = 4;
    intParam.data.i_val = 123;
    params.push_back(intParam);

    FunctionParam floatParam;
    floatParam.type = PARAM_FLOAT;
    floatParam.size = 4;
    floatParam.data.f_val = 3.14f;
    params.push_back(floatParam);

    return params;
}

2. 用汇编手动构建调用栈并调用函数 #

这部分是核心，因为要根据解析出来的参数类型，逐个把参数压入栈（注意调用约定的顺序，比如stdcall/cdecl是从右往左压栈），然后调用函数指针。下面是x86环境下的示例（用VS的__asm语法，GCC的话可以用asm扩展调整）：

// 动态调用函数的封装
void callDynamicFunction(void* funcPtr, const std::vector<FunctionParam>& params) {
    __asm {
        // 保存栈帧寄存器，防止破坏原有栈结构
        push ebp
        mov ebp, esp
        sub esp, 0x10 // 预留一点临时空间，按需调整

        // 倒序遍历参数（因为栈是高地址到低地址，参数要从右往左压）
        mov ecx, params.size()
        mov esi, params.data()
        add esi, (ecx - 1) * sizeof(FunctionParam) // 指向最后一个参数

param_loop:
        cmp ecx, 0
        jz call_target_func // 参数压完了，跳去调用函数

        // 根据参数类型处理压栈逻辑
        mov edx, [esi] // 取当前参数的类型
        cmp edx, PARAM_INT
        je push_int_param
        cmp edx, PARAM_FLOAT
        je push_float_param
        cmp edx, PARAM_PTR
        je push_ptr_param

push_int_param:
        push [esi + sizeof(ParamType) + sizeof(size_t)] // 压入int值
        jmp next_param
push_float_param:
        // float要先加载到FPU栈再存到调用栈
        fld dword ptr [esi + sizeof(ParamType) + sizeof(size_t)]
        sub esp, 4
        fstp dword ptr [esp]
        jmp next_param
push_ptr_param:
        push [esi + sizeof(ParamType) + sizeof(size_t)] // 压入指针值
next_param:
        sub esi, sizeof(FunctionParam) // 移到前一个参数
        dec ecx
        jmp param_loop

call_target_func:
        // 调用目标函数
        mov eax, funcPtr
        call eax

        // 注意：如果是cdecl调用约定，需要手动清理栈！
        // stdcall的话函数自己会清栈，这部分要根据你的函数调用约定来调整
        // 比如cdecl的话可以加这段：
        // mov ecx, params.size()
        // xor ebx, ebx
        // calc_stack_size:
        //  add ebx, [esi + sizeof(ParamType)]
        //  add esi, sizeof(FunctionParam)
        //  dec ecx
        //  jnz calc_stack_size
        // add esp, ebx

        // 恢复栈帧和寄存器
        mov esp, ebp
        pop ebp
    }
}

• 调用约定必须匹配：这是最容易崩的点！如果DLL函数是cdecl，调用后必须手动清理栈；stdcall的话函数自己负责清栈，一定要在数据文件里明确标注调用约定，或者通过其他方式确认。
• 架构差异：上面的代码是x86的，如果是x64平台，前几个参数是用寄存器传递的（rcx、rdx、r8、r9），剩下的才压栈，汇编逻辑要大改，得单独处理寄存器部分。
• 类型安全校验：因为是运行时动态解析，一定要加参数类型的校验逻辑，比如数据文件里的类型和实际函数参数不匹配的话，直接调用肯定崩溃，最好在解析时做一层校验。
• 字节序问题：如果你的数据文件是跨平台生成的，要注意字节序转换（大端转小端），不然数值会乱掉。

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