C++模板编程->嵌套实现元组

/*  通过嵌套元组 */
#include <iostream>
#include <string>
using namespace std;

template <typename T,typename N >   //构建元组的类模板
struct tuple
{
	T value ;
	N next;
	tuple(T const &v ,N const &n ):value(v),next(n){}
};

template<typename T,typename N>    //构建向元组增加函数的函数模板
tuple<T,N>push(T const &v,N const &n)
{
	return tuple<T,N>(v,n);
}

int  main(int argc, char const *argv[])
{
	//用typedef构造元组类型
	typedef tuple<int,char>tuple2;
	typedef tuple<float,tuple2>tuple3;
	typedef tuple<string,tuple3>tuple4;
	//构造4元素的元组
	tuple4 tup4=push(string("welcom"),push(.1f,push(1,'a')));
	//访问元组任意元素
	cout<<tup4.value<<endl<<tup4.next.value<<endl<<tup4.next.next.value<<endl<<tup4.next.next.next<<endl;
	system("pause");
	return 0;
}

这就是简单而没有额外储存开销的元组实现方法之一。但这种方法也有其不足，就是在构造元组时存在元素的重复复制问题。例如上例中元组的第四个元素字符'a'，在嵌套调用push函数模板构造元组时，每调用一次push就被复制一次。当所存元素数据类型比较复杂时，无疑这种重复复制对程序性能的影响不可忽视。