1 /* Copyright 2016-2017 Joaquin M Lopez Munoz.
2 * Distributed under the Boost Software License, Version 1.0.
3 * (See accompanying file LICENSE_1_0.txt or copy at
4 * http://www.boost.org/LICENSE_1_0.txt)
6 * See http://www.boost.org/libs/poly_collection for library home page.
9 #ifndef BOOST_POLY_COLLECTION_DETAIL_FUNCTIONAL_HPP
10 #define BOOST_POLY_COLLECTION_DETAIL_FUNCTIONAL_HPP
16 #include <boost/config.hpp>
17 #include <boost/detail/workaround.hpp>
18 #include <boost/poly_collection/detail/integer_sequence.hpp>
19 #include <boost/poly_collection/detail/workaround_dr1467.hpp>
23 /* Assorted functional utilities. Much of this would be almost trivial with
24 * C++14 generic lambdas.
27 #if BOOST_WORKAROUND(BOOST_MSVC,>=1910)
28 /* https://lists.boost.org/Archives/boost/2017/06/235687.php */
30 #define BOOST_POLY_COLLECTION_DEFINE_OVERLOAD_SET(name,f) \
33 template<typename... Args> \
34 auto operator()(Args&&... args)const \
36 return f(std::forward<Args>(args)...); \
40 #define BOOST_POLY_COLLECTION_DEFINE_OVERLOAD_SET(name,f) \
43 BOOST_POLY_COLLECTION_WORKAROUND_DR1467(name) \
45 template<typename... Args> \
46 auto operator()(Args&&... args)const-> \
47 decltype(f(std::forward<Args>(args)...)) \
49 return f(std::forward<Args>(args)...); \
56 namespace poly_collection{
60 template<typename F,typename... TailArgs>
61 struct tail_closure_class
63 tail_closure_class(const F& f,std::tuple<TailArgs...> t):f(f),t(t){}
65 template<typename... Args>
66 using return_type=decltype(
67 std::declval<F>()(std::declval<Args>()...,std::declval<TailArgs>()...));
69 template<typename... Args,std::size_t... I>
70 return_type<Args&&...> call(index_sequence<I...>,Args&&... args)
72 return f(std::forward<Args>(args)...,std::get<I>(t)...);
75 template<typename... Args>
76 return_type<Args&&...> operator()(Args&&... args)
79 make_index_sequence<sizeof...(TailArgs)>{},std::forward<Args>(args)...);
83 std::tuple<TailArgs...> t;
86 template<typename F,typename... Args>
87 tail_closure_class<F,Args&&...> tail_closure(const F& f,Args&&... args)
89 return {f,std::forward_as_tuple(std::forward<Args>(args)...)};
92 template<typename F,typename... HeadArgs>
93 struct head_closure_class
95 head_closure_class(const F& f,std::tuple<HeadArgs...> t):f(f),t(t){}
97 template<typename... Args>
98 using return_type=decltype(
99 std::declval<F>()(std::declval<HeadArgs>()...,std::declval<Args>()...));
101 template<typename... Args,std::size_t... I>
102 return_type<Args&&...> call(index_sequence<I...>,Args&&... args)
104 return f(std::get<I>(t)...,std::forward<Args>(args)...);
107 template<typename... Args>
108 return_type<Args&&...> operator()(Args&&... args)
111 make_index_sequence<sizeof...(HeadArgs)>{},std::forward<Args>(args)...);
115 std::tuple<HeadArgs...> t;
118 template<typename F,typename... Args>
119 head_closure_class<F,Args&&...> head_closure(const F& f,Args&&... args)
121 return {f,std::forward_as_tuple(std::forward<Args>(args)...)};
124 template<typename ReturnType,typename F>
125 struct cast_return_class
127 cast_return_class(const F& f):f(f){}
129 template<typename... Args>
130 ReturnType operator()(Args&&... args)const
132 return static_cast<ReturnType>(f(std::forward<Args>(args)...));
138 template<typename ReturnType,typename F>
139 cast_return_class<ReturnType,F> cast_return(const F& f)
145 struct deref_to_class
147 deref_to_class(const F& f):f(f){}
149 template<typename... Args>
150 auto operator()(Args&&... args)->decltype(std::declval<F>()(*args...))
159 deref_to_class<F> deref_to(const F& f)
165 struct deref_1st_to_class
167 deref_1st_to_class(const F& f):f(f){}
169 template<typename Arg,typename... Args>
170 auto operator()(Arg&& arg,Args&&... args)
171 ->decltype(std::declval<F>()(*arg,std::forward<Args>(args)...))
173 return f(*arg,std::forward<Args>(args)...);
180 deref_1st_to_class<F> deref_1st_to(const F& f)
185 struct transparent_equal_to
187 BOOST_POLY_COLLECTION_WORKAROUND_DR1467(transparent_equal_to)
189 template<typename T,typename U>
190 auto operator()(T&& x,U&& y)const
191 noexcept(noexcept(std::forward<T>(x)==std::forward<U>(y)))
192 ->decltype(std::forward<T>(x)==std::forward<U>(y))
194 return std::forward<T>(x)==std::forward<U>(y);
198 } /* namespace poly_collection::detail */
200 } /* namespace poly_collection */
202 } /* namespace boost */