C语言如何正确实现可变参数函数完成参数求和

你手动通过固定参数地址偏移访问可变参数的写法属于未定义行为，C语言标准从未规定函数参数必须在栈空间连续排布：

• 主流编译器在x86_64、ARM等现代架构下，会优先使用通用寄存器传递前若干个参数，可变参数根本不会被压入栈，你对num的地址做int步长偏移拿到的是栈上的随机内存值，就是你运行时看到的无意义负数结果。
• 即便在所有参数都通过栈传递的场景下，不同调用约定的参数入栈顺序、内存对齐填充规则也可能和你预想的逻辑不一致，手动移动指针的写法完全没有可移植性，哪怕在同一个编译器下改个优化等级都可能运行异常。

C语言标准在stdarg.h头文件中提供了统一的可变参数处理宏，会自动适配不同平台、不同调用约定的参数传递逻辑，不需要手动操作栈指针。
涉及的核心宏作用如下：

• va_list：用于存储可变参数遍历状态的专用类型
• va_start：初始化可变参数列表，需要传入函数的最后一个固定参数名，自动定位到第一个可变参数的起始位置
• va_arg：读取当前位置的指定类型参数，同时自动将遍历指针移动到下一个参数位置
• va_end：结束可变参数遍历，完成平台相关的清理操作

修正后的可正常运行的代码如下：

#include <stdio.h>
#include <stdarg.h>

int add(int num, ...)
{
    va_list args;
    int i;
    int result = 0;

    va_start(args, num);

    for (i = 0; i < num; i++)
    {
        result += va_arg(args, int);
    }

    va_end(args);
    return result;
}

int main()
{
    int s1, s2, s3, s4;

    s1 = add(2, 123, 754, 897);
    s2 = add(2, 45, 72, 23);
    s3 = add(2, 1, 2, 3, 4, 5);
    s4 = add(2, 33, 83);

    printf("Result 1 = %d\n", s1);
    printf("Result 2 = %d\n", s2);
    printf("Result 3 = %d\n", s3);
    printf("Result 4 = %d\n", s4);

    return 0;
}

编译运行后输出完全匹配预期：

Result 1 = 877
Result 2 = 117
Result 3 = 3
Result 4 = 116

注意：va_arg不会做运行时类型检查，使用时必须保证传入的可变参数实际类型和va_arg指定的类型一致，也不能在遍历完所有参数后继续调用va_arg，否则依然会触发未定义行为。

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