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#elif defined( BOOST_MP11_HAS_FOLD_EXPRESSIONS )
89
90template<class... T> using mp_all = mp_bool<(static_cast<bool>(T::value) && ...)>;
91
92#else
93
94template<class... T> using mp_all = mp_and<mp_to_bool<T>...>;
95
96#endif
97
98// mp_or<T...>
99namespace detail
100{
101
102template<class... T> struct mp_or_impl;
103
104} // namespace detail
105
106template<class... T> using mp_or = mp_to_bool< typename detail::mp_or_impl<T...>::type >;
107
108namespace detail
109{
110
111template<> struct mp_or_impl<>
112{
113 using type = mp_false;
114};
115
116template<class T> struct mp_or_impl<T>
117{
118 using type = T;
119};
120
121template<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
132template<class... T> using mp_any = mp_bool<(static_cast<bool>(T::value) || ...)>;
133
134#else
135
136template<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...>
141namespace detail
142{
143
144template<class... T> struct mp_same_impl;
145
146template<> struct mp_same_impl<>
147{
148 using type = mp_true;
149};
150
151template<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
158template<class... T> using mp_same = typename detail::mp_same_impl<T...>::type;
159
160// mp_similar<T...>
161namespace detail
162{
163
164template<class... T> struct mp_similar_impl;
165
166template<> struct mp_similar_impl<>
167{
168 using type = mp_true;
169};
170
171template<class T> struct mp_similar_impl<T>
172{
173 using type = mp_true;
174};
175
176template<class T> struct mp_similar_impl<T, T>
177{
178 using type = mp_true;
179};
180
181template<class T1, class T2> struct mp_similar_impl<T1, T2>
182{
183 using type = mp_false;
184};
185
186template<template<class...> class L, class... T1, class... T2> struct mp_similar_impl<L<T1...>, L<T2...>>
187{
188 using type = mp_true;
189};
190
191template<template<class...> class L, class... T> struct mp_similar_impl<L<T...>, L<T...>>
192{
193 using type = mp_true;
194};
195
196template<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
203template<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>
211template<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...>
218template<class T1, class... T> using mp_min = mp_min_element<mp_list<T1, T...>, mp_less>;
219
220// mp_max<T...>
221template<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

source code of include/boost/mp11/function.hpp