可变形参的函数使用

0.使用背景

在单元测试的数据构造中，有时会遇到数据无规律、个数不确定的情况，甚至数据的类型也不能确定。这时候该怎么办呢？使用函数重载，如果参数个数变化较大，需要定义的重载函数就变得较多。于是可变形参的函数就派上了用场。下面介绍两种设计方法。

C++11新标准提供的一种方法：如果所有的实参类型相同，可以传递一个名为initializer_list的标准库类型。
C语言提供的省略符(…)形参。在C++中，这种功能一般只用于与C函数交互的接口程序。

1.initializer_list方法

initializer_list是一种标准库类型，用于表示某种特定类型的值的数组。initializer_list也是一种模板类型，其对象的定义与vector一样。和vector不一样的是，initializer_list对象中的元素永远是常量值，而且在使用的时候必须把序列值放在一对花括号内。以sum求和函数进行介绍

#include <iostream>
#include <initializer_list>

void Sum(initializer_list<int> il)
{
    int iSum = 0;
    for(auto beg = il.begin(); beg != il.end(); ++beg)
    {
        iSum += (*beg);
    }

    std::cout << "sum = " << iSum << endl;
}

int main()
{
    // 使用的时候必须把序列值放在一对花括号内
    Sum({3, 2, 4, 1, 5});

    return 0;
}

2.省略符形参

在C语言中，我们最常使用的printf函数就使用了该方法，传入不同个数、类型的参数都能正确的打印出来。C语言标准函式库的stdarg.h头文件定义了提供可变参数函数使用的宏，在C++中使用cstdarg。
要创建一个可变形参函数，必须把省略符(…)放到参数列表后面。函数内部必须定义一个va_list变量，然后使用宏va_start、va_arg和va_end来读取。下面就以一个sum求和函数进行介绍。

#include <iostream>
#include <cstdarg>

using namespace std;

void Sum(int iCount, ...)
{
    int iSum = 0;
    // 声明va_list类型的变量pva_list, 该变量访问变长参数列表中的参数
    va_list pva_list = 0;
    // 初始化变长参数列表，iCount是省略符(...)前的一个参数名，va_start根据此参数，判断列表的起始位置
    // 在本函数中，iCount用于指定参数的个数
    va_start(pval_list, iCount);

    for(int i = 0; i < iCount; i++)
    {
        // 获取变长参数列表中的参数值，int为参数类型，也是宏va_arg的返回类型
        //宏va_arg执行完毕后，会自动改变pva_list，将其指向下一个参数
        int iNum = va_arg(pva_list, int);
        iSum += iNum;
    }

    // 关闭本次对可变参数列表的访问
    va_end(pva_list);

    cout << "sum = "<< iSum << endl;
}