C++ tuple(元组) 的实现/原理

C++最新中引入了 tuple， 可以定义任意多个类型的对象的组合, 关于C++ tuple 的实现，可以参照如下代码实例来理解tuple实现的原理。

#include <iostream>
using namespace std;


template<typename... Values>class Tuple;
template<>class Tuple<> {};
template<typename Head, typename... Tail>
class Tuple<Head, Tail...>
	:private Tuple<Tail...>	// 私有继承自Tuple<Tail...>
{
	using inherited = Tuple<Tail...>; //定义inherited 为 基类类型
public:
	Tuple(){}  
	Tuple(Head v, Tail... vtail) // 将第一个元素 赋值给m_head, 其余传给基类
		:m_head(v), inherited(vtail...)
	{}

	Head head() { return m_head; }  // 返回元组的第一个元素
	inherited& tail() { return *this; } // 返回该元组的基类引用
protected:
	Head m_head;
};


template<typename Head, typename... Tail>
ostream& operator<<(ostream& os, Tuple<Head, Tail...>& tpe) // 当元素个数大于1时调用该方法
{
	os <<  tpe.head() << ",";
	operator<<(os, tpe.tail()); // 将tpe的基类作为输出的对象