C++11可变参数类模板（三）

        C++11 标准中，类模板中的模板参数也可以是一个可变参数。C++ 11 标准提供的 typle 元组类就是一个典型的可变参数模板类，它的定义如下

template <typename... Types>
class tuple;

       和固定模板参数的类不同，typle 模板类实例化时，可以接收任意数量、任意类型的模板参数，例如：

std:tuple<> tp0;
std::tuple<int> tp1 = std::make_tuple(1);
std::tuple<int, double> tp2 = std::make_tuple(1, 2.34);
std::tuple<int, double, string> tp3 = std::make_tuple(1, 2.34, "Hello, World!");

如下代码展示了一个支持可变参数的类模板：

        程序中，TestTemplateFun模板参数中的 Tail 就是一个参数包，解包的方式是以“递归+继承”的方式实现的。具体来讲，TestTemplateFun<Head, Tail...> 类实例化时，由于其继承自 TestTemplateFun<Tail...> 类，因此父类也会实例化，一直递归至 Tail 参数包为空，此时会调用模板参数列表为空的 TestTemplateFun模板类。

#include<windows.h>
#include<string>
#include <iostream>
#include <cstdarg>
using namespace std;

#include <iostream>
using namespace std;

//声明模板类TestTemplateFun
template<typename... Values> class TestTemplateFun;
//继承式递归的出口
template<> class TestTemplateFun<> {};
//以继承的方式解包
template<typename Head, typename... Tail>
class TestTemplateFun<Head, Tail...>
    : private TestTemplateFun<Tail...>
{
public:
    demo(Head v, Tail... vtail) : m_head(v), demo<Tail...>(vtail...) {
        dis_head();
    }
    void dis_head() { std::cout << m_head << std::endl; }

protected:
    Head m_head;
};

int main() {
    TestTemplateFun<int> t1(1);
    TestTemplateFun<int, float> t2(1, 2.34);
    TestTemplateFun<int, float, std::string> t3(1, 2.34, "Hello, World!");
	system("pause");
    return 0;
}