1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
#ifndef INCLUDED_ERASE_H_
#define INCLUDED_ERASE_H_
#include "append.h"
//ERASEIDX
template <size_t idx, typename TypeList>
struct EraseIdx;
//=
//ERASEIDXEMPTY
template <size_t idx>
struct EraseIdx<idx, TypeList<>>
{
typedef TypeList<> List;
};
//=
//ERASEIDXZERO
template <typename EraseType, typename ...Tail>
struct EraseIdx<0, TypeList<EraseType, Tail...>>
{
typedef TypeList<Tail...> List;
};
//=
//ERASEIDXNEXT
template <size_t idx, typename Head, typename ...Tail>
struct EraseIdx<idx, TypeList<Head, Tail...>>
{
typedef typename Prefix<
Head,
typename EraseIdx<idx - 1, TypeList<Tail...>>::List
>::List List;
};
//=
//ERASEPLAIN
template <typename EraseType, typename TypeList>
struct Erase;
//=
//ERASEEMPTY
template <typename EraseType>
struct Erase<EraseType, TypeList<>>
{
typedef TypeList<> List;
};
//=
//ERASEHEAD
template <typename EraseType, typename ...Tail>
struct Erase<EraseType, TypeList<EraseType, Tail...>>
{
typedef TypeList<Tail...> List;
};
//=
//ERASENEXT
template <typename EraseType, typename Head, typename ...Tail>
struct Erase<EraseType, TypeList<Head, Tail...>>
{
typedef typename
Prefix<Head,
typename Erase<EraseType, TypeList<Tail...>>::List
>::List List;
};
//=
//ERASEALL
template <typename EraseType, typename TypeList>
struct EraseAll: public Erase<EraseType, TypeList>
{};
//=
//ERASEALLTYPES
template <typename EraseType, typename ...Tail>
struct EraseAll<EraseType, TypeList<EraseType, Tail...>>
{
typedef typename EraseAll<EraseType, TypeList<Tail...>>::List List;
};
//=
//ERASEALLNEXT
template <typename EraseType, typename Head, typename ...Tail>
struct EraseAll<EraseType, TypeList<Head, Tail...>>
{
typedef typename Prefix<
Head,
typename EraseAll<EraseType, TypeList<Tail...>>::List
>::List List;
};
//=
//ERASEDUP
template <typename TypeList>
struct EraseDup;
//=
//ERASEDUPEMPTY
template <>
struct EraseDup<TypeList<>>
{
typedef TypeList<> List;
};
//=
//ERASEDUPHEAD
template <typename Head, typename ...Tail>
struct EraseDup<TypeList<Head, Tail...>>
{
typedef typename EraseDup<TypeList<Tail...>>::List UniqueTail;
typedef typename Erase<Head, UniqueTail>::List NewTail;
typedef typename Prefix<Head, NewTail>::List List;
};
//=
#endif
|
