如何禁用gcc、clang通过寄存器传递函数参数？

这问题我之前帮同学踩过坑！64位Linux/macOS用的是System V AMD64调用约定，这是操作系统层面的ABI规范，不管你开不开优化（哪怕-O0），前6个整数/指针参数都会用RDI、RSI、RDX、RCX、R8、R9这几个寄存器传递，浮点参数用XMM0-XMM7，只有超出数量的参数才会压到栈上。所以你基于栈实现的va_start/va_arg自然取不到寄存器里的参数，这不是编译器优化的锅，是ABI强制要求的。

那有没有办法绕开？分几种情况给你说：

1. 临时测试：切换到32位编译模式 #

如果只是为了验证你的栈版va宏逻辑，最简单的方法是用-m32编译选项强制生成32位代码。32位x86的cdecl调用约定所有参数都走栈，你的原有代码直接就能跑。但这不符合你“仅用64位机器”的要求，只能用来测试逻辑。

2. 正经方案：按64位ABI规则实现va宏 #

既然不能禁用寄存器传参，那只能适配它。你需要自定义va_list结构体，同时处理寄存器和栈上的参数：

示例思路（仅处理整数/指针类型）： #

#include <stdint.h>

// 自定义va_list，存储寄存器参数和栈指针
typedef struct {
    uint64_t regs[6];  // 存前6个整数/指针参数
    uint64_t *stack;   // 栈上参数的起始地址
    int used_regs;     // 已经读取的寄存器参数数量
} my_va_list;

// 在可变参数函数入口处，用汇编把寄存器参数存到结构体里
#define my_va_start(ap, last_arg) do { \
    (ap).stack = (uint64_t*)&(last_arg) + 1; \
    (ap).used_regs = 0; \
    /* 用汇编把调用者传入的寄存器参数存到regs数组 */ \
    __asm__ volatile ( \
        "movq %%rdi, %0\n" \
        "movq %%rsi, %1\n" \
        "movq %%rdx, %2\n" \
        "movq %%rcx, %3\n" \
        "movq %%r8, %4\n" \
        "movq %%r9, %5\n" \
        : "=m"((ap).regs[0]), "=m"((ap).regs[1]), "=m"((ap).regs[2]), \
          "=m"((ap).regs[3]), "=m"((ap).regs[4]), "=m"((ap).regs[5]) \
        : : "memory" \
    ); \
} while(0)

// 实现va_arg：先读寄存器，再读栈
#define my_va_arg(ap, type) ({ \
    type val; \
    if ((ap).used_regs < 6) { \
        val = *(type*)&(ap).regs[(ap).used_regs]; \
        (ap).used_regs++; \
    } else { \
        val = *(type*)(ap).stack; \
        (ap).stack += sizeof(type)/sizeof(uint64_t); \
    } \
    val; \
})

如果课程要求处理浮点类型，还需要额外适配XMM寄存器的读取逻辑，会更复杂，但针对整数参数的场景，这个方案完全够用。

3. 投机取巧：用GCC内置函数打包参数 #

GCC提供了__builtin_apply_args和__builtin_apply两个内置函数，可以把所有参数打包到栈上，这样你就能像32位那样处理：

#include <stddef.h>

typedef char* my_va_list;

#define my_va_start(ap, last) \
    ap = (my_va_list)__builtin_apply_args();

#define my_va_arg(ap, type) ({ \
    type res; \
    __builtin_apply((void(*)(void))(uintptr_t)ap, (char*)&res, sizeof(type)); \
    ap += sizeof(type); \
    res; \
})

不过这个方法依赖GCC扩展，可能不符合课程“自行实现”的要求，但可以作为参考思路。

最后提醒一句：64位ABI的寄存器传参是硬性规则，编译器没有选项能直接禁用（否则会破坏函数调用兼容性），所以最靠谱的还是按ABI规则适配你的va宏实现。

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