模板与泛型编程值typelist实现

typelist这个概念比较系统的出现再《c++设计新思维》一书，用来操作一大堆类型的c++容器，就像c++标准库中的list容器能够为数值提供各种基本操作一样。
typelist简单来说就是一个类型容器，能够对类型提供一系列的操作。本节内容基于c++11标准实现一个typelist.
下面看看源码：

namespace TPLTS
{
    
	template<typename...T>
	class typelist
	{
    

	};

	template<typename TPLT>
	class front;

//写特化版本时，先书写front后面尖括号中内容，这个内容必须遵从泛化版本中template中的内容来书写，回头
//再根据尖括号中用到的内容填补template中内容
	template<typename FirstItemm, typename...OtherItems>
	class front<typelist<FirstItemm, OtherItems...>>
	{
    
	public:
		using type = FirstItemm;
	};

	template<typename TPLT>
	class size;

	template<typename...T>
	class size<typelist<T...>>
	{
    
	public:
		static const inline int value = sizeof...(T);
	};

	template<typename TPLT>
	class pop_front;

	template<typename FirstItem,typename...OtherItems>
	class pop_front<typelist<FirstItem, OtherItems...>>
	{
    
	public:
		using type = typelist<OtherItems...>;
	};

	template<typename TPLT,typename NewItem>
	class push_front;

	template<typename...T,typename NewItem>
	class push_front<typelist<T...>,NewItem>
	{
    
	public:
		using type = typelist<NewItem, T...>;
	};

	template<typename TPLT, typename NewItem>
	class push_back;

	template<typename...T, typename NewItem>
	class push_back<typelist<T...>, NewItem>
	{
    
	public:
		using type = typelist<T..., NewItem>;
	};

	template<typename TPLTS,typename NewItem>
	class replace_front;

	template<typename FirstItem,typename...T,typename NewItem>
	class replace_front<typelist<FirstItem,T...>, NewItem>
	{
    
	public:
		using type = typelist<NewItem, T...>;
	};

	template<typename TPLTS>
	class is_empty
	{
    
	public:
		static const inline bool value = false;
	};

	template<>
	class is_empty<typelist<>>
	{
    
	public:
		static const inline bool value = true;
	};

}


void main()
{
    
	using tl = TPLTS::typelist<int, double, short, float>;
	cout << typeid(TPLTS::front<tl>::type).name() << endl;

	cout << TPLTS::size<tl>::value<< endl;

	cout << typeid(TPLTS::pop_front<tl>::type).name() << endl;

	cout << typeid(TPLTS::push_front<tl, long long>::type).name() << endl;

	cout << typeid(TPLTS::push_back<tl, long long>::type).name() << endl;

	cout << typeid(TPLTS::replace_front<tl, char>::type).name() << endl;

	cout << TPLTS::is_empty<tl>::value << endl;

	using t2 = TPLTS::typelist<>;
	cout << TPLTS::is_empty<t2>::value << endl;

	system("pause");
}

结果：

从上面的代码可以看出类模板typelist内没有任何数据，对typelist的任何操作都会发生在编译器。