| // |
| // detail/bind_handler.hpp |
| // ~~~~~~~~~~~~~~~~~~~~~~~ |
| // |
| // Copyright (c) 2003-2015 Christopher M. Kohlhoff (chris at kohlhoff dot com) |
| // |
| // Distributed under the Boost Software License, Version 1.0. (See accompanying |
| // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
| // |
| |
| #ifndef ASIO_DETAIL_BIND_HANDLER_HPP |
| #define ASIO_DETAIL_BIND_HANDLER_HPP |
| |
| #if defined(_MSC_VER) && (_MSC_VER >= 1200) |
| # pragma once |
| #endif // defined(_MSC_VER) && (_MSC_VER >= 1200) |
| |
| #include "asio/detail/config.hpp" |
| #include "asio/associated_allocator.hpp" |
| #include "asio/associated_executor.hpp" |
| #include "asio/detail/handler_alloc_helpers.hpp" |
| #include "asio/detail/handler_cont_helpers.hpp" |
| #include "asio/detail/handler_invoke_helpers.hpp" |
| #include "asio/detail/type_traits.hpp" |
| |
| #include "asio/detail/push_options.hpp" |
| |
| namespace asio { |
| namespace detail { |
| |
| template <typename Handler, typename Arg1> |
| class binder1 |
| { |
| public: |
| template <typename T> |
| binder1(int, ASIO_MOVE_ARG(T) handler, const Arg1& arg1) |
| : handler_(ASIO_MOVE_CAST(T)(handler)), |
| arg1_(arg1) |
| { |
| } |
| |
| binder1(Handler& handler, const Arg1& arg1) |
| : handler_(ASIO_MOVE_CAST(Handler)(handler)), |
| arg1_(arg1) |
| { |
| } |
| |
| #if defined(ASIO_HAS_MOVE) |
| binder1(const binder1& other) |
| : handler_(other.handler_), |
| arg1_(other.arg1_) |
| { |
| } |
| |
| binder1(binder1&& other) |
| : handler_(ASIO_MOVE_CAST(Handler)(other.handler_)), |
| arg1_(ASIO_MOVE_CAST(Arg1)(other.arg1_)) |
| { |
| } |
| #endif // defined(ASIO_HAS_MOVE) |
| |
| void operator()() |
| { |
| handler_(static_cast<const Arg1&>(arg1_)); |
| } |
| |
| void operator()() const |
| { |
| handler_(arg1_); |
| } |
| |
| //private: |
| Handler handler_; |
| Arg1 arg1_; |
| }; |
| |
| template <typename Handler, typename Arg1> |
| inline void* asio_handler_allocate(std::size_t size, |
| binder1<Handler, Arg1>* this_handler) |
| { |
| return asio_handler_alloc_helpers::allocate( |
| size, this_handler->handler_); |
| } |
| |
| template <typename Handler, typename Arg1> |
| inline void asio_handler_deallocate(void* pointer, std::size_t size, |
| binder1<Handler, Arg1>* this_handler) |
| { |
| asio_handler_alloc_helpers::deallocate( |
| pointer, size, this_handler->handler_); |
| } |
| |
| template <typename Handler, typename Arg1> |
| inline bool asio_handler_is_continuation( |
| binder1<Handler, Arg1>* this_handler) |
| { |
| return asio_handler_cont_helpers::is_continuation( |
| this_handler->handler_); |
| } |
| |
| template <typename Function, typename Handler, typename Arg1> |
| inline void asio_handler_invoke(Function& function, |
| binder1<Handler, Arg1>* this_handler) |
| { |
| asio_handler_invoke_helpers::invoke( |
| function, this_handler->handler_); |
| } |
| |
| template <typename Function, typename Handler, typename Arg1> |
| inline void asio_handler_invoke(const Function& function, |
| binder1<Handler, Arg1>* this_handler) |
| { |
| asio_handler_invoke_helpers::invoke( |
| function, this_handler->handler_); |
| } |
| |
| template <typename Handler, typename Arg1> |
| inline binder1<typename decay<Handler>::type, Arg1> bind_handler( |
| ASIO_MOVE_ARG(Handler) handler, const Arg1& arg1) |
| { |
| return binder1<typename decay<Handler>::type, Arg1>(0, |
| ASIO_MOVE_CAST(Handler)(handler), arg1); |
| } |
| |
| template <typename Handler, typename Arg1, typename Arg2> |
| class binder2 |
| { |
| public: |
| template <typename T> |
| binder2(int, ASIO_MOVE_ARG(T) handler, |
| const Arg1& arg1, const Arg2& arg2) |
| : handler_(ASIO_MOVE_CAST(T)(handler)), |
| arg1_(arg1), |
| arg2_(arg2) |
| { |
| } |
| |
| binder2(Handler& handler, const Arg1& arg1, const Arg2& arg2) |
| : handler_(ASIO_MOVE_CAST(Handler)(handler)), |
| arg1_(arg1), |
| arg2_(arg2) |
| { |
| } |
| |
| #if defined(ASIO_HAS_MOVE) |
| binder2(const binder2& other) |
| : handler_(other.handler_), |
| arg1_(other.arg1_), |
| arg2_(other.arg2_) |
| { |
| } |
| |
| binder2(binder2&& other) |
| : handler_(ASIO_MOVE_CAST(Handler)(other.handler_)), |
| arg1_(ASIO_MOVE_CAST(Arg1)(other.arg1_)), |
| arg2_(ASIO_MOVE_CAST(Arg2)(other.arg2_)) |
| { |
| } |
| #endif // defined(ASIO_HAS_MOVE) |
| |
| void operator()() |
| { |
| handler_(static_cast<const Arg1&>(arg1_), |
| static_cast<const Arg2&>(arg2_)); |
| } |
| |
| void operator()() const |
| { |
| handler_(arg1_, arg2_); |
| } |
| |
| //private: |
| Handler handler_; |
| Arg1 arg1_; |
| Arg2 arg2_; |
| }; |
| |
| template <typename Handler, typename Arg1, typename Arg2> |
| inline void* asio_handler_allocate(std::size_t size, |
| binder2<Handler, Arg1, Arg2>* this_handler) |
| { |
| return asio_handler_alloc_helpers::allocate( |
| size, this_handler->handler_); |
| } |
| |
| template <typename Handler, typename Arg1, typename Arg2> |
| inline void asio_handler_deallocate(void* pointer, std::size_t size, |
| binder2<Handler, Arg1, Arg2>* this_handler) |
| { |
| asio_handler_alloc_helpers::deallocate( |
| pointer, size, this_handler->handler_); |
| } |
| |
| template <typename Handler, typename Arg1, typename Arg2> |
| inline bool asio_handler_is_continuation( |
| binder2<Handler, Arg1, Arg2>* this_handler) |
| { |
| return asio_handler_cont_helpers::is_continuation( |
| this_handler->handler_); |
| } |
| |
| template <typename Function, typename Handler, typename Arg1, typename Arg2> |
| inline void asio_handler_invoke(Function& function, |
| binder2<Handler, Arg1, Arg2>* this_handler) |
| { |
| asio_handler_invoke_helpers::invoke( |
| function, this_handler->handler_); |
| } |
| |
| template <typename Function, typename Handler, typename Arg1, typename Arg2> |
| inline void asio_handler_invoke(const Function& function, |
| binder2<Handler, Arg1, Arg2>* this_handler) |
| { |
| asio_handler_invoke_helpers::invoke( |
| function, this_handler->handler_); |
| } |
| |
| template <typename Handler, typename Arg1, typename Arg2> |
| inline binder2<typename decay<Handler>::type, Arg1, Arg2> bind_handler( |
| ASIO_MOVE_ARG(Handler) handler, const Arg1& arg1, const Arg2& arg2) |
| { |
| return binder2<typename decay<Handler>::type, Arg1, Arg2>(0, |
| ASIO_MOVE_CAST(Handler)(handler), arg1, arg2); |
| } |
| |
| #if defined(ASIO_HAS_MOVE) |
| |
| template <typename Handler, typename Arg1> |
| class move_binder1 |
| { |
| public: |
| move_binder1(int, ASIO_MOVE_ARG(Handler) handler, |
| ASIO_MOVE_ARG(Arg1) arg1) |
| : handler_(ASIO_MOVE_CAST(Handler)(handler)), |
| arg1_(ASIO_MOVE_CAST(Arg1)(arg1)) |
| { |
| } |
| |
| move_binder1(move_binder1&& other) |
| : handler_(ASIO_MOVE_CAST(Handler)(other.handler_)), |
| arg1_(ASIO_MOVE_CAST(Arg1)(other.arg1_)) |
| { |
| } |
| |
| void operator()() |
| { |
| handler_(ASIO_MOVE_CAST(Arg1)(arg1_)); |
| } |
| |
| //private: |
| Handler handler_; |
| Arg1 arg1_; |
| }; |
| |
| template <typename Handler, typename Arg1> |
| inline void* asio_handler_allocate(std::size_t size, |
| move_binder1<Handler, Arg1>* this_handler) |
| { |
| return asio_handler_alloc_helpers::allocate( |
| size, this_handler->handler_); |
| } |
| |
| template <typename Handler, typename Arg1> |
| inline void asio_handler_deallocate(void* pointer, std::size_t size, |
| move_binder1<Handler, Arg1>* this_handler) |
| { |
| asio_handler_alloc_helpers::deallocate( |
| pointer, size, this_handler->handler_); |
| } |
| |
| template <typename Handler, typename Arg1> |
| inline bool asio_handler_is_continuation( |
| move_binder1<Handler, Arg1>* this_handler) |
| { |
| return asio_handler_cont_helpers::is_continuation( |
| this_handler->handler_); |
| } |
| |
| template <typename Function, typename Handler, typename Arg1> |
| inline void asio_handler_invoke(ASIO_MOVE_ARG(Function) function, |
| move_binder1<Handler, Arg1>* this_handler) |
| { |
| asio_handler_invoke_helpers::invoke( |
| ASIO_MOVE_CAST(Function)(function), this_handler->handler_); |
| } |
| |
| template <typename Handler, typename Arg1, typename Arg2> |
| class move_binder2 |
| { |
| public: |
| move_binder2(int, ASIO_MOVE_ARG(Handler) handler, |
| const Arg1& arg1, ASIO_MOVE_ARG(Arg2) arg2) |
| : handler_(ASIO_MOVE_CAST(Handler)(handler)), |
| arg1_(arg1), |
| arg2_(ASIO_MOVE_CAST(Arg2)(arg2)) |
| { |
| } |
| |
| move_binder2(move_binder2&& other) |
| : handler_(ASIO_MOVE_CAST(Handler)(other.handler_)), |
| arg1_(ASIO_MOVE_CAST(Arg1)(other.arg1_)), |
| arg2_(ASIO_MOVE_CAST(Arg2)(other.arg2_)) |
| { |
| } |
| |
| void operator()() |
| { |
| handler_(static_cast<const Arg1&>(arg1_), |
| ASIO_MOVE_CAST(Arg2)(arg2_)); |
| } |
| |
| //private: |
| Handler handler_; |
| Arg1 arg1_; |
| Arg2 arg2_; |
| }; |
| |
| template <typename Handler, typename Arg1, typename Arg2> |
| inline void* asio_handler_allocate(std::size_t size, |
| move_binder2<Handler, Arg1, Arg2>* this_handler) |
| { |
| return asio_handler_alloc_helpers::allocate( |
| size, this_handler->handler_); |
| } |
| |
| template <typename Handler, typename Arg1, typename Arg2> |
| inline void asio_handler_deallocate(void* pointer, std::size_t size, |
| move_binder2<Handler, Arg1, Arg2>* this_handler) |
| { |
| asio_handler_alloc_helpers::deallocate( |
| pointer, size, this_handler->handler_); |
| } |
| |
| template <typename Handler, typename Arg1, typename Arg2> |
| inline bool asio_handler_is_continuation( |
| move_binder2<Handler, Arg1, Arg2>* this_handler) |
| { |
| return asio_handler_cont_helpers::is_continuation( |
| this_handler->handler_); |
| } |
| |
| template <typename Function, typename Handler, typename Arg1, typename Arg2> |
| inline void asio_handler_invoke(ASIO_MOVE_ARG(Function) function, |
| move_binder2<Handler, Arg1, Arg2>* this_handler) |
| { |
| asio_handler_invoke_helpers::invoke( |
| ASIO_MOVE_CAST(Function)(function), this_handler->handler_); |
| } |
| |
| #endif // defined(ASIO_HAS_MOVE) |
| |
| } // namespace detail |
| |
| template <typename Handler, typename Arg1, typename Allocator> |
| struct associated_allocator<detail::binder1<Handler, Arg1>, Allocator> |
| { |
| typedef typename associated_allocator<Handler, Allocator>::type type; |
| |
| static type get(const detail::binder1<Handler, Arg1>& h, |
| const Allocator& a = Allocator()) ASIO_NOEXCEPT |
| { |
| return associated_allocator<Handler, Allocator>::get(h.handler_, a); |
| } |
| }; |
| |
| template <typename Handler, typename Arg1, typename Arg2, typename Allocator> |
| struct associated_allocator<detail::binder2<Handler, Arg1, Arg2>, Allocator> |
| { |
| typedef typename associated_allocator<Handler, Allocator>::type type; |
| |
| static type get(const detail::binder2<Handler, Arg1, Arg2>& h, |
| const Allocator& a = Allocator()) ASIO_NOEXCEPT |
| { |
| return associated_allocator<Handler, Allocator>::get(h.handler_, a); |
| } |
| }; |
| |
| template <typename Handler, typename Arg1, typename Executor> |
| struct associated_executor<detail::binder1<Handler, Arg1>, Executor> |
| { |
| typedef typename associated_executor<Handler, Executor>::type type; |
| |
| static type get(const detail::binder1<Handler, Arg1>& h, |
| const Executor& ex = Executor()) ASIO_NOEXCEPT |
| { |
| return associated_executor<Handler, Executor>::get(h.handler_, ex); |
| } |
| }; |
| |
| template <typename Handler, typename Arg1, typename Arg2, typename Executor> |
| struct associated_executor<detail::binder2<Handler, Arg1, Arg2>, Executor> |
| { |
| typedef typename associated_executor<Handler, Executor>::type type; |
| |
| static type get(const detail::binder2<Handler, Arg1, Arg2>& h, |
| const Executor& ex = Executor()) ASIO_NOEXCEPT |
| { |
| return associated_executor<Handler, Executor>::get(h.handler_, ex); |
| } |
| }; |
| |
| #if defined(ASIO_HAS_MOVE) |
| |
| template <typename Handler, typename Arg1, typename Allocator> |
| struct associated_allocator<detail::move_binder1<Handler, Arg1>, Allocator> |
| { |
| typedef typename associated_allocator<Handler, Allocator>::type type; |
| |
| static type get(const detail::move_binder1<Handler, Arg1>& h, |
| const Allocator& a = Allocator()) ASIO_NOEXCEPT |
| { |
| return associated_allocator<Handler, Allocator>::get(h.handler_, a); |
| } |
| }; |
| |
| template <typename Handler, typename Arg1, typename Arg2, typename Allocator> |
| struct associated_allocator< |
| detail::move_binder2<Handler, Arg1, Arg2>, Allocator> |
| { |
| typedef typename associated_allocator<Handler, Allocator>::type type; |
| |
| static type get(const detail::move_binder2<Handler, Arg1, Arg2>& h, |
| const Allocator& a = Allocator()) ASIO_NOEXCEPT |
| { |
| return associated_allocator<Handler, Allocator>::get(h.handler_, a); |
| } |
| }; |
| |
| template <typename Handler, typename Arg1, typename Executor> |
| struct associated_executor<detail::move_binder1<Handler, Arg1>, Executor> |
| { |
| typedef typename associated_executor<Handler, Executor>::type type; |
| |
| static type get(const detail::move_binder1<Handler, Arg1>& h, |
| const Executor& ex = Executor()) ASIO_NOEXCEPT |
| { |
| return associated_executor<Handler, Executor>::get(h.handler_, ex); |
| } |
| }; |
| |
| template <typename Handler, typename Arg1, typename Arg2, typename Executor> |
| struct associated_executor<detail::move_binder2<Handler, Arg1, Arg2>, Executor> |
| { |
| typedef typename associated_executor<Handler, Executor>::type type; |
| |
| static type get(const detail::move_binder2<Handler, Arg1, Arg2>& h, |
| const Executor& ex = Executor()) ASIO_NOEXCEPT |
| { |
| return associated_executor<Handler, Executor>::get(h.handler_, ex); |
| } |
| }; |
| |
| #endif // defined(ASIO_HAS_MOVE) |
| |
| } // namespace asio |
| |
| #include "asio/detail/pop_options.hpp" |
| |
| #endif // ASIO_DETAIL_BIND_HANDLER_HPP |