不使用va_arg函数能否遍历可变参数列表？

结论先行：仅在特定平台、特定调用约定的场景下存在可行的hack实现，标准C没有官方支持的跨平台替代方案，生产环境优先使用标准va_arg接口。

实现前提 #

这种方案完全依赖底层的调用约定和栈内存布局，仅在满足以下所有条件的环境中可用：

• 32位x86架构
• 使用cdecl调用约定（参数从右往左压栈，栈地址从高到低增长，所有参数都存放在栈上）
• 可变参数的数量/结束标记可以提前确定，参数类型固定且大小可预期

实现示例 #

示例1：固定参数数量的求和函数 #

原理是32位cdecl约定下，第一个参数的地址偏移后即可拿到后续可变参数的地址：

#include <stdio.h>

int sum(int arg_count, ...) {
    int total = 0;
    // 取第一个参数的地址，偏移1个单位就是第一个可变参数的起始地址
    int *arg_ptr = &arg_count + 1;
    for (int i = 0; i < arg_count; i++) {
        total += *(arg_ptr + i);
    }
    return total;
}

int main() {
    // 输出：60
    printf("sum(3, 10, 20, 30) = %d\n", sum(3, 10, 20, 30));
    // 输出：15
    printf("sum(5, 1, 2, 3, 4, 5) = %d\n", sum(5, 1, 2, 3, 4, 5));
    return 0;
}

示例2：带终止标记的字符串打印函数 #

以NULL作为可变参数的结束标记，不需要提前传参数数量：

#include <stdio.h>

void print_strs(const char *first, ...) {
    const char **arg_ptr = &first + 1;
    const char *cur = first;
    while (cur != NULL) {
        puts(cur);
        cur = *arg_ptr++;
    }
}

int main() {
    // 依次输出hello、world、test
    print_strs("hello", "world", "test", NULL);
    return 0;
}

注意事项 #

• 上述代码不具备任何跨平台兼容性：x64、ARM、RISC-V等架构的调用约定中前几个参数会通过寄存器传递，直接取栈地址根本拿不到参数；即使是x86平台，开启特定编译优化、使用其他调用约定（比如stdcall、fastcall）也会导致代码直接崩溃
• 没有类型安全检查，手动计算参数偏移量很容易出现内存越界、类型转换错误，属于标准C定义的未定义行为
• 生产环境所有场景都推荐使用标准的va_start/va_arg/va_end接口，编译器会自动适配不同平台的调用约定，稳定性和兼容性有保障

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