在 C 语言中，可变参数（Variadic Arguments）允许一个函数接受不定数量的参数，常见的例子是标准库函数 printf()。这部分内容在实际开发中非常有用，但需要掌握其底层机制与安全使用方式。

---

📘 一、什么是可变参数？

可变参数函数就是形参中参数个数不固定的函数。

经典例子：

int printf(const char *format, ...);

使用 ... 表示可变参数，其实质是依赖 <stdarg.h> 提供的宏操作。

---

📚 二、引入头文件 <stdarg.h>

要使用可变参数，必须引入：

#include <stdarg.h>

它提供以下宏：

• va_list：类型，用于访问可变参数列表
• va_start(va_list ap, last_fixed_param)：初始化 ap 指针，last_fixed_param 是最后一个已知参数
• va_arg(va_list ap, type)：访问当前参数并将指针移至下一个参数
• va_end(va_list ap)：清理工作

---

🛠️ 三、完整示例：求一组数的和

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

int sum(int count, ...) {
    va_list args;
    va_start(args, count);

    int total = 0;
    for (int i = 0; i < count; i++) {
        total += va_arg(args, int);  // 获取当前参数并前进
    }

    va_end(args);
    return total;
}

int main() {
    printf("Sum: %d\n", sum(4, 10, 20, 30, 40));  // 输出：Sum: 100
    return 0;
}

---

🔬 四、实现机制（底层原理）

在函数调用时，可变参数会被压入函数栈（或寄存器中，取决于 ABI），通过 va_start 设置指针，va_arg 依次取出参数。C 编译器无法知道参数个数和类型，因此：

⚠️ 你必须自己管理参数数量和类型，否则会出现未定义行为！

---

⚠️ 五、注意事项

1. ❌ 无法自动知道参数数量或类型

• 需要通过第一个参数传入数量或格式字符串（如 printf）来约定

1. ❌ 不支持结构体类型参数传递（某些编译器）

• 结构体按值传参未定义行为，需用指针传递

1. ✅ 必须调用 va_end() 释放资源

---

✅ 六、增强安全性（类型检查）

C11 引入 __attribute__ ((format (printf, x, y))) 用于自定义函数的格式字符串检查：

__attribute__((format(printf, 1, 2)))
void my_printf(const char *fmt, ...);

表示参数从第1个是格式串，第2个开始是参数。

---

🔗 七、权威资料与出站链接

名称	链接
C99 标准 <stdarg.h> 文档	https://en.cppreference.com/w/c/variadic
GNU C Manual – Variadic Functions	https://gcc.gnu.org/onlinedocs/gcc/Variable-Arguments.html
Linux man 手册：va_start	https://man7.org/linux/man-pages/man3/stdarg.3.html
GeeksForGeeks 讲解	https://www.geeksforgeeks.org/variadic-functions-in-c/

---

🧠 八、总结：使用可变参数的步骤

步骤	操作
1️⃣ 引入头文件	#include <stdarg.h>
2️⃣ 定义函数	使用 ... 表示可变参数
3️⃣ 初始化参数列表	va_start(ap, last_named_param)
4️⃣ 获取参数值	va_arg(ap, type)
5️⃣ 清理工作	va_end(ap)

---