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 #elif defined( BOOST_MP11_HAS_FOLD_EXPRESSIONS )
89 
90 template<class... T> using mp_all = mp_bool<(static_cast<bool>(T::value) && ...)>;
91 
92 #else
93 
94 template<class... T> using mp_all = mp_and<mp_to_bool<T>...>;
95 
96 #endif
97 
98 // mp_or<T...>
99 namespace detail
100 {
101 
102 template<class... T> struct mp_or_impl;
103 
104 } // namespace detail
105 
106 template<class... T> using mp_or = mp_to_bool< typename detail::mp_or_impl<T...>::type >;
107 
108 namespace detail
109 {
110 
111 template<> struct mp_or_impl<>
112 {
113     using type = mp_false;
114 };
115 
116 template<class T> struct mp_or_impl<T>
117 {
118     using type = T;
119 };
120 
121 template<class T1, class... T> struct mp_or_impl<T1, T...>
122 {
123     using type = mp_eval_if< T1, T1, mp_or, T... >;
124 };
125 
126 } // namespace detail
127 
128 // mp_any<T...>
129 // https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86356
130 #if defined( BOOST_MP11_HAS_FOLD_EXPRESSIONS ) && !BOOST_MP11_WORKAROUND( BOOST_MP11_GCC, != 0 ) && !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1920 )
131 
132 template<class... T> using mp_any = mp_bool<(static_cast<bool>(T::value) || ...)>;
133 
134 #else
135 
136 template<class... T> using mp_any = mp_bool< mp_count_if< mp_list<T...>, mp_to_bool >::value != 0 >;
137 
138 #endif
139 
140 // mp_same<T...>
141 namespace detail
142 {
143 
144 template<class... T> struct mp_same_impl;
145 
146 template<> struct mp_same_impl<>
147 {
148     using type = mp_true;
149 };
150 
151 template<class T1, class... T> struct mp_same_impl<T1, T...>
152 {
153     using type = mp_all<std::is_same<T1, T>...>;
154 };
155 
156 } // namespace detail
157 
158 template<class... T> using mp_same = typename detail::mp_same_impl<T...>::type;
159 
160 // mp_similar<T...>
161 namespace detail
162 {
163 
164 template<class... T> struct mp_similar_impl;
165 
166 template<> struct mp_similar_impl<>
167 {
168     using type = mp_true;
169 };
170 
171 template<class T> struct mp_similar_impl<T>
172 {
173     using type = mp_true;
174 };
175 
176 template<class T> struct mp_similar_impl<T, T>
177 {
178     using type = mp_true;
179 };
180 
181 template<class T1, class T2> struct mp_similar_impl<T1, T2>
182 {
183     using type = mp_false;
184 };
185 
186 template<template<class...> class L, class... T1, class... T2> struct mp_similar_impl<L<T1...>, L<T2...>>
187 {
188     using type = mp_true;
189 };
190 
191 template<template<class...> class L, class... T> struct mp_similar_impl<L<T...>, L<T...>>
192 {
193     using type = mp_true;
194 };
195 
196 template<class T1, class T2, class T3, class... T> struct mp_similar_impl<T1, T2, T3, T...>
197 {
198     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... >;
199 };
200 
201 } // namespace detail
202 
203 template<class... T> using mp_similar = typename detail::mp_similar_impl<T...>::type;
204 
205 #if BOOST_MP11_GCC
206 # pragma GCC diagnostic push
207 # pragma GCC diagnostic ignored "-Wsign-compare"
208 #endif
209 
210 // mp_less<T1, T2>
211 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))>;
212 
213 #if BOOST_MP11_GCC
214 # pragma GCC diagnostic pop
215 #endif
216 
217 // mp_min<T...>
218 template<class T1, class... T> using mp_min = mp_min_element<mp_list<T1, T...>, mp_less>;
219 
220 // mp_max<T...>
221 template<class T1, class... T> using mp_max = mp_max_element<mp_list<T1, T...>, mp_less>;
222 
223 } // namespace mp11
224 } // namespace boost
225 
226 #endif // #ifndef BOOST_MP11_FUNCTION_HPP_INCLUDED
227