编辑“︁C 语言变量参数”︁

{{DISPLAYTITLE:C语言变量参数}}  
'''C语言变量参数'''（Variable Arguments，简称'''varargs'''）是C语言标准库提供的一种机制，允许函数接受数量不定的参数。这种特性在需要处理未知数量输入的场景（如格式化输出函数`printf`）中非常有用。本章将详细介绍变量参数的工作原理、使用方法及实际应用。  

== 概述 ==  
在标准C语言中，函数的参数通常是固定的（即参数的数量和类型在编译时确定）。但通过`<stdarg.h>`头文件提供的宏，可以定义'''可变参数函数'''（Variadic Function），其参数数量在调用时动态决定。  

可变参数函数的声明需至少包含一个'''固定参数'''（通常用于传递参数数量或类型信息），后跟省略号（`...`），例如：  
<syntaxhighlight lang="c">  
int func(int fixed_arg, ...);  
</syntaxhighlight>  

== 核心宏 ==  
`<stdarg.h>`定义了以下关键宏：  
* `va_list`：类型，用于声明参数列表的指针。  
* `va_start(va_list ap, last_fixed_arg)`：初始化`ap`，使其指向可变参数列表的起始位置。  
* `va_arg(va_list ap, type)`：从`ap`中读取下一个参数，类型由`type`指定。  
* `va_end(va_list ap)`：清理`ap`，结束可变参数的访问。  

== 基本用法示例 ==  
以下示例演示如何实现一个简单的可变参数函数，计算任意数量整数的平均值：  
<syntaxhighlight lang="c">  
#include <stdarg.h>  
#include <stdio.h>  

double average(int count, ...) {  
    va_list ap;  
    double sum = 0;  
    va_start(ap, count);  

    for (int i = 0; i < count; i++) {  
        sum += va_arg(ap, int); // 依次读取int类型参数  
    }  

    va_end(ap);  
    return sum / count;  
}  

int main() {  
    printf("Average: %.2f\n", average(3, 10, 20, 30)); // 输出: Average: 20.00  
    printf("Average: %.2f\n", average(5, 1, 2, 3, 4, 5)); // 输出: Average: 3.00  
    return 0;  
}  
</syntaxhighlight>  

=== 代码解析 ===  
1. `va_start`初始化`ap`，使其指向`count`之后的第一个可变参数。  
2. `va_arg`按顺序读取参数，需指定正确的类型（此处为`int`）。  
3. `va_end`释放资源，避免内存泄漏。  

== 实际应用场景 ==  
=== 1. 实现自定义`printf` ===  
可变参数常用于格式化输出函数。以下是一个简化版`printf`的实现：  
<syntaxhighlight lang="c">  
#include <stdarg.h>  
#include <stdio.h>  

void my_printf(const char* format, ...) {  
    va_list ap;  
    va_start(ap, format);  

    while (*format) {  
        if (*format == '%') {  
            format++;  
            switch (*format) {  
                case 'd': printf("%d", va_arg(ap, int)); break;  
                case 'f': printf("%f", va_arg(ap, double)); break;  
                case 's': printf("%s", va_arg(ap, char*)); break;  
                default: putchar(*format);  
            }  
        } else {  
            putchar(*format);  
        }  
        format++;  
    }  

    va_end(ap);  
}  

int main() {  
    my_printf("Numbers: %d, %f, %s\n", 42, 3.14, "Hello");  
    // 输出: Numbers: 42, 3.140000, Hello  
    return 0;  
}  
</syntaxhighlight>  

=== 2. 日志记录函数 ===  
日志函数通常需要动态拼接不同数量和类型的参数：  
<syntaxhighlight lang="c">  
void log_message(const char* level, const char* msg, ...) {  
    va_list ap;  
    va_start(ap, msg);  
    printf("[%s] ", level);  
    vprintf(msg, ap); // 使用vprintf处理可变参数  
    va_end(ap);  
}  

int main() {  
    log_message("ERROR", "File not found: %s (Code: %d)\n", "config.txt", 404);  
    // 输出: [ERROR] File not found: config.txt (Code: 404)  
}  
</syntaxhighlight>  

== 注意事项 ==  
1. '''类型安全'''：`va_arg`无法自动检测参数类型，需由程序员保证类型匹配。  
2. '''参数顺序'''：必须按声明顺序读取参数，跳过参数会导致未定义行为。  
3. '''性能'''：频繁使用可变参数可能影响性能（因需运行时解析）。  

== 高级主题 ==  
=== 参数类型推断 ===  
可通过固定参数传递格式字符串（如`printf`），或使用标志位指示后续参数类型。  

=== 使用`va_copy` ===  
C99引入`va_copy`宏，用于复制`va_list`对象，便于多次遍历参数列表：  
<syntaxhighlight lang="c">  
va_list ap1, ap2;  
va_start(ap1, count);  
va_copy(ap2, ap1); // 复制ap1到ap2  
// 使用ap1和ap2分别遍历  
va_end(ap1);  
va_end(ap2);  
</syntaxhighlight>  

== 总结 ==  
C语言的变量参数机制为处理动态参数提供了强大支持，但需谨慎使用以避免类型错误。通过`<stdarg.h>`的宏，开发者可以灵活实现如日志、格式化输出等高级功能。

[[Category:编程语言]]
[[Category:C]]
[[Category:C 语言标准库]]