C++可变参模板使用(实现求最大值)、tuple实现、type_traits的使用、去除const模板的使用、initializer_list的使用

普通的可变参使用

#include <iostream>
using namespace std;


template <class T>
void printd(T a)
{
	cout << a << endl;
}
template<class T, class...Args>
void printd(T a, Args... last)
{
	cout << a << endl;
	printd(last...);
}
int main()
{
	printd(1, 2, 3, 4, 5, 6, 7, 8, 9, 7, 10);
	return 0;
}

下面这端代码是实现递归求最大值的函数：

template<typename T>
T maxele(T a)
{
	return a;
}

template<typename T, typename... Args>
T maxele(T a, Args... arg)
{
	return max(a, maxele(arg...));
}

tuple的实现

下面是递归继承的代码实现：

tuple使用的递归变参模板的使用
本例的技术包括：模板特化的使用和变参模板递归的使用。

template <typename... values> class MyTuple;
template<>
class MyTuple<>
{ };

template<typename Head,typename... Tail>
class MyTuple<Head, Tail...> : private MyTuple<Tail...>
{
	using inherited = MyTuple<Tail...>;
public:
	MyTuple(){}
	MyTuple(Head v, Tail...vTail):m_head(v),inherited(vTail...){}
	typename Head head() { return m_head; }
	inherited& tail() { return *this; }
private:
	Head m_head;
};

下面是tuple的递归复合版本：

template<typename... Args>
class MyTuple1;
template<>
class MyTuple1<>
{

};
template<typename T, typename... Args>
class MyTuple1<T, Args...>
{
	typedef MyTuple1<Args...> m_tail;
private:
	T m_head;
	m_tail tail;
public:
	MyTuple1(){}
	MyTuple1(T head, Args... tail):m_head(head),tail(tail...){}
	T& getHead() { return m_head; }
	m_tail& getTail() { return tail; }
};

一些可使用的type_traits使用：

::value用它来进行取值操作。

去除const的模板使用

去除const模板的使用
需要注意的是const可以在后面也可以在前面，就是可以这样使用：
<const T> <T const>都可以 使用::type进行取值。

template <typename T>
struct m_remove_const
{
	typedef T type;
};
template <typename T>
struct m_remove_const<const T>
{
	typedef T type;
};
template <typename T>
struct Add_const
{
	using type = const T;
};

initializer_list（统一初始化）

C++初始化可以使用{1，2，3}进行初始化，其内部是这样的统一初始化的使用。

void show(initializer_list<int>ls)
{
	for (auto& i : ls)
	{
		cout << i << endl;
	}
}