1 #ifndef BOOST_BIND_PROTECT_HPP_INCLUDED
2 #define BOOST_BIND_PROTECT_HPP_INCLUDED
7 // Copyright 2002, 2020 Peter Dimov
8 // Copyright 2009 Steven Watanabe
10 // Distributed under the Boost Software License, Version 1.0. (See
11 // accompanying file LICENSE_1_0.txt or copy at
12 // http://www.boost.org/LICENSE_1_0.txt)
15 #include <boost/config.hpp>
16 #include <boost/config/workaround.hpp>
25 #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES) && !defined(BOOST_NO_CXX11_RVALUE_REFERENCES) && !defined(BOOST_NO_CXX11_DECLTYPE)
27 template<class T> struct protect_make_void
32 template<class F, class E = void> struct protect_result_type
36 template<class F> struct protect_result_type< F, typename protect_make_void<typename F::result_type>::type >
38 typedef typename F::result_type result_type;
41 template<class F> class protected_bind_t: public protect_result_type<F>
49 explicit protected_bind_t( F f ): f_( f )
53 template<class... A> auto operator()( A&&... a ) -> decltype( f_( std::forward<A>(a)... ) )
55 return f_( std::forward<A>(a)... );
58 template<class... A> auto operator()( A&&... a ) const -> decltype( f_( std::forward<A>(a)... ) )
60 return f_( std::forward<A>(a)... );
66 template<class F> class protected_bind_t
74 typedef typename F::result_type result_type;
76 explicit protected_bind_t(F f): f_(f)
80 result_type operator()()
85 result_type operator()() const
90 template<class A1> result_type operator()(A1 & a1)
95 template<class A1> result_type operator()(A1 & a1) const
101 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
102 && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
104 template<class A1> result_type operator()(const A1 & a1)
109 template<class A1> result_type operator()(const A1 & a1) const
116 template<class A1, class A2> result_type operator()(A1 & a1, A2 & a2)
121 template<class A1, class A2> result_type operator()(A1 & a1, A2 & a2) const
126 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
127 && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
129 template<class A1, class A2> result_type operator()(A1 const & a1, A2 & a2)
134 template<class A1, class A2> result_type operator()(A1 const & a1, A2 & a2) const
139 template<class A1, class A2> result_type operator()(A1 & a1, A2 const & a2)
144 template<class A1, class A2> result_type operator()(A1 & a1, A2 const & a2) const
149 template<class A1, class A2> result_type operator()(A1 const & a1, A2 const & a2)
154 template<class A1, class A2> result_type operator()(A1 const & a1, A2 const & a2) const
161 template<class A1, class A2, class A3> result_type operator()(A1 & a1, A2 & a2, A3 & a3)
163 return f_(a1, a2, a3);
166 template<class A1, class A2, class A3> result_type operator()(A1 & a1, A2 & a2, A3 & a3) const
168 return f_(a1, a2, a3);
171 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
172 && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
174 template<class A1, class A2, class A3> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3)
176 return f_(a1, a2, a3);
179 template<class A1, class A2, class A3> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3) const
181 return f_(a1, a2, a3);
186 template<class A1, class A2, class A3, class A4> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4)
188 return f_(a1, a2, a3, a4);
191 template<class A1, class A2, class A3, class A4> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4) const
193 return f_(a1, a2, a3, a4);
196 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
197 && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
199 template<class A1, class A2, class A3, class A4> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4)
201 return f_(a1, a2, a3, a4);
204 template<class A1, class A2, class A3, class A4> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4) const
206 return f_(a1, a2, a3, a4);
211 template<class A1, class A2, class A3, class A4, class A5> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5)
213 return f_(a1, a2, a3, a4, a5);
216 template<class A1, class A2, class A3, class A4, class A5> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5) const
218 return f_(a1, a2, a3, a4, a5);
221 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
222 && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
224 template<class A1, class A2, class A3, class A4, class A5> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5)
226 return f_(a1, a2, a3, a4, a5);
229 template<class A1, class A2, class A3, class A4, class A5> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5) const
231 return f_(a1, a2, a3, a4, a5);
236 template<class A1, class A2, class A3, class A4, class A5, class A6> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6)
238 return f_(a1, a2, a3, a4, a5, a6);
241 template<class A1, class A2, class A3, class A4, class A5, class A6> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6) const
243 return f_(a1, a2, a3, a4, a5, a6);
246 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
247 && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
249 template<class A1, class A2, class A3, class A4, class A5, class A6> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6)
251 return f_(a1, a2, a3, a4, a5, a6);
254 template<class A1, class A2, class A3, class A4, class A5, class A6> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6) const
256 return f_(a1, a2, a3, a4, a5, a6);
261 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7)
263 return f_(a1, a2, a3, a4, a5, a6, a7);
266 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7) const
268 return f_(a1, a2, a3, a4, a5, a6, a7);
271 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
272 && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
274 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6, A7 const & a7)
276 return f_(a1, a2, a3, a4, a5, a6, a7);
279 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6, A7 const & a7) const
281 return f_(a1, a2, a3, a4, a5, a6, a7);
286 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7, A8 & a8)
288 return f_(a1, a2, a3, a4, a5, a6, a7, a8);
291 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7, A8 & a8) const
293 return f_(a1, a2, a3, a4, a5, a6, a7, a8);
296 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
297 && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
299 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6, A7 const & a7, A8 const & a8)
301 return f_(a1, a2, a3, a4, a5, a6, a7, a8);
304 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6, A7 const & a7, A8 const & a8) const
306 return f_(a1, a2, a3, a4, a5, a6, a7, a8);
311 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7, A8 & a8, A9 & a9)
313 return f_(a1, a2, a3, a4, a5, a6, a7, a8, a9);
316 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7, A8 & a8, A9 & a9) const
318 return f_(a1, a2, a3, a4, a5, a6, a7, a8, a9);
321 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
322 && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
324 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6, A7 const & a7, A8 const & a8, A9 const & a9)
326 return f_(a1, a2, a3, a4, a5, a6, a7, a8, a9);
329 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6, A7 const & a7, A8 const & a8, A9 const & a9) const
331 return f_(a1, a2, a3, a4, a5, a6, a7, a8, a9);
341 template<class F> _bi::protected_bind_t<F> protect(F f)
343 return _bi::protected_bind_t<F>(f);
348 #endif // #ifndef BOOST_BIND_PROTECT_HPP_INCLUDED