可变参数模板

可变参数模板包括可变参数函数模板和可变参数类模板。

可变参数函数模板

可变参数函数模板通常是递归的。第一步调用处理包中的第一个实参，然后用剩余实参调用自身。
在我们的print函数中，每次递归调用将第二个实参打印到第一个实参表示的流中。为了终止递归，我们还需要定义一个非可变参数的print函数，接受一个流和一个对象。

//用来终止递归并打印最后一个元素的函数
//该函数必须定义在可变参数版本的print定义之前声明，否则可变参数版本会无限递归
template <typename T>
ostream &print(ostream &os, const T &t)
{
    return os << t;
}

//包中除了最后一个元素之外的其他元素都会调用这个版本的print
template <typename T, typename... Args>
ostream &print(ostream &os, const T &t, const Args&... rest)  //扩展Args
{
    os << t << ", ";    //打印第一个实参
    return print(os, rest...); //递归调用，打印其他实参，扩展rest
}

可变参数类模板

可变参数类模板的展开通常需要定义两到三个类。下面实现C++11标准库简化版本的tuple可变参数类模板：

namespace variadic_template
{
//前向声明
template<typename... Values> class tuple;

//递归终止，参数个数为零的空tuple
template<> class tuple<> {};

//基本定义
template<typename Head, typename... Tail>
class tuple<Head, Tail...> : private tuple<Tail...>
{
public:
    typedef tuple<Tail...> base_type;
    tuple(){}
    tuple(Head v, Tail... tails)
    //base_type(tails...)构造基类对象，必须位于最前面
    //m_head(v), base_type(tails...) {} 编译错误
    :base_type(tails...), m_head(v){ }

    Head head() {return m_head;}
    base_type& tail() {return *this;}
protected:
    Head m_head;
};
}

void class_variadic_template()
{
    using namespace variadic_template;
    tuple<int, float, std::string> t(41, 1.23, "hello");
    std::cout << t.head() << std::endl;
    std::cout << t.tail().head() << std::endl;
    std::cout << t.tail().tail().head() << std::endl;
}

如下的继承声明实现了递归继承关系：

template<typename Head, typename... Tail>
class tuple<Head, Tail...> : private tuple<Tail...>

tuple<int, float, std::string> t(41, 1.23, "hello");声明的整个继承关系如下：