C和C++实现可变参数函数

C和C++实现可变参数函数

C语言中的printf相关的函数，C++中的emplace相关的函数都使用了变参函数。这篇文章将简单介绍C和C++的不同实现方式。

C语言实现可变参数函数

在C语言中，通过在函数的最后一个参数加省略号（...），例如int printf(const char* format, ...);，来声明变参函数：

int printx(const char* fmt, ...); // 此方法声明的函数
printx("hello world"); // 可能会以一个
printx("a=%d b=%d", a, b); // 或更多参数调用
 
// int printy(..., const char* fmt); // 错误： ... 必须在最后
// int printz(...); // 错误： ... 必须跟随至少一个具名参数

在函数体内可以且必须通过<stdarg.h>中的工具访问这些参数的值。

一个简单的例子

下面的add_nums函数将参数中的count个数相加然后返回它们的和：

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

int add_nums(int count, ...) {
   
    int result = 0;
    va_list args;
    va_start(args, count);

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

    va_end(args);

    return result;
}

int main(void) {
   
    printf("%d\n", add_nums(4, 25, 25, 50, 50));
    
    return 0;
}

输出：

150

va_list类型

va_list维护了宏 va_start、 va_copy、 va_arg及 va_end所需的信息。

va_stat宏

#include <stdarg.h>

void va_start(va_list ap, parmN);

va_start 宏使函数能访问parmN后的可变参数。

其中ap为va_list类型实例，parmN为首个可变参数前的参数名。

应该在任何对va_arg的调用前，以合法的va_list对象ap调用va_start 。

在上面的例子中，参数count在可变参数...的前面，因此调用va_start(args, count);。

va_copy宏

#include <stdarg.h>

void va_copy(va_list dest, va_list src); // C99 起

va_co