C语言可变参数函数返回垃圾值问题求助

问题根源分析 #

1. 参数未被正确计入总和：函数定义中的x参数完全未参与求和计算，调用时传入的第一个值5直接被忽略。
2. 可变参数数量不匹配导致未定义行为：循环逻辑是根据y的值读取对应数量的可变参数，但调用时y=6，意味着要读取6个可变参数，而仅传入了7、8、9三个有效值，剩余三次va_arg调用会读取栈上的随机内存数据（垃圾值），这属于C语言中的未定义行为，结果完全不可控。
3. 函数设计逻辑与预期不符：你期望对所有传入的参数求和，但当前函数的逻辑是用y指定可变参数的个数，而非总参数个数，两者逻辑不匹配。

修复方案 #

根据需求，提供两种可行的修复方式：

方案1：明确指定可变参数的数量（保留原函数设计逻辑）

修改函数，将第一个参数计入总和，同时确保调用时指定的数量与可变参数的实际数量一致：

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

// 将y重命名为var_arg_count，语义更清晰
int add(int first_val, int var_arg_count, ...)
{
    va_list add_list;
    va_start(add_list, var_arg_count);

    int sum = first_val; // 先计入第一个参数

    for (int i = 0; i < var_arg_count; i++)
        sum += va_arg(add_list, int);

    va_end(add_list);
    return sum;
}

int main()
{
    // var_arg_count=3对应后面的3个可变参数7、8、9
    int result = add(5, 3, 7, 8, 9);
    printf("%d\n", result); // 输出5+7+8+9=29

    return 0;
}

方案2：自动对所有传入参数求和（无需指定数量）

由于C语言无法自动获取可变参数的个数，需通过终止标记（如约定的特殊值）来判断参数结束。示例中使用-1作为终止标记（假设求和的数均为非负数）：

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

// 以-1作为参数结束标记
int add(int first_val, ...)
{
    va_list add_list;
    va_start(add_list, first_val);

    int sum = first_val;
    int current_num;

    // 循环读取参数，直到遇到终止标记
    while ((current_num = va_arg(add_list, int)) != -1)
        sum += current_num;

    va_end(add_list);
    return sum;
}

int main()
{
    // 末尾添加-1标记参数结束
    int result = add(5, 6, 7, 8, 9, -1);
    printf("%d\n", result); // 输出5+6+7+8+9=35

    return 0;
}

原代码错误调用的说明 #

你原调用add(5,6,7,8,9)中，y=6触发循环执行6次：

• 前3次读取到有效参数7、8、9
• 后3次读取栈上的随机垃圾值
• 同时第一个参数5未被计入总和
  最终输出的是7+8+9+垃圾值1+垃圾值2+垃圾值3的结果，自然是垃圾值。

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