aboutsummaryrefslogtreecommitdiffstats
path: root/src/bindings/eina_cxx/eina_integer_sequence.hh
blob: 854bb8f3d0a5571b59f1af390967af0980634fa3 (plain) (blame)
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
#ifndef EINA_CXX_EINA_INTEGER_SEQUENCE_HH
#define EINA_CXX_EINA_INTEGER_SEQUENCE_HH

/**
 * @addtogroup Eina_Cxx_Data_Types_Group
 *
 * @{
 */

namespace efl { namespace eina {

/**
 * @defgroup Eina_Cxx_Integer_Sequence_Group Integer Sequence
 * @ingroup Eina_Cxx_Data_Types_Group
 *
 * @{
 */

/**
 * Compile-time sequence of integers.
 */
template <typename T, T... Ints>
struct integer_sequence
{
  typedef T value_type; /**< Type of the integers. */

  /**
   * @brief Get the number of elements in the sequence.
   * @return <tt>std::size_t</tt> representing the sequence size.
   */
  static constexpr std::size_t size() { return sizeof...(Ints); }
  typedef integer_sequence<T, Ints...> type; /**< Type for the sequence instantiation. */
};

template<class S1, class S2> struct concat;

/**
 * Compile-time concatenation of two integer sequences.
 */
template<typename T, T... I1, T... I2>
struct concat<integer_sequence<T, I1...>, integer_sequence<T, I2...> >
  : integer_sequence<T, I1..., (sizeof...(I1)+I2)...> {};

template<class S1, class S2>
using Concat = typename concat<S1, S2>::type;

template<typename T, T N> struct gen_seq;

/**
 * Make a compile time sequence of integers from @c 0 to <tt>N-1</tt>.
 */
template<typename T, T N> using make_integer_sequence = typename gen_seq<T, N>::type;

template<typename T, T N>
struct gen_seq : Concat<make_integer_sequence<T, N/2>
                        , make_integer_sequence<T, N - N/2>>{};

template<> struct gen_seq<std::size_t, 0> : integer_sequence<std::size_t>{};
template<> struct gen_seq<std::size_t, 1> : integer_sequence<std::size_t, 0>{};

/**
 * Compile time sequence of indexes.
 */
template <std::size_t... I>
using index_sequence = integer_sequence<std::size_t, I...>;

/**
 * Make a compile time sequence of indexes from @c 0 to <tt>N-1</tt>.
 */
template <std::size_t I>
using make_index_sequence = make_integer_sequence<std::size_t, I>;

template <typename T, typename U>
struct pop_integer_sequence_t;

template <typename T>
struct pop_integer_sequence_t<integer_sequence<T>, integer_sequence<T> >
{
  typedef integer_sequence<T> type;
};

template <typename T, T S0, T... S>
struct pop_integer_sequence_t<integer_sequence<T>, integer_sequence<T, S0, S...> >
{
  typedef integer_sequence<T, S...> type;
};

template <typename T, T S0, T... S>
struct pop_integer_sequence_t<integer_sequence<T, S0, S...>, integer_sequence<T> >
{
  typedef integer_sequence<T> type;
};

template <typename T, T S, T... Ss1, T... Ss2>
struct pop_integer_sequence_t<integer_sequence<T, S, Ss1...>, integer_sequence<T, S, Ss2...> >
  : pop_integer_sequence_t<integer_sequence<T, Ss1...>, integer_sequence<T, Ss2...> >
{
};

template <typename T, typename U>
using pop_integer_sequence = typename pop_integer_sequence_t<T, U>::type;

/**
 * @}
 */

} }

/**
 * @}
 */

#endif