c++tuple模版元编程分析

c++的tuple可以装载任何的类型,用法示例：

std::tuple<int, char> a(10, 'x');  
std::cout << " " << std::get<0>(a);  
std::cout << " " << std::get<1>(b);  

先上一个极简的tuple实现

#include <stdio.h>

template <typename... Types>
struct mytuple {

};

template <typename T, typename... Types>
struct mytuple<T, Types...> : mytuple<Types...>{
	mytuple(T v, Types... args) : _val(v), mytuple<Types...>(args...) {

	}

	T       _val;
};

template <typename T>
struct mytuple<T> {
	mytuple(T v) : _val(v) {

	}

	T       _val;
};

template <size_t n, typename... Types>
struct mytuple_element {
};

template <size_t n, typename T, typename... Types>
struct mytuple_element<n, T, Types...> {
	typedef typename mytuple_element<n - 1, Types...>::type type;
	typedef typename mytuple_element<n - 1, Types...>::tuple_type tuple_type;
};

template <typename T, typename... Types>
struct mytuple_element<0, T, Types...> {
	typedef T type;
	typedef mytuple<T, Types...> tuple_type;
};

template<size_t n, typename... Types>
typename mytuple_element<n, Types...>::type myget(const mytuple<Types...>& tup) {
	return ((typename mytuple_element<n, Types...>::tuple_type&)tup)._val;
}

int main()
{
	mytuple<int, float, char> vv(1, 2.0f, 'c');
	auto vvv = myget<0>(vv);
	printf("%d\n", vvv);
	auto vv2 = myget<2>(vv);
	printf("%c\n", vv2);
	getchar();
	return 0;
}

主要是两个关键，一个是如何构造，一个是get<n>时如何拆分。

如何构造

下面这个mytule会继承另一个模板mytule，并且把模板的参数进行拆分

mytuple<T, Types...> : mytuple<Types...>

假如是tuple<int,float,char>将会继承tuple<float,char>,tuple<float,char>又会继承tuple<char>,因为是继承，所以子类tuple<int,float,char>跟父类是可以转换的。递归的终点是tuple<>。

最终是一个包含的状态

如何拆分

template<size_t n, typename... Types>
typename mytuple_element<n, Types...>::type myget(const mytuple<Types...>& tup) {
	return ((typename mytuple_element<n, Types...>::tuple_type&)tup)._val;
}

return的返回值是获取mytuple_element的tuple_type强转成tuple类型。mytuple_element有两个类模板

struct mytuple_element<n, T, Types...> {
	typedef typename mytuple_element<n - 1, Types...>::type type;
	typedef typename mytuple_element<n - 1, Types...>::tuple_type tuple_type;
};

template <typename T, typename... Types>
struct mytuple_element<0, T, Types...> {
	typedef T type;
	typedef mytuple<T, Types...> tuple_type;
};

这2个模板是递归的，第一个接受参数，一直递归N-1直到参数直到为0最终获取到T的类型。

栗子：定义一个tuple<int,float,char>,调用get<2>(tuple)

第一次

mytuple_element<2,int,Types...(float,char)>=> mytuple_element<1,Types...(float,char)>,int被舍弃

第二次

mytuple_element<1, float ,Types...(char)>   => mytuple_element<0, char>,float被舍弃

N至此为0，然后此时mytuple_element<0, char>对应了mytuple_element<0, T, Types...>模板类

最终返回mutuple<char>tuple类型,因为子类可以转化为父类，tuple<int,float,char>转化成mutuple<char>tuple，然后调用mutuple<char>tuple(tuple);最终取得char对应的值。

其实不用get方法,可以通过强转的方式获得指定的值，比如想获得double的值

	mytuple<int, double, char> m(10,99.99,'b');
	mytuple<double, char> m1 = (mytuple<double, char>)m;
	std::cout << m1._val;

输出99.99。

参考文章：

http://www.newsmth.net/bbstcon.php?board=CPlusPlus&gid=399280

https://blog.csdn.net/libgod/article/details/16980559

http://www.jb51.net/article/70740.htm

https://www.cnblogs.com/flytrace/p/3574647.html