C++Primer-可变参数模板

可变函数模板是一个接受可变数目参数的模板函数或模板类，可变数目的参数称为参数包，参数包分为模板参数包或者函数参数包，使用一个省略号来指出一个参数表示一个包，class...或typename...指出后面的参数表示零个或者多个类型的列表

template <typename T, typename... Args>
void foo(const T &t, const Args& ... rest);
//Args是一个模板参数包，rest是一个函数参数包，均表示零个或多个参数
int i,double d, string s;
foo(i, s, 42, d);//包中有s,42,d
foo(s, 42, "hi");//包中有42，“hi”

可以使用sizeof...()获得包中有多少元素

template<typename T>
ostream& print(ostream &os, const T &t)
{
    return os << t;
}
template<typename T, typename... Args>
ostream& print(ostream &os, const T &t, const Args& ... rest)
{
    os << t << ",";
    return print(os, rest...);//递归只传递两个参数，结果导致参数包中的第一个参数变成要打印的t
}

包扩展
包扩展的本质是将设定的模式扩展到其他参数

template<typename ... Args>
ostream& errorMsg(ostream &os, const Args&... rest)
{
    return print(os, debug_rep(rest)...);//使用debug_rep调用多次rest，包扩展
}

转发参数包

class StrVec
{
public:
    template<class... Args> void emplace_back(Args&&...);
};
template<class... Args>
void StrVec::emplace_back(Args&&...args)
{
    chk_n_alloc();
    alloc.construct(first_free++, std::forward<Args>(args)...);
}