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

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

#include 
using namespace std;


templateclass Tuple;
template<>class Tuple<> {};
template
class Tuple
	:private Tuple	// 私有继承自Tuple
{
	using inherited = Tuple; //定义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
ostream& operator<<(ostream& os, Tuple& tpe) // 当元素个数大于1时调用该方法
{
	os <<  tpe.head() << ",";
	operator<<(os, tpe.tail()); // 将tpe的基类作为输出的对象 递归调用输出函数
	return os;
}

template
ostream& operator<<(ostream& os, Tuple& tpe) // 当元素个数为 1 是调用该方法
{
	os  << tpe.head();
	return os;
}


int main(void)
{
	Tuple mt(10, "fsdf", 23.);
	cout << mt.head() << endl; // 输出: 10
	cout << (mt.tail()).head() << endl; // 输出: fsdf
	cout << ((mt.tail()).tail()).head() << endl; //输出: 23

	cout << "--------------------" << endl;

	cout << "Tuple<" << mt << ">" << endl; //输出: Tuple<10, fsdf, 23>

	system("pause");
	return 0;
}

其中

  Tuple 继承自 Tuple

  Tuple 继承自 Tuple

  Tuple 继承自 Tuple<>