第20课 可变参数模板（1）_初识参数包

//example 1:
template<typename T, typename... Args>  //声明Args为模板参数包，省略号位地参数名称的左侧
void Print(T t, Args... args) //声明args为函数参数包，省略号位于参数名称的左侧
{
    cout << t;
    Print(args...); //使用args参数后（注意省略号在右侧），解包后为Print(arg1,arg2,...argN);
}

//example 2:
template<class T>
void printarg(T t){}

template<class ...Args>   //声明Args为模板参数包,
void expand(Args... args) //声明args为函数参数包
{
    int arr[] = {(printarg(args),0)...}; //(printarg(args),0)为逗号表达式，后面加省略号相当
                                         //于：(printarg(args1),0),...(printarg(argsN),0)
}

//example 3:
template<typename ... T> void Wraper(T... t){} //包装器

template<typename T> T printA(T t) //打印参数
{
    cout << t;
    return t;
}

template<typename... Args>
void printArgs(Args... args)
{
    Wraper(printA(args)...); //包扩展解包为：Wrap(printA(arg1),...,printA(argN)); 
                             //注意printA的返回值为参数本身的类型。
}

//example 4:
template <typename First, typename... Rest> //声明Rest模板参数包
struct Sum<First, Rest...>  //Rest前面己经声明好，这里是在使用Rest（省略后在右侧）
{                           //相当于Sum<First, Rest1,...,RestN>
    enum{value = Sum<First>::value + Sum<Rest...>::value;}; //使用Rest（省略后在右侧）
}

//example 5:
template<typename ...Types>  //Types为模板参数包
void func1(std::vector<Types...> v1);  //注意，v1不是函数参数包

template<typename ...Types>  //Types为模板参数包
void func1(std::vector<Types>... v2);  //注意，v2是函数参数包（...应位于“top-level”）

//example 6:
template <typename... A>
class Test : private B<A>...{};  

class Test<X, Y> test;  //<==>class Test<X, Y> : private B<X>, private B<Y>{}

template<typename T1, typename T2> class B{};
template <typename... A>
class Test : private B<A...>{};

class Test<X, Y> test //<==>class Test<X, Y> : private B<X, Y>{}