]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | // Boost.Range library |
2 | // | |
3 | // Copyright Jonathan Turkanis 2005. Use, modification and | |
4 | // distribution is subject to the Boost Software License, Version | |
5 | // 1.0. (See accompanying file LICENSE_1_0.txt or copy at | |
6 | // http://www.boost.org/LICENSE_1_0.txt) | |
7 | // | |
8 | // For more information, see http://www.boost.org/libs/range/ | |
9 | // | |
10 | ||
11 | ||
12 | #ifndef BOOST_RANGE_DETAIL_REMOVE_BOUNDS_HPP | |
13 | #define BOOST_RANGE_DETAIL_REMOVE_BOUNDS_HPP | |
14 | ||
15 | #include <boost/config.hpp> // MSVC, NO_INTRINSIC_WCHAR_T, put size_t in std. | |
16 | #include <cstddef> | |
17 | #include <boost/mpl/eval_if.hpp> | |
18 | #include <boost/mpl/identity.hpp> | |
19 | #include <boost/type_traits/is_same.hpp> | |
20 | ||
21 | namespace boost | |
22 | { | |
23 | namespace range_detail | |
24 | { | |
25 | ||
26 | template< typename Case1 = mpl::true_, | |
27 | typename Type1 = mpl::void_, | |
28 | typename Case2 = mpl::true_, | |
29 | typename Type2 = mpl::void_, | |
30 | typename Case3 = mpl::true_, | |
31 | typename Type3 = mpl::void_, | |
32 | typename Case4 = mpl::true_, | |
33 | typename Type4 = mpl::void_, | |
34 | typename Case5 = mpl::true_, | |
35 | typename Type5 = mpl::void_, | |
36 | typename Case6 = mpl::true_, | |
37 | typename Type6 = mpl::void_, | |
38 | typename Case7 = mpl::true_, | |
39 | typename Type7 = mpl::void_, | |
40 | typename Case8 = mpl::true_, | |
41 | typename Type8 = mpl::void_, | |
42 | typename Case9 = mpl::true_, | |
43 | typename Type9 = mpl::void_, | |
44 | typename Case10 = mpl::true_, | |
45 | typename Type10 = mpl::void_, | |
46 | typename Case11 = mpl::true_, | |
47 | typename Type11 = mpl::void_, | |
48 | typename Case12 = mpl::true_, | |
49 | typename Type12 = mpl::void_, | |
50 | typename Case13 = mpl::true_, | |
51 | typename Type13 = mpl::void_, | |
52 | typename Case14 = mpl::true_, | |
53 | typename Type14 = mpl::void_, | |
54 | typename Case15 = mpl::true_, | |
55 | typename Type15 = mpl::void_, | |
56 | typename Case16 = mpl::true_, | |
57 | typename Type16 = mpl::void_, | |
58 | typename Case17 = mpl::true_, | |
59 | typename Type17 = mpl::void_, | |
60 | typename Case18 = mpl::true_, | |
61 | typename Type18 = mpl::void_, | |
62 | typename Case19 = mpl::true_, | |
63 | typename Type19 = mpl::void_, | |
64 | typename Case20 = mpl::true_, | |
65 | typename Type20 = mpl::void_> | |
66 | struct select { | |
67 | typedef typename | |
68 | mpl::eval_if< | |
69 | Case1, mpl::identity<Type1>, mpl::eval_if< | |
70 | Case2, mpl::identity<Type2>, mpl::eval_if< | |
71 | Case3, mpl::identity<Type3>, mpl::eval_if< | |
72 | Case4, mpl::identity<Type4>, mpl::eval_if< | |
73 | Case5, mpl::identity<Type5>, mpl::eval_if< | |
74 | Case6, mpl::identity<Type6>, mpl::eval_if< | |
75 | Case7, mpl::identity<Type7>, mpl::eval_if< | |
76 | Case8, mpl::identity<Type8>, mpl::eval_if< | |
77 | Case9, mpl::identity<Type9>, mpl::if_< | |
78 | Case10, Type10, mpl::void_ > > > > > > > > > | |
79 | >::type result1; | |
80 | typedef typename | |
81 | mpl::eval_if< | |
82 | Case11, mpl::identity<Type11>, mpl::eval_if< | |
83 | Case12, mpl::identity<Type12>, mpl::eval_if< | |
84 | Case13, mpl::identity<Type13>, mpl::eval_if< | |
85 | Case14, mpl::identity<Type14>, mpl::eval_if< | |
86 | Case15, mpl::identity<Type15>, mpl::eval_if< | |
87 | Case16, mpl::identity<Type16>, mpl::eval_if< | |
88 | Case17, mpl::identity<Type17>, mpl::eval_if< | |
89 | Case18, mpl::identity<Type18>, mpl::eval_if< | |
90 | Case19, mpl::identity<Type19>, mpl::if_< | |
91 | Case20, Type20, mpl::void_ > > > > > > > > > | |
92 | > result2; | |
93 | typedef typename | |
94 | mpl::eval_if< | |
95 | is_same<result1, mpl::void_>, | |
96 | result2, | |
97 | mpl::identity<result1> | |
98 | >::type type; | |
99 | }; | |
100 | ||
101 | template<typename T> | |
102 | struct remove_extent { | |
103 | static T* ar; | |
104 | BOOST_STATIC_CONSTANT(std::size_t, size = sizeof(*ar) / sizeof((*ar)[0])); | |
105 | ||
106 | typedef typename | |
107 | select< | |
108 | is_same<T, bool[size]>, bool, | |
109 | is_same<T, char[size]>, char, | |
110 | is_same<T, signed char[size]>, signed char, | |
111 | is_same<T, unsigned char[size]>, unsigned char, | |
112 | #ifndef BOOST_NO_INTRINSIC_WCHAR_T | |
113 | is_same<T, wchar_t[size]>, wchar_t, | |
114 | #endif | |
115 | is_same<T, short[size]>, short, | |
116 | is_same<T, unsigned short[size]>, unsigned short, | |
117 | is_same<T, int[size]>, int, | |
118 | is_same<T, unsigned int[size]>, unsigned int, | |
119 | is_same<T, long[size]>, long, | |
120 | is_same<T, unsigned long[size]>, unsigned long, | |
121 | is_same<T, float[size]>, float, | |
122 | is_same<T, double[size]>, double, | |
123 | is_same<T, long double[size]>, long double | |
124 | >::type result1; | |
125 | typedef typename | |
126 | select< | |
127 | is_same<T, const bool[size]>, const bool, | |
128 | is_same<T, const char[size]>, const char, | |
129 | is_same<T, const signed char[size]>, const signed char, | |
130 | is_same<T, const unsigned char[size]>, const unsigned char, | |
131 | #ifndef BOOST_NO_INTRINSIC_WCHAR_T | |
132 | is_same<T, const wchar_t[size]>, const wchar_t, | |
133 | #endif | |
134 | is_same<T, const short[size]>, const short, | |
135 | is_same<T, const unsigned short[size]>, const unsigned short, | |
136 | is_same<T, const int[size]>, const int, | |
137 | is_same<T, const unsigned int[size]>, const unsigned int, | |
138 | is_same<T, const long[size]>, const long, | |
139 | is_same<T, const unsigned long[size]>, const unsigned long, | |
140 | is_same<T, const float[size]>, const float, | |
141 | is_same<T, const double[size]>, const double, | |
142 | is_same<T, const long double[size]>, const long double | |
143 | > result2; | |
144 | typedef typename | |
145 | mpl::eval_if< | |
146 | is_same<result1, mpl::void_>, | |
147 | result2, | |
148 | mpl::identity<result1> | |
149 | >::type type; | |
150 | }; | |
151 | ||
152 | } // namespace 'range_detail' | |
153 | ||
154 | } // namespace 'boost' | |
155 | ||
156 | ||
157 | #endif |