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
21namespace boost
22{
23namespace 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
32namespace detail
33{
34
35template<class... T> struct mp_and_impl;
36
37} // namespace detail
38
39template<class... T> using mp_and = mp_to_bool< typename detail::mp_and_impl<T...>::type >;
40
41namespace detail
42{
43
44template<> struct mp_and_impl<>
45{
46 using type = mp_true;
47};
48
49template<class T> struct mp_and_impl<T>
50{
51 using type = T;
52};
53
54template<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
63namespace detail
64{
65
66template<class L, class E = void> struct mp_and_impl
67{
68 using type = mp_false;
69};
70
71template<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
78template<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
86template<class... T> using mp_all = mp_bool< mp_count_if< mp_list<T...>, mp_not >::value == 0 >;
87
88#else
89
90template<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...>
95namespace detail
96{
97
98template<class... T> struct mp_or_impl;
99
100} // namespace detail
101
102template<class... T> using mp_or = mp_to_bool< typename detail::mp_or_impl<T...>::type >;
103
104namespace detail
105{
106
107template<> struct mp_or_impl<>
108{
109 using type = mp_false;
110};
111
112template<class T> struct mp_or_impl<T>
113{
114 using type = T;
115};
116
117template<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
128template<class... T> using mp_any = mp_bool< mp_count_if< mp_list<T...>, mp_to_bool >::value != 0 >;
129
130#else
131
132template<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...>
137namespace detail
138{
139
140template<class... T> struct mp_same_impl;
141
142template<> struct mp_same_impl<>
143{
144 using type = mp_true;
145};
146
147template<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
154template<class... T> using mp_same = typename detail::mp_same_impl<T...>::type;
155
156// mp_similar<T...>
157namespace detail
158{
159
160template<class... T> struct mp_similar_impl;
161
162template<> struct mp_similar_impl<>
163{
164 using type = mp_true;
165};
166
167template<class T> struct mp_similar_impl<T>
168{
169 using type = mp_true;
170};
171
172template<class T> struct mp_similar_impl<T, T>
173{
174 using type = mp_true;
175};
176
177template<class T1, class T2> struct mp_similar_impl<T1, T2>
178{
179 using type = mp_false;
180};
181
182template<template<class...> class L, class... T1, class... T2> struct mp_similar_impl<L<T1...>, L<T2...>>
183{
184 using type = mp_true;
185};
186
187template<template<class...> class L, class... T> struct mp_similar_impl<L<T...>, L<T...>>
188{
189 using type = mp_true;
190};
191
192template<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
199template<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>
207template<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...>
214template<class T1, class... T> using mp_min = mp_min_element<mp_list<T1, T...>, mp_less>;
215
216// mp_max<T...>
217template<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