/* 通过嵌套元组 */
#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就被复制一次。当所存元素数据类型比较复杂时,无疑这种重复复制对程序性能的影响不可忽视。