| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115 |
- //
- // traits/bulk_execute_free.hpp
- // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- //
- // Copyright (c) 2003-2022 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_TRAITS_BULK_EXECUTE_FREE_HPP
- #define ASIO_TRAITS_BULK_EXECUTE_FREE_HPP
- #if defined(_MSC_VER) && (_MSC_VER >= 1200)
- # pragma once
- #endif // defined(_MSC_VER) && (_MSC_VER >= 1200)
- #include "asio/detail/config.hpp"
- #include "asio/detail/type_traits.hpp"
- #if defined(ASIO_HAS_DECLTYPE) \
- && defined(ASIO_HAS_NOEXCEPT) \
- && defined(ASIO_HAS_WORKING_EXPRESSION_SFINAE)
- # define ASIO_HAS_DEDUCED_BULK_EXECUTE_FREE_TRAIT 1
- #endif // defined(ASIO_HAS_DECLTYPE)
- // && defined(ASIO_HAS_NOEXCEPT)
- // && defined(ASIO_HAS_WORKING_EXPRESSION_SFINAE)
- #include "asio/detail/push_options.hpp"
- namespace asio {
- namespace traits {
- template <typename T, typename F, typename N, typename = void>
- struct bulk_execute_free_default;
- template <typename T, typename F, typename N, typename = void>
- struct bulk_execute_free;
- } // namespace traits
- namespace detail {
- struct no_bulk_execute_free
- {
- ASIO_STATIC_CONSTEXPR(bool, is_valid = false);
- ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false);
- };
- #if defined(ASIO_HAS_DEDUCED_BULK_EXECUTE_FREE_TRAIT)
- template <typename T, typename F, typename N, typename = void>
- struct bulk_execute_free_trait : no_bulk_execute_free
- {
- };
- template <typename T, typename F, typename N>
- struct bulk_execute_free_trait<T, F, N,
- typename void_type<
- decltype(bulk_execute(declval<T>(), declval<F>(), declval<N>()))
- >::type>
- {
- ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
- using result_type = decltype(
- bulk_execute(declval<T>(), declval<F>(), declval<N>()));
- ASIO_STATIC_CONSTEXPR(bool, is_noexcept = noexcept(
- bulk_execute(declval<T>(), declval<F>(), declval<N>())));
- };
- #else // defined(ASIO_HAS_DEDUCED_BULK_EXECUTE_FREE_TRAIT)
- template <typename T, typename F, typename N, typename = void>
- struct bulk_execute_free_trait :
- conditional<
- is_same<T, typename remove_reference<T>::type>::value
- && is_same<F, typename decay<F>::type>::value
- && is_same<N, typename decay<N>::type>::value,
- typename conditional<
- is_same<T, typename add_const<T>::type>::value,
- no_bulk_execute_free,
- traits::bulk_execute_free<typename add_const<T>::type, F, N>
- >::type,
- traits::bulk_execute_free<
- typename remove_reference<T>::type,
- typename decay<F>::type,
- typename decay<N>::type>
- >::type
- {
- };
- #endif // defined(ASIO_HAS_DEDUCED_BULK_EXECUTE_FREE_TRAIT)
- } // namespace detail
- namespace traits {
- template <typename T, typename F, typename N, typename>
- struct bulk_execute_free_default :
- detail::bulk_execute_free_trait<T, F, N>
- {
- };
- template <typename T, typename F, typename N, typename>
- struct bulk_execute_free :
- bulk_execute_free_default<T, F, N>
- {
- };
- } // namespace traits
- } // namespace asio
- #include "asio/detail/pop_options.hpp"
- #endif // ASIO_TRAITS_BULK_EXECUTE_FREE_HPP
|