普通的可变参使用
#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;
}
}