1 #ifndef BOOST_MP11_FUNCTION_HPP_INCLUDED
2 #define BOOST_MP11_FUNCTION_HPP_INCLUDED
3 
4 // Copyright 2015-2019 Peter Dimov.
5 //
6 // Distributed under the Boost Software License, Version 1.0.
7 //
8 // See accompanying file LICENSE_1_0.txt or copy at
9 // http://www.boost.org/LICENSE_1_0.txt
10 
11 #include <boost/mp11/integral.hpp>
12 #include <boost/mp11/utility.hpp>
13 #include <boost/mp11/detail/mp_list.hpp>
14 #include <boost/mp11/detail/mp_count.hpp>
15 #include <boost/mp11/detail/mp_plus.hpp>
16 #include <boost/mp11/detail/mp_min_element.hpp>
17 #include <boost/mp11/detail/mp_void.hpp>
18 #include <boost/mp11/detail/config.hpp>
19 #include <type_traits>
20 
21 namespace boost
22 {
23 namespace mp11
24 {
25 
26 // mp_void<T...>
27 //   in detail/mp_void.hpp
28 
29 // mp_and<T...>
30 #if BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1910 )
31 
32 namespace detail
33 {
34 
35 template<class... T> struct mp_and_impl;
36 
37 } // namespace detail
38 
39 template<class... T> using mp_and = mp_to_bool< typename detail::mp_and_impl<T...>::type >;
40 
41 namespace detail
42 {
43 
44 template<> struct mp_and_impl<>
45 {
46     using type = mp_true;
47 };
48 
49 template<class T> struct mp_and_impl<T>
50 {
51     using type = T;
52 };
53 
54 template<class T1, class... T> struct mp_and_impl<T1, T...>
55 {
56     using type = mp_eval_if< mp_not<T1>, T1, mp_and, T... >;
57 };
58 
59 } // namespace detail
60 
61 #else
62 
63 namespace detail
64 {
65 
66 template<class L, class E = void> struct mp_and_impl
67 {
68     using type = mp_false;
69 };
70 
71 template<class... T> struct mp_and_impl< mp_list<T...>, mp_void<mp_if<T, void>...> >
72 {
73     using type = mp_true;
74 };
75 
76 } // namespace detail
77 
78 template<class... T> using mp_and = typename detail::mp_and_impl<mp_list<T...>>::type;
79 
80 #endif
81 
82 // mp_all<T...>
83 // https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86355
84 #if BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1920 ) || BOOST_MP11_WORKAROUND( BOOST_MP11_GCC, != 0 )
85 
86 template<class... T> using mp_all = mp_bool< mp_count_if< mp_list<T...>, mp_not >::value == 0 >;
87 
88 #else
89 
90 template<class... T> using mp_all = mp_bool< mp_count< mp_list<mp_to_bool<T>...>, mp_false >::value == 0 >;
91 
92 #endif
93 
94 // mp_or<T...>
95 namespace detail
96 {
97 
98 template<class... T> struct mp_or_impl;
99 
100 } // namespace detail
101 
102 template<class... T> using mp_or = mp_to_bool< typename detail::mp_or_impl<T...>::type >;
103 
104 namespace detail
105 {
106 
107 template<> struct mp_or_impl<>
108 {
109     using type = mp_false;
110 };
111 
112 template<class T> struct mp_or_impl<T>
113 {
114     using type = T;
115 };
116 
117 template<class T1, class... T> struct mp_or_impl<T1, T...>
118 {
119     using type = mp_eval_if< T1, T1, mp_or, T... >;
120 };
121 
122 } // namespace detail
123 
124 // mp_any<T...>
125 // https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86356
126 #if BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1920 ) || BOOST_MP11_WORKAROUND( BOOST_MP11_GCC, != 0 )
127 
128 template<class... T> using mp_any = mp_bool< mp_count_if< mp_list<T...>, mp_to_bool >::value != 0 >;
129 
130 #else
131 
132 template<class... T> using mp_any = mp_bool< mp_count< mp_list<mp_to_bool<T>...>, mp_true >::value != 0 >;
133 
134 #endif
135 
136 // mp_same<T...>
137 namespace detail
138 {
139 
140 template<class... T> struct mp_same_impl;
141 
142 template<> struct mp_same_impl<>
143 {
144     using type = mp_true;
145 };
146 
147 template<class T1, class... T> struct mp_same_impl<T1, T...>
148 {
149     using type = mp_bool< mp_count<mp_list<T...>, T1>::value == sizeof...(T) >;
150 };
151 
152 } // namespace detail
153 
154 template<class... T> using mp_same = typename detail::mp_same_impl<T...>::type;
155 
156 // mp_similar<T...>
157 namespace detail
158 {
159 
160 template<class... T> struct mp_similar_impl;
161 
162 template<> struct mp_similar_impl<>
163 {
164     using type = mp_true;
165 };
166 
167 template<class T> struct mp_similar_impl<T>
168 {
169     using type = mp_true;
170 };
171 
172 template<class T> struct mp_similar_impl<T, T>
173 {
174     using type = mp_true;
175 };
176 
177 template<class T1, class T2> struct mp_similar_impl<T1, T2>
178 {
179     using type = mp_false;
180 };
181 
182 template<template<class...> class L, class... T1, class... T2> struct mp_similar_impl<L<T1...>, L<T2...>>
183 {
184     using type = mp_true;
185 };
186 
187 template<template<class...> class L, class... T> struct mp_similar_impl<L<T...>, L<T...>>
188 {
189     using type = mp_true;
190 };
191 
192 template<class T1, class T2, class T3, class... T> struct mp_similar_impl<T1, T2, T3, T...>
193 {
194     using type = mp_all< typename mp_similar_impl<T1, T2>::type, typename mp_similar_impl<T1, T3>::type, typename mp_similar_impl<T1, T>::type... >;
195 };
196 
197 } // namespace detail
198 
199 template<class... T> using mp_similar = typename detail::mp_similar_impl<T...>::type;
200 
201 #if BOOST_MP11_GCC
202 # pragma GCC diagnostic push
203 //# pragma GCC diagnostic ignored "-Wsign-compare"
204 #endif
205 
206 // mp_less<T1, T2>
207 template<class T1, class T2> using mp_less = mp_bool<(T1::value < 0 && T2::value >= 0) || ((T1::value < T2::value) && !(T1::value >= 0 && T2::value < 0))>;
208 
209 #if BOOST_MP11_GCC
210 # pragma GCC diagnostic pop
211 #endif
212 
213 // mp_min<T...>
214 template<class T1, class... T> using mp_min = mp_min_element<mp_list<T1, T...>, mp_less>;
215 
216 // mp_max<T...>
217 template<class T1, class... T> using mp_max = mp_max_element<mp_list<T1, T...>, mp_less>;
218 
219 } // namespace mp11
220 } // namespace boost
221 
222 #endif // #ifndef BOOST_MP11_FUNCTION_HPP_INCLUDED
223