C++ 可变参模板

可变模版参数（variadic templates）
是C++11新增的最强大的特性之一，它对参数进行了高度泛化，它能表示0到任意个数、任意类型的参数。

---

模板参数包

template<typename... A> class Car;  
//typename...就表示一个模板参数包。可以这么来实例化模板：
Car<int, char> car; 
 

---

包扩展

template<typename... a> class Car {};
template<typename... A> class BMW : public Car<A...> { };
BMW<int, char> car;
// A...称之为包扩展(pack extension)，包扩展是可以传递的。
 

---

特性

template <class... T>
void f(T... args)
{    
    cout << sizeof...(args) << endl; //打印变参的个数
}

f();        //0
f(1, 2);    //2
f(1, 2.5, "");    //3
 

---

可变参数模板函数展开参数包

1. 递归函数方式展开

//递归终止函数   特化的模板函数
void print() {
    cout << "empty" << endl;
}
//展开函数
template <class T, class... Args>
void print(T head, Args... rest) {
    cout << "parameter " << head << endl;
    print(rest...);
}

//sum例子
template<typename T>
T sum(T t)
{
    return t;
}
template<typename T, typename ... Types>
T sum (T first, Types ... rest)
{
    return first + sum<T>(rest...);
}