C++学习笔记----可变参数模板

可变参数模板的用法
可变参数模板也就是模板参数数目和类型可变，我们用参数包 来传递多个可变的参数。我们用class…和typename…来表示一个参数包，参数包表示零个或者多个参数的列表。

/*
Args 表示一个模板参数包，rest表示一个函数模板参数包
*/
template<typename T,typename... Args>
void fun(const T &t,const Args &...rest);
int i=10;
double d=5.0;
string s(hello);
fun(i,s,49,d);//包中有三个参数s,49,d
fun(s,i,d);包中有两个参数i，d
fun(s);//空包

sizeof…()
sizeof…(）函数返回函数参数包或者模板参数包中的参数的数量。

可变参数模板实例
可变参数模板通常是用于递归函数的，我们将编写一个函数依次输出参数包中的各个数据，我们采用递归的方式经输出，首先定义一个普通的参数模板作为递归函数的出口，递归出口要定义在可变参数模板的前面。

//递归函数出口，需要定义在可变参数模板的前面
template<typename T>
ostream& print(ostream &os,const T &t)
{
    os << t;
    return os;
}
//可变参数模板，
template<typename T,typename... Args>
ostream& print(ostream &os,const T &t,const Args&... rest)
{
    os << t <<" "<<sizeof...(Args)<<" "<< sizeof...(rest) << endl;
    return print(os, rest...);
}

int main()
{
    string s("this is a test");
    int i = 10;
    print(cout,i,s,42);

    return 0;

上述参数模板在进行递归调用时我们仅仅传入了两个参数，一个输出流对象的引用，和一个参数包，因为函数模板中有三个参数，所以rest…参数包中的第一个参数将会匹配到const T &t参数的位置，因此每递归调用一次参数包中的值就会少一个。直到参数包中只有有一个参数是将会调用非可变参数的模板函数，这时函数递归结束。
函数递归执行如下：
可变参数扩展
可以对可变参数的包做出扩展，其扩展操作如下：

template<typename T>
T& debug_rep( T &t) 
{
    return t;
}

template<typename...Args>
ostream& erroMsg(ostream &os,const Args&...rest)
{
    return print(os,debug_rep(rest)...);
}

对之前的例子做出如上的两个函数模板的声明。现在我们可以进行如下的操作：

int main()
{
    string s("this is a test");
    int i = 10;
    erroMsg(cout,i,s,42);

    return 0;
}

上述的erroMsg(cout,i,s,42);相当于调用
print(cout,debug_rep(i),debug_rep(s),debug_rep(42));
上述案例中的print(os,debug_rep(rest)…)相当于对参数包rest中的每个参数调用debug_rep();