FM / execution

/usr/include/boost/asio/execution

Name	Size	Mode	Actions
detail/	-	0755	rm
impl/	-	0755	rm
allocator.hpp	7823	0644	edit dl rm
any_executor.hpp	70761	0644	edit dl rm
bad_executor.hpp	1310	0644	edit dl rm
blocking.hpp	41336	0644	edit dl rm
blocking_adaptation.hpp	33522	0644	edit dl rm
bulk_execute.hpp	12972	0644	edit dl rm
bulk_guarantee.hpp	32421	0644	edit dl rm
connect.hpp	14688	0644	edit dl rm
context.hpp	5574	0644	edit dl rm
context_as.hpp	6328	0644	edit dl rm
execute.hpp	7579	0644	edit dl rm
executor.hpp	7069	0644	edit dl rm
invocable_archetype.hpp	2037	0644	edit dl rm
mapping.hpp	28989	0644	edit dl rm
occupancy.hpp	5501	0644	edit dl rm
operation_state.hpp	2750	0644	edit dl rm
outstanding_work.hpp	23123	0644	edit dl rm
prefer_only.hpp	9569	0644	edit dl rm
receiver.hpp	9669	0644	edit dl rm
receiver_invocation_error.hpp	1415	0644	edit dl rm
relationship.hpp	22518	0644	edit dl rm
schedule.hpp	7545	0644	edit dl rm
scheduler.hpp	2374	0644	edit dl rm
sender.hpp	8539	0644	edit dl rm
set_done.hpp	6640	0644	edit dl rm
set_error.hpp	7367	0644	edit dl rm
set_value.hpp	15285	0644	edit dl rm
start.hpp	6218	0644	edit dl rm
submit.hpp	13478	0644	edit dl rm

Edit: /usr/include/boost/asio/execution/any_executor.hpp (70761B)

#ifndef BOOST_ASIO_EXECUTION_ANY_EXECUTOR_HPP
#define BOOST_ASIO_EXECUTION_ANY_EXECUTOR_HPP

#if defined(_MSC_VER) && (_MSC_VER >= 1200)
# pragma once
#endif // defined(_MSC_VER) && (_MSC_VER >= 1200)

#include <boost/asio/detail/config.hpp>
#include <new>
#include <typeinfo>
#include <boost/asio/detail/assert.hpp>
#include <boost/asio/detail/cstddef.hpp>
#include <boost/asio/detail/executor_function.hpp>
#include <boost/asio/detail/memory.hpp>
#include <boost/asio/detail/non_const_lvalue.hpp>
#include <boost/asio/detail/scoped_ptr.hpp>
#include <boost/asio/detail/type_traits.hpp>
#include <boost/asio/detail/throw_exception.hpp>
#include <boost/asio/detail/variadic_templates.hpp>
#include <boost/asio/execution/bad_executor.hpp>
#include <boost/asio/execution/blocking.hpp>
#include <boost/asio/execution/execute.hpp>
#include <boost/asio/execution/executor.hpp>
#include <boost/asio/prefer.hpp>
#include <boost/asio/query.hpp>
#include <boost/asio/require.hpp>

#include <boost/asio/detail/push_options.hpp>

namespace boost {
namespace asio {

#if defined(GENERATING_DOCUMENTATION)

namespace execution {

/// Polymorphic executor wrapper.
template <typename... SupportableProperties>
class any_executor
{
public:
 /// Default constructor.
 any_executor() noexcept;

/// Construct in an empty state. Equivalent effects to default constructor.
  any_executor(nullptr_t) noexcept;

/// Copy constructor.
  any_executor(const any_executor& e) noexcept;

/// Move constructor.
  any_executor(any_executor&& e) noexcept;

/// Construct to point to the same target as another any_executor.
 template <class... OtherSupportableProperties>
 any_executor(any_executor<OtherSupportableProperties...> e);

/// Construct a polymorphic wrapper for the specified executor.
 template <typename Executor>
 any_executor(Executor e);

/// Assignment operator.
  any_executor& operator=(const any_executor& e) noexcept;

/// Move assignment operator.
  any_executor& operator=(any_executor&& e) noexcept;

/// Assignment operator that sets the polymorphic wrapper to the empty state.
  any_executor& operator=(nullptr_t);

/// Assignment operator to create a polymorphic wrapper for the specified
 /// executor.
 template <typename Executor>
 any_executor& operator=(Executor e);

/// Destructor.
  ~any_executor();

/// Swap targets with another polymorphic wrapper.
  void swap(any_executor& other) noexcept;

/// Obtain a polymorphic wrapper with the specified property.
 /**
 * Do not call this function directly. It is intended for use with the
 * boost::asio::require and boost::asio::prefer customisation points.
 *
 * For example:
 * @code execution::any_executor<execution::blocking_t::possibly_t> ex = ...;
 * auto ex2 = boost::asio::requre(ex, execution::blocking.possibly); @endcode
 */
 template <typename Property>
 any_executor require(Property) const;

/// Obtain a polymorphic wrapper with the specified property.
 /**
 * Do not call this function directly. It is intended for use with the
 * boost::asio::prefer customisation point.
 *
 * For example:
 * @code execution::any_executor<execution::blocking_t::possibly_t> ex = ...;
 * auto ex2 = boost::asio::prefer(ex, execution::blocking.possibly); @endcode
 */
 template <typename Property>
 any_executor prefer(Property) const;

/// Obtain the value associated with the specified property.
 /**
 * Do not call this function directly. It is intended for use with the
 * boost::asio::query customisation point.
 *
 * For example:
 * @code execution::any_executor<execution::occupancy_t> ex = ...;
 * size_t n = boost::asio::query(ex, execution::occupancy); @endcode
 */
 template <typename Property>
 typename Property::polymorphic_query_result_type query(Property) const;

/// Execute the function on the target executor.
 /**
 * Do not call this function directly. It is intended for use with the
 * execution::execute customisation point.
 *
 * For example:
 * @code execution::any_executor<> ex = ...;
 * execution::execute(ex, my_function_object); @endcode
 *
 * Throws boost::asio::bad_executor if the polymorphic wrapper has no target.
 */
 template <typename Function>
 void execute(Function&& f) const;

/// Obtain the underlying execution context.
 /**
 * This function is provided for backward compatibility. It is automatically
 * defined when the @c SupportableProperties... list includes a property of
 * type <tt>execution::context_as</tt>, for some type <tt>U</tt>.
 */
 automatically_determined context() const;

/// Determine whether the wrapper has a target executor.
  /**
   * @returns @c true if the polymorphic wrapper has a target executor,
   * otherwise false.
   */
  explicit operator bool() const noexcept;

/// Get the type of the target executor.
  const type_info& target_type() const noexcept;

/// Get a pointer to the target executor.
 template <typename Executor> Executor* target() noexcept;

/// Get a pointer to the target executor.
 template <typename Executor> const Executor* target() const noexcept;
};

/// Equality operator.
/**
 * @relates any_executor
 */
template <typename... SupportableProperties>
bool operator==(const any_executor<SupportableProperties...>& a,
 const any_executor<SupportableProperties...>& b) noexcept;

/// Equality operator.
/**
 * @relates any_executor
 */
template <typename... SupportableProperties>
bool operator==(const any_executor<SupportableProperties...>& a,
 nullptr_t) noexcept;

/// Equality operator.
/**
 * @relates any_executor
 */
template <typename... SupportableProperties>
bool operator==(nullptr_t,
 const any_executor<SupportableProperties...>& b) noexcept;

/// Inequality operator.
/**
 * @relates any_executor
 */
template <typename... SupportableProperties>
bool operator!=(const any_executor<SupportableProperties...>& a,
 const any_executor<SupportableProperties...>& b) noexcept;

/// Inequality operator.
/**
 * @relates any_executor
 */
template <typename... SupportableProperties>
bool operator!=(const any_executor<SupportableProperties...>& a,
 nullptr_t) noexcept;

/// Inequality operator.
/**
 * @relates any_executor
 */
template <typename... SupportableProperties>
bool operator!=(nullptr_t,
 const any_executor<SupportableProperties...>& b) noexcept;

} // namespace execution

#else // defined(GENERATING_DOCUMENTATION)

namespace execution {

#if !defined(BOOST_ASIO_EXECUTION_ANY_EXECUTOR_FWD_DECL)
#define BOOST_ASIO_EXECUTION_ANY_EXECUTOR_FWD_DECL

#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename... SupportableProperties>
class any_executor;

#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename = void, typename = void, typename = void,
 typename = void, typename = void, typename = void,
 typename = void, typename = void, typename = void>
class any_executor;

#endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

#endif // !defined(BOOST_ASIO_EXECUTION_ANY_EXECUTOR_FWD_DECL)

template <typename U>
struct context_as_t;

namespace detail {

// Traits used to detect whether a property is requirable or preferable, taking
// into account that T::is_requirable or T::is_preferable may not not be well
// formed.

template <typename T, typename = void>
struct is_requirable : false_type {};

template <typename T>
struct is_requirable<T, typename enable_if<T::is_requirable>::type> :
 true_type {};

template <typename T, typename = void>
struct is_preferable : false_type {};

template <typename T>
struct is_preferable<T, typename enable_if<T::is_preferable>::type> :
 true_type {};

// Trait used to detect context_as property, for backward compatibility.

template <typename T>
struct is_context_as : false_type {};

template <typename U>
struct is_context_as<context_as_t > : true_type {};

// Helper template to:
// - Check if a target can supply the supportable properties.
// - Find the first convertible-from-T property in the list.

template <std::size_t I, typename Props>
struct supportable_properties;

template <std::size_t I, typename Prop>
struct supportable_properties<I, void(Prop)>
{
 template <typename T>
 struct is_valid_target : integral_constant<bool,
 (
 is_requirable<Prop>::value
 ? can_require<T, Prop>::value
 : true
 )
 &&
 (
 is_preferable<Prop>::value
 ? can_prefer<T, Prop>::value
 : true
 )
 &&
 (
 !is_requirable<Prop>::value && !is_preferable<Prop>::value
 ? can_query<T, Prop>::value
 : true
 )
 >
 {
 };

struct found
  {
    BOOST_ASIO_STATIC_CONSTEXPR(bool, value = true);
    typedef Prop type;
    typedef typename Prop::polymorphic_query_result_type query_result_type;
    BOOST_ASIO_STATIC_CONSTEXPR(std::size_t, index = I);
  };

struct not_found
  {
    BOOST_ASIO_STATIC_CONSTEXPR(bool, value = false);
  };

template <typename T>
 struct find_convertible_property :
 conditional<
 is_same<T, Prop>::value || is_convertible<T, Prop>::value,
 found,
 not_found
 >::type {};

template <typename T>
 struct find_convertible_requirable_property :
 conditional<
 is_requirable<Prop>::value
 && (is_same<T, Prop>::value || is_convertible<T, Prop>::value),
 found,
 not_found
 >::type {};

template <typename T>
 struct find_convertible_preferable_property :
 conditional<
 is_preferable<Prop>::value
 && (is_same<T, Prop>::value || is_convertible<T, Prop>::value),
 found,
 not_found
 >::type {};

struct find_context_as_property :
 conditional<
 is_context_as<Prop>::value,
 found,
 not_found
 >::type {};
};

#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <std::size_t I, typename Head, typename... Tail>
struct supportable_properties<I, void(Head, Tail...)>
{
 template <typename T>
 struct is_valid_target : integral_constant<bool,
 (
 supportable_properties<I,
 void(Head)>::template is_valid_target<T>::value
 &&
 supportable_properties::template is_valid_target<T>::value
 )
 >
 {
 };

template <typename T>
 struct find_convertible_property :
 conditional<
 is_convertible<T, Head>::value,
 typename supportable_properties<I, void(Head)>::found,
 typename supportable_properties::template find_convertible_property<T>
 >::type {};

template <typename T>
 struct find_convertible_requirable_property :
 conditional<
 is_requirable<Head>::value
 && is_convertible<T, Head>::value,
 typename supportable_properties<I, void(Head)>::found,
 typename supportable_properties::template find_convertible_requirable_property<T>
 >::type {};

template <typename T>
 struct find_convertible_preferable_property :
 conditional<
 is_preferable<Head>::value
 && is_convertible<T, Head>::value,
 typename supportable_properties<I, void(Head)>::found,
 typename supportable_properties::template find_convertible_preferable_property<T>
 >::type {};

struct find_context_as_property :
 conditional<
 is_context_as<Head>::value,
 typename supportable_properties<I, void(Head)>::found,
 typename supportable_properties::find_context_as_property
 >::type {};
};

#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROPS_BASE_DEF(n) \
 template <std::size_t I, \
 typename Head, BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 struct supportable_properties<I, \
 void(Head, BOOST_ASIO_VARIADIC_TARGS(n))> \
 { \
 template <typename T> \
 struct is_valid_target : integral_constant<bool, \
 ( \
 supportable_properties<I, \
 void(Head)>::template is_valid_target<T>::value \
 && \
 supportable_properties::template \
 is_valid_target<T>::value \
 ) \
 > \
 { \
 }; \
 \
 template <typename T> \
 struct find_convertible_property : \
 conditional< \
 is_convertible<T, Head>::value, \
 typename supportable_properties<I, void(Head)>::found, \
 typename supportable_properties::template \
 find_convertible_property<T> \
 >::type {}; \
 \
 template <typename T> \
 struct find_convertible_requirable_property : \
 conditional< \
 is_requirable<Head>::value \
 && is_convertible<T, Head>::value, \
 typename supportable_properties<I, void(Head)>::found, \
 typename supportable_properties::template \
 find_convertible_requirable_property<T> \
 >::type {}; \
 \
 template <typename T> \
 struct find_convertible_preferable_property : \
 conditional< \
 is_preferable<Head>::value \
 && is_convertible<T, Head>::value, \
 typename supportable_properties<I, void(Head)>::found, \
 typename supportable_properties::template \
 find_convertible_preferable_property<T> \
 >::type {}; \
 \
 struct find_context_as_property : \
 conditional< \
 is_context_as<Head>::value, \
 typename supportable_properties<I, void(Head)>::found, \
 typename supportable_properties::find_context_as_property \
 >::type {}; \
 }; \
 /**/
BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROPS_BASE_DEF)
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROPS_BASE_DEF

#endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename T, typename Props>
struct is_valid_target_executor :
 conditional<
 is_executor<T>::value,
 typename supportable_properties<0, Props>::template is_valid_target<T>,
 false_type
 >::type
{
};

class any_executor_base
{
public:
 any_executor_base() BOOST_ASIO_NOEXCEPT
 : object_fns_(object_fns_table<void>()),
 target_(0),
 target_fns_(target_fns_table<void>())
 {
 }

template <BOOST_ASIO_EXECUTION_EXECUTOR Executor>
 any_executor_base(Executor ex, false_type)
 : target_fns_(target_fns_table<Executor>(
 any_executor_base::query_blocking(ex,
 can_query<const Executor&, const execution::blocking_t&>())
 == execution::blocking.always))
 {
 any_executor_base::construct_object(ex,
 integral_constant<bool,
 sizeof(Executor) <= sizeof(object_type)
 && alignment_of<Executor>::value <= alignment_of<object_type>::value
 >());
 }

template <BOOST_ASIO_EXECUTION_EXECUTOR Executor>
 any_executor_base(Executor other, true_type)
 : object_fns_(object_fns_table<boost::asio::detail::shared_ptr<void> >()),
 target_fns_(other.target_fns_)
 {
 boost::asio::detail::shared_ptr<Executor> p =
 boost::asio::detail::make_shared<Executor>(
 BOOST_ASIO_MOVE_CAST(Executor)(other));
 target_ = p->template target<void>();
 new (&object_) boost::asio::detail::shared_ptr<void>(
 BOOST_ASIO_MOVE_CAST(boost::asio::detail::shared_ptr<Executor>)(p));
 }

any_executor_base(const any_executor_base& other) BOOST_ASIO_NOEXCEPT
    : object_fns_(other.object_fns_),
      target_fns_(other.target_fns_)
  {
    object_fns_->copy(*this, other);
  }

~any_executor_base() BOOST_ASIO_NOEXCEPT
  {
    object_fns_->destroy(*this);
  }

any_executor_base& operator=(
      const any_executor_base& other) BOOST_ASIO_NOEXCEPT
  {
    if (this != &other)
    {
      object_fns_->destroy(*this);
      object_fns_ = other.object_fns_;
      target_fns_ = other.target_fns_;
      object_fns_->copy(*this, other);
    }
    return *this;
  }

any_executor_base& operator=(nullptr_t) BOOST_ASIO_NOEXCEPT
 {
 object_fns_->destroy(*this);
 target_ = 0;
 object_fns_ = object_fns_table<void>();
 target_fns_ = target_fns_table<void>();
 return *this;
 }

#if defined(BOOST_ASIO_HAS_MOVE)

any_executor_base(any_executor_base&& other) BOOST_ASIO_NOEXCEPT
 : object_fns_(other.object_fns_),
 target_fns_(other.target_fns_)
 {
 other.object_fns_ = object_fns_table<void>();
 other.target_fns_ = target_fns_table<void>();
 object_fns_->move(*this, other);
 other.target_ = 0;
 }

any_executor_base& operator=(
 any_executor_base&& other) BOOST_ASIO_NOEXCEPT
 {
 if (this != &other)
 {
 object_fns_->destroy(*this);
 object_fns_ = other.object_fns_;
 other.object_fns_ = object_fns_table<void>();
 target_fns_ = other.target_fns_;
 other.target_fns_ = target_fns_table<void>();
 object_fns_->move(*this, other);
 other.target_ = 0;
 }
 return *this;
 }

#endif // defined(BOOST_ASIO_HAS_MOVE)

void swap(any_executor_base& other) BOOST_ASIO_NOEXCEPT
  {
    if (this != &other)
    {
      any_executor_base tmp(BOOST_ASIO_MOVE_CAST(any_executor_base)(other));
      other = BOOST_ASIO_MOVE_CAST(any_executor_base)(*this);
      *this = BOOST_ASIO_MOVE_CAST(any_executor_base)(tmp);
    }
  }

template <typename F>
 void execute(BOOST_ASIO_MOVE_ARG(F) f) const
 {
 if (target_fns_->blocking_execute != 0)
 {
 boost::asio::detail::non_const_lvalue<F> f2(f);
 target_fns_->blocking_execute(*this, function_view(f2.value));
 }
 else
 {
 target_fns_->execute(*this,
 function(BOOST_ASIO_MOVE_CAST(F)(f), std::allocator<void>()));
 }
 }

template <typename Executor>
 Executor* target()
 {
 return static_cast<Executor*>(target_);
 }

template <typename Executor>
 const Executor* target() const
 {
 return static_cast<Executor*>(target_);
 }

#if !defined(BOOST_ASIO_NO_TYPEID)
  const std::type_info& target_type() const
#else // !defined(BOOST_ASIO_NO_TYPEID)
  const void* target_type() const
#endif // !defined(BOOST_ASIO_NO_TYPEID)
  {
    return target_fns_->target_type();
  }

struct unspecified_bool_type_t {};
  typedef void (*unspecified_bool_type)(unspecified_bool_type_t);
  static void unspecified_bool_true(unspecified_bool_type_t) {}

operator unspecified_bool_type() const BOOST_ASIO_NOEXCEPT
  {
    return target_ ? &any_executor_base::unspecified_bool_true : 0;
  }

bool operator!() const BOOST_ASIO_NOEXCEPT
  {
    return target_ == 0;
  }

protected:
  bool equality_helper(const any_executor_base& other) const BOOST_ASIO_NOEXCEPT
  {
    if (target_ == other.target_)
      return true;
    if (target_ && !other.target_)
      return false;
    if (!target_ && other.target_)
      return false;
    if (target_fns_ != other.target_fns_)
      return false;
    return target_fns_->equal(*this, other);
  }

template <typename Ex>
 Ex& object()
 {
 return *static_cast<Ex*>(static_cast<void*>(&object_));
 }

template <typename Ex>
 const Ex& object() const
 {
 return *static_cast<const Ex*>(static_cast<const void*>(&object_));
 }

struct object_fns
  {
    void (*destroy)(any_executor_base&);
    void (*copy)(any_executor_base&, const any_executor_base&);
    void (*move)(any_executor_base&, any_executor_base&);
    const void* (*target)(const any_executor_base&);
  };

static void destroy_void(any_executor_base&)
  {
  }

static void copy_void(any_executor_base& ex1, const any_executor_base&)
  {
    ex1.target_ = 0;
  }

static void move_void(any_executor_base& ex1, any_executor_base&)
  {
    ex1.target_ = 0;
  }

static const void* target_void(const any_executor_base&)
  {
    return 0;
  }

template <typename Obj>
 static const object_fns* object_fns_table(
 typename enable_if<
 is_same<Obj, void>::value
 >::type* = 0)
 {
 static const object_fns fns =
 {
 &any_executor_base::destroy_void,
 &any_executor_base::copy_void,
 &any_executor_base::move_void,
 &any_executor_base::target_void
 };
 return &fns;
 }

static void destroy_shared(any_executor_base& ex)
 {
 typedef boost::asio::detail::shared_ptr<void> type;
 ex.object<type>().~type();
 }

static void copy_shared(any_executor_base& ex1, const any_executor_base& ex2)
 {
 typedef boost::asio::detail::shared_ptr<void> type;
 new (&ex1.object_) type(ex2.object<type>());
 ex1.target_ = ex2.target_;
 }

static void move_shared(any_executor_base& ex1, any_executor_base& ex2)
 {
 typedef boost::asio::detail::shared_ptr<void> type;
 new (&ex1.object_) type(BOOST_ASIO_MOVE_CAST(type)(ex2.object<type>()));
 ex1.target_ = ex2.target_;
 ex2.object<type>().~type();
 }

static const void* target_shared(const any_executor_base& ex)
 {
 typedef boost::asio::detail::shared_ptr<void> type;
 return ex.object<type>().get();
 }

template <typename Obj>
 static const object_fns* object_fns_table(
 typename enable_if<
 is_same<Obj, boost::asio::detail::shared_ptr<void> >::value
 >::type* = 0)
 {
 static const object_fns fns =
 {
 &any_executor_base::destroy_shared,
 &any_executor_base::copy_shared,
 &any_executor_base::move_shared,
 &any_executor_base::target_shared
 };
 return &fns;
 }

template <typename Obj>
 static void destroy_object(any_executor_base& ex)
 {
 ex.object<Obj>().~Obj();
 }

template <typename Obj>
 static void copy_object(any_executor_base& ex1, const any_executor_base& ex2)
 {
 new (&ex1.object_) Obj(ex2.object<Obj>());
 ex1.target_ = &ex1.object<Obj>();
 }

template <typename Obj>
 static void move_object(any_executor_base& ex1, any_executor_base& ex2)
 {
 new (&ex1.object_) Obj(BOOST_ASIO_MOVE_CAST(Obj)(ex2.object<Obj>()));
 ex1.target_ = &ex1.object<Obj>();
 ex2.object<Obj>().~Obj();
 }

template <typename Obj>
 static const void* target_object(const any_executor_base& ex)
 {
 return &ex.object<Obj>();
 }

template <typename Obj>
 static const object_fns* object_fns_table(
 typename enable_if<
 !is_same<Obj, void>::value
 && !is_same<Obj, boost::asio::detail::shared_ptr<void> >::value
 >::type* = 0)
 {
 static const object_fns fns =
 {
 &any_executor_base::destroy_object<Obj>,
 &any_executor_base::copy_object<Obj>,
 &any_executor_base::move_object<Obj>,
 &any_executor_base::target_object<Obj>
 };
 return &fns;
 }

typedef boost::asio::detail::executor_function function;
  typedef boost::asio::detail::executor_function_view function_view;

struct target_fns
  {
#if !defined(BOOST_ASIO_NO_TYPEID)
    const std::type_info& (*target_type)();
#else // !defined(BOOST_ASIO_NO_TYPEID)
    const void* (*target_type)();
#endif // !defined(BOOST_ASIO_NO_TYPEID)
    bool (*equal)(const any_executor_base&, const any_executor_base&);
    void (*execute)(const any_executor_base&, BOOST_ASIO_MOVE_ARG(function));
    void (*blocking_execute)(const any_executor_base&, function_view);
  };

#if !defined(BOOST_ASIO_NO_TYPEID)
  static const std::type_info& target_type_void()
  {
    return typeid(void);
  }
#else // !defined(BOOST_ASIO_NO_TYPEID)
  static const void* target_type_void()
  {
    return 0;
  }
#endif // !defined(BOOST_ASIO_NO_TYPEID)

static bool equal_void(const any_executor_base&, const any_executor_base&)
  {
    return true;
  }

static void execute_void(const any_executor_base&,
      BOOST_ASIO_MOVE_ARG(function))
  {
    bad_executor ex;
    boost::asio::detail::throw_exception(ex);
  }

static void blocking_execute_void(const any_executor_base&, function_view)
  {
    bad_executor ex;
    boost::asio::detail::throw_exception(ex);
  }

template <typename Ex>
 static const target_fns* target_fns_table(
 typename enable_if<
 is_same<Ex, void>::value
 >::type* = 0)
 {
 static const target_fns fns =
 {
 &any_executor_base::target_type_void,
 &any_executor_base::equal_void,
 &any_executor_base::execute_void,
 &any_executor_base::blocking_execute_void
 };
 return &fns;
 }

#if !defined(BOOST_ASIO_NO_TYPEID)
 template <typename Ex>
 static const std::type_info& target_type_ex()
 {
 return typeid(Ex);
 }
#else // !defined(BOOST_ASIO_NO_TYPEID)
 template <typename Ex>
 static const void* target_type_ex()
 {
 static int unique_id;
 return &unique_id;
 }
#endif // !defined(BOOST_ASIO_NO_TYPEID)

template <typename Ex>
 static bool equal_ex(const any_executor_base& ex1,
 const any_executor_base& ex2)
 {
 return *ex1.target<Ex>() == *ex2.target<Ex>();
 }

template <typename Ex>
 static void execute_ex(const any_executor_base& ex,
 BOOST_ASIO_MOVE_ARG(function) f)
 {
 execution::execute(*ex.target<Ex>(), BOOST_ASIO_MOVE_CAST(function)(f));
 }

template <typename Ex>
 static void blocking_execute_ex(const any_executor_base& ex, function_view f)
 {
 execution::execute(*ex.target<Ex>(), f);
 }

template <typename Ex>
 static const target_fns* target_fns_table(bool is_always_blocking,
 typename enable_if<
 !is_same<Ex, void>::value
 >::type* = 0)
 {
 static const target_fns fns_with_execute =
 {
 &any_executor_base::target_type_ex<Ex>,
 &any_executor_base::equal_ex<Ex>,
 &any_executor_base::execute_ex<Ex>,
 0
 };

static const target_fns fns_with_blocking_execute =
 {
 &any_executor_base::target_type_ex<Ex>,
 &any_executor_base::equal_ex<Ex>,
 0,
 &any_executor_base::blocking_execute_ex<Ex>
 };

return is_always_blocking ? &fns_with_blocking_execute : &fns_with_execute;
  }

#if defined(BOOST_ASIO_MSVC)
# pragma warning (push)
# pragma warning (disable:4702)
#endif // defined(BOOST_ASIO_MSVC)

static void query_fn_void(void*, const void*, const void*)
  {
    bad_executor ex;
    boost::asio::detail::throw_exception(ex);
  }

template <typename Ex, class Prop>
 static void query_fn_non_void(void*, const void* ex, const void* prop,
 typename enable_if<
 boost::asio::can_query<const Ex&, const Prop&>::value
 && is_same<typename Prop::polymorphic_query_result_type, void>::value
 >::type*)
 {
 boost::asio::query(*static_cast<const Ex*>(ex),
 *static_cast<const Prop*>(prop));
 }

template <typename Ex, class Prop>
 static void query_fn_non_void(void* result, const void* ex, const void* prop,
 typename enable_if<
 boost::asio::can_query<const Ex&, const Prop&>::value
 && !is_same<typename Prop::polymorphic_query_result_type, void>::value
 && is_reference<typename Prop::polymorphic_query_result_type>::value
 >::type*)
 {
 *static_cast<typename remove_reference<
 typename Prop::polymorphic_query_result_type>::type**>(result)
 = &static_cast<typename Prop::polymorphic_query_result_type>(
 boost::asio::query(*static_cast<const Ex*>(ex),
 *static_cast<const Prop*>(prop)));
 }

template <typename Ex, class Prop>
 static void query_fn_non_void(void*, const void*, const void*,
 typename enable_if<
 !boost::asio::can_query<const Ex&, const Prop&>::value
 && !is_same<typename Prop::polymorphic_query_result_type, void>::value
 && is_reference<typename Prop::polymorphic_query_result_type>::value
 >::type*)
 {
 std::terminate(); // Combination should not be possible.
 }

template <typename Ex, class Prop>
 static void query_fn_non_void(void* result, const void* ex, const void* prop,
 typename enable_if<
 boost::asio::can_query<const Ex&, const Prop&>::value
 && !is_same<typename Prop::polymorphic_query_result_type, void>::value
 && is_scalar<typename Prop::polymorphic_query_result_type>::value
 >::type*)
 {
 *static_cast<typename Prop::polymorphic_query_result_type*>(result)
 = static_cast<typename Prop::polymorphic_query_result_type>(
 boost::asio::query(*static_cast<const Ex*>(ex),
 *static_cast<const Prop*>(prop)));
 }

template <typename Ex, class Prop>
 static void query_fn_non_void(void* result, const void*, const void*,
 typename enable_if<
 !boost::asio::can_query<const Ex&, const Prop&>::value
 && !is_same<typename Prop::polymorphic_query_result_type, void>::value
 && is_scalar<typename Prop::polymorphic_query_result_type>::value
 >::type*)
 {
 *static_cast<typename Prop::polymorphic_query_result_type*>(result)
 = typename Prop::polymorphic_query_result_type();
 }

template <typename Ex, class Prop>
 static void query_fn_non_void(void* result, const void* ex, const void* prop,
 typename enable_if<
 boost::asio::can_query<const Ex&, const Prop&>::value
 && !is_same<typename Prop::polymorphic_query_result_type, void>::value
 && !is_reference<typename Prop::polymorphic_query_result_type>::value
 && !is_scalar<typename Prop::polymorphic_query_result_type>::value
 >::type*)
 {
 *static_cast<typename Prop::polymorphic_query_result_type**>(result)
 = new typename Prop::polymorphic_query_result_type(
 boost::asio::query(*static_cast<const Ex*>(ex),
 *static_cast<const Prop*>(prop)));
 }

template <typename Ex, class Prop>
 static void query_fn_non_void(void* result, const void*, const void*, ...)
 {
 *static_cast<typename Prop::polymorphic_query_result_type**>(result)
 = new typename Prop::polymorphic_query_result_type();
 }

template <typename Ex, class Prop>
 static void query_fn_impl(void* result, const void* ex, const void* prop,
 typename enable_if<
 is_same<Ex, void>::value
 >::type*)
 {
 query_fn_void(result, ex, prop);
 }

template <typename Ex, class Prop>
 static void query_fn_impl(void* result, const void* ex, const void* prop,
 typename enable_if<
 !is_same<Ex, void>::value
 >::type*)
 {
 query_fn_non_void<Ex, Prop>(result, ex, prop, 0);
 }

template <typename Ex, class Prop>
 static void query_fn(void* result, const void* ex, const void* prop)
 {
 query_fn_impl<Ex, Prop>(result, ex, prop, 0);
 }

template <typename Poly, typename Ex, class Prop>
 static Poly require_fn_impl(const void*, const void*,
 typename enable_if<
 is_same<Ex, void>::value
 >::type*)
 {
 bad_executor ex;
 boost::asio::detail::throw_exception(ex);
 return Poly();
 }

template <typename Poly, typename Ex, class Prop>
 static Poly require_fn_impl(const void* ex, const void* prop,
 typename enable_if<
 !is_same<Ex, void>::value && Prop::is_requirable
 >::type*)
 {
 return boost::asio::require(*static_cast<const Ex*>(ex),
 *static_cast<const Prop*>(prop));
 }

template <typename Poly, typename Ex, class Prop>
 static Poly require_fn_impl(const void*, const void*, ...)
 {
 return Poly();
 }

template <typename Poly, typename Ex, class Prop>
 static Poly require_fn(const void* ex, const void* prop)
 {
 return require_fn_impl<Poly, Ex, Prop>(ex, prop, 0);
 }

template <typename Poly, typename Ex, class Prop>
 static Poly prefer_fn_impl(const void*, const void*,
 typename enable_if<
 is_same<Ex, void>::value
 >::type*)
 {
 bad_executor ex;
 boost::asio::detail::throw_exception(ex);
 return Poly();
 }

template <typename Poly, typename Ex, class Prop>
 static Poly prefer_fn_impl(const void* ex, const void* prop,
 typename enable_if<
 !is_same<Ex, void>::value && Prop::is_preferable
 >::type*)
 {
 return boost::asio::prefer(*static_cast<const Ex*>(ex),
 *static_cast<const Prop*>(prop));
 }

template <typename Poly, typename Ex, class Prop>
 static Poly prefer_fn_impl(const void*, const void*, ...)
 {
 return Poly();
 }

template <typename Poly, typename Ex, class Prop>
 static Poly prefer_fn(const void* ex, const void* prop)
 {
 return prefer_fn_impl<Poly, Ex, Prop>(ex, prop, 0);
 }

template <typename Poly>
 struct prop_fns
 {
 void (*query)(void*, const void*, const void*);
 Poly (*require)(const void*, const void*);
 Poly (*prefer)(const void*, const void*);
 };

#if defined(BOOST_ASIO_MSVC)
# pragma warning (pop)
#endif // defined(BOOST_ASIO_MSVC)

private:
 template <typename Executor>
 static execution::blocking_t query_blocking(const Executor& ex, true_type)
 {
 return boost::asio::query(ex, execution::blocking);
 }

template <typename Executor>
 static execution::blocking_t query_blocking(const Executor&, false_type)
 {
 return execution::blocking_t();
 }

template <typename Executor>
 void construct_object(Executor& ex, true_type)
 {
 object_fns_ = object_fns_table<Executor>();
 target_ = new (&object_) Executor(BOOST_ASIO_MOVE_CAST(Executor)(ex));
 }

template <typename Executor>
 void construct_object(Executor& ex, false_type)
 {
 object_fns_ = object_fns_table<boost::asio::detail::shared_ptr<void> >();
 boost::asio::detail::shared_ptr<Executor> p =
 boost::asio::detail::make_shared<Executor>(
 BOOST_ASIO_MOVE_CAST(Executor)(ex));
 target_ = p.get();
 new (&object_) boost::asio::detail::shared_ptr<void>(
 BOOST_ASIO_MOVE_CAST(boost::asio::detail::shared_ptr<Executor>)(p));
 }

/*private:*/public:
// template <typename...> friend class any_executor;

typedef aligned_storage<
 sizeof(boost::asio::detail::shared_ptr<void>),
 alignment_of<boost::asio::detail::shared_ptr<void> >::value
 >::type object_type;

object_type object_;
  const object_fns* object_fns_;
  void* target_;
  const target_fns* target_fns_;
};

template <typename Derived, typename Property, typename = void>
struct any_executor_context
{
};

#if !defined(BOOST_ASIO_NO_TS_EXECUTORS)

template <typename Derived, typename Property>
struct any_executor_context<Derived, Property,
 typename enable_if<Property::value>::type>
{
 typename Property::query_result_type context() const
 {
 return static_cast<const Derived*>(this)->query(typename Property::type());
 }
};

#endif // !defined(BOOST_ASIO_NO_TS_EXECUTORS)

} // namespace detail

template <>
class any_executor<> : public detail::any_executor_base
{
public:
 any_executor() BOOST_ASIO_NOEXCEPT
 : detail::any_executor_base()
 {
 }

any_executor(nullptr_t) BOOST_ASIO_NOEXCEPT
    : detail::any_executor_base()
  {
  }

template <typename Executor>
 any_executor(Executor ex,
 typename enable_if<
 conditional<
 !is_same<Executor, any_executor>::value
 && !is_base_of<detail::any_executor_base, Executor>::value,
 is_executor<Executor>,
 false_type
 >::type::value
 >::type* = 0)
 : detail::any_executor_base(
 BOOST_ASIO_MOVE_CAST(Executor)(ex), false_type())
 {
 }

#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename... OtherSupportableProperties>
 any_executor(any_executor<OtherSupportableProperties...> other)
 : detail::any_executor_base(
 static_cast<const detail::any_executor_base&>(other))
 {
 }

#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename U0, typename U1, typename U2, typename U3,
 typename U4, typename U5, typename U6, typename U7>
 any_executor(any_executor<U0, U1, U2, U3, U4, U5, U6, U7> other)
 : detail::any_executor_base(
 static_cast<const detail::any_executor_base&>(other))
 {
 }

#endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

any_executor(const any_executor& other) BOOST_ASIO_NOEXCEPT
 : detail::any_executor_base(
 static_cast<const detail::any_executor_base&>(other))
 {
 }

any_executor& operator=(const any_executor& other) BOOST_ASIO_NOEXCEPT
 {
 if (this != &other)
 {
 detail::any_executor_base::operator=(
 static_cast<const detail::any_executor_base&>(other));
 }
 return *this;
 }

any_executor& operator=(nullptr_t p) BOOST_ASIO_NOEXCEPT
  {
    detail::any_executor_base::operator=(p);
    return *this;
  }

#if defined(BOOST_ASIO_HAS_MOVE)

any_executor(any_executor&& other) BOOST_ASIO_NOEXCEPT
 : detail::any_executor_base(
 static_cast<any_executor_base&&>(
 static_cast<any_executor_base&>(other)))
 {
 }

any_executor& operator=(any_executor&& other) BOOST_ASIO_NOEXCEPT
 {
 if (this != &other)
 {
 detail::any_executor_base::operator=(
 static_cast<detail::any_executor_base&&>(
 static_cast<detail::any_executor_base&>(other)));
 }
 return *this;
 }

#endif // defined(BOOST_ASIO_HAS_MOVE)

void swap(any_executor& other) BOOST_ASIO_NOEXCEPT
 {
 detail::any_executor_base::swap(
 static_cast<detail::any_executor_base&>(other));
 }

using detail::any_executor_base::execute;
  using detail::any_executor_base::target;
  using detail::any_executor_base::target_type;
  using detail::any_executor_base::operator unspecified_bool_type;
  using detail::any_executor_base::operator!;

bool equality_helper(const any_executor& other) const BOOST_ASIO_NOEXCEPT
  {
    return any_executor_base::equality_helper(other);
  }
};

inline bool operator==(const any_executor<>& a,
 const any_executor<>& b) BOOST_ASIO_NOEXCEPT
{
 return a.equality_helper(b);
}

inline bool operator==(const any_executor<>& a, nullptr_t) BOOST_ASIO_NOEXCEPT
{
 return !a;
}

inline bool operator==(nullptr_t, const any_executor<>& b) BOOST_ASIO_NOEXCEPT
{
 return !b;
}

inline bool operator!=(const any_executor<>& a,
 const any_executor<>& b) BOOST_ASIO_NOEXCEPT
{
 return !a.equality_helper(b);
}

inline bool operator!=(const any_executor<>& a, nullptr_t) BOOST_ASIO_NOEXCEPT
{
 return !!a;
}

inline bool operator!=(nullptr_t, const any_executor<>& b) BOOST_ASIO_NOEXCEPT
{
 return !!b;
}

inline void swap(any_executor<>& a, any_executor<>& b) BOOST_ASIO_NOEXCEPT
{
 return a.swap(b);
}

#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename... SupportableProperties>
class any_executor :
 public detail::any_executor_base,
 public detail::any_executor_context<
 any_executor<SupportableProperties...>,
 typename detail::supportable_properties<
 0, void(SupportableProperties...)>::find_context_as_property>
{
public:
 any_executor() BOOST_ASIO_NOEXCEPT
 : detail::any_executor_base(),
 prop_fns_(prop_fns_table<void>())
 {
 }

any_executor(nullptr_t) BOOST_ASIO_NOEXCEPT
 : detail::any_executor_base(),
 prop_fns_(prop_fns_table<void>())
 {
 }

template <typename Executor>
 any_executor(Executor ex,
 typename enable_if<
 conditional<
 !is_same<Executor, any_executor>::value
 && !is_base_of<detail::any_executor_base, Executor>::value,
 detail::is_valid_target_executor<
 Executor, void(SupportableProperties...)>,
 false_type
 >::type::value
 >::type* = 0)
 : detail::any_executor_base(
 BOOST_ASIO_MOVE_CAST(Executor)(ex), false_type()),
 prop_fns_(prop_fns_table<Executor>())
 {
 }

template <typename... OtherSupportableProperties>
 any_executor(any_executor<OtherSupportableProperties...> other,
 typename enable_if<
 conditional<
 !is_same<
 any_executor<OtherSupportableProperties...>,
 any_executor
 >::value,
 typename detail::supportable_properties<
 0, void(SupportableProperties...)>::template is_valid_target<
 any_executor<OtherSupportableProperties...> >,
 false_type
 >::type::value
 >::type* = 0)
 : detail::any_executor_base(BOOST_ASIO_MOVE_CAST(
 any_executor<OtherSupportableProperties...>)(other), true_type()),
 prop_fns_(prop_fns_table<any_executor<OtherSupportableProperties...> >())
 {
 }

any_executor(const any_executor& other) BOOST_ASIO_NOEXCEPT
 : detail::any_executor_base(
 static_cast<const detail::any_executor_base&>(other)),
 prop_fns_(other.prop_fns_)
 {
 }

any_executor& operator=(const any_executor& other) BOOST_ASIO_NOEXCEPT
 {
 if (this != &other)
 {
 prop_fns_ = other.prop_fns_;
 detail::any_executor_base::operator=(
 static_cast<const detail::any_executor_base&>(other));
 }
 return *this;
 }

any_executor& operator=(nullptr_t p) BOOST_ASIO_NOEXCEPT
 {
 prop_fns_ = prop_fns_table<void>();
 detail::any_executor_base::operator=(p);
 return *this;
 }

#if defined(BOOST_ASIO_HAS_MOVE)

any_executor(any_executor&& other) BOOST_ASIO_NOEXCEPT
 : detail::any_executor_base(
 static_cast<any_executor_base&&>(
 static_cast<any_executor_base&>(other))),
 prop_fns_(other.prop_fns_)
 {
 other.prop_fns_ = prop_fns_table<void>();
 }

any_executor& operator=(any_executor&& other) BOOST_ASIO_NOEXCEPT
 {
 if (this != &other)
 {
 prop_fns_ = other.prop_fns_;
 detail::any_executor_base::operator=(
 static_cast<detail::any_executor_base&&>(
 static_cast<detail::any_executor_base&>(other)));
 }
 return *this;
 }

#endif // defined(BOOST_ASIO_HAS_MOVE)

void swap(any_executor& other) BOOST_ASIO_NOEXCEPT
 {
 if (this != &other)
 {
 detail::any_executor_base::swap(
 static_cast<detail::any_executor_base&>(other));
 const prop_fns<any_executor>* tmp_prop_fns = other.prop_fns_;
 other.prop_fns_ = prop_fns_;
 prop_fns_ = tmp_prop_fns;
 }
 }

bool equality_helper(const any_executor& other) const BOOST_ASIO_NOEXCEPT
  {
    return any_executor_base::equality_helper(other);
  }

template <typename T>
 struct find_convertible_property :
 detail::supportable_properties<
 0, void(SupportableProperties...)>::template
 find_convertible_property<T> {};

template <typename Property>
 void query(const Property& p,
 typename enable_if<
 is_same<
 typename find_convertible_property<Property>::query_result_type,
 void
 >::value
 >::type* = 0) const
 {
 typedef find_convertible_property<Property> found;
 prop_fns_[found::index].query(0, object_fns_->target(*this),
 &static_cast<const typename found::type&>(p));
 }

template <typename Property>
 typename find_convertible_property<Property>::query_result_type
 query(const Property& p,
 typename enable_if<
 !is_same<
 typename find_convertible_property<Property>::query_result_type,
 void
 >::value
 &&
 is_reference<
 typename find_convertible_property<Property>::query_result_type
 >::value
 >::type* = 0) const
 {
 typedef find_convertible_property<Property> found;
 typename remove_reference<
 typename found::query_result_type>::type* result = 0;
 prop_fns_[found::index].query(&result, object_fns_->target(*this),
 &static_cast<const typename found::type&>(p));
 return *result;
 }

template <typename Property>
 typename find_convertible_property<Property>::query_result_type
 query(const Property& p,
 typename enable_if<
 !is_same<
 typename find_convertible_property<Property>::query_result_type,
 void
 >::value
 &&
 is_scalar<
 typename find_convertible_property<Property>::query_result_type
 >::value
 >::type* = 0) const
 {
 typedef find_convertible_property<Property> found;
 typename found::query_result_type result;
 prop_fns_[found::index].query(&result, object_fns_->target(*this),
 &static_cast<const typename found::type&>(p));
 return result;
 }

template <typename Property>
 typename find_convertible_property<Property>::query_result_type
 query(const Property& p,
 typename enable_if<
 !is_same<
 typename find_convertible_property<Property>::query_result_type,
 void
 >::value
 &&
 !is_reference<
 typename find_convertible_property<Property>::query_result_type
 >::value
 &&
 !is_scalar<
 typename find_convertible_property<Property>::query_result_type
 >::value
 >::type* = 0) const
 {
 typedef find_convertible_property<Property> found;
 typename found::query_result_type* result;
 prop_fns_[found::index].query(&result, object_fns_->target(*this),
 &static_cast<const typename found::type&>(p));
 return *boost::asio::detail::scoped_ptr<
 typename found::query_result_type>(result);
 }

template <typename T>
 struct find_convertible_requirable_property :
 detail::supportable_properties<
 0, void(SupportableProperties...)>::template
 find_convertible_requirable_property<T> {};

template <typename Property>
 any_executor require(const Property& p,
 typename enable_if<
 find_convertible_requirable_property<Property>::value
 >::type* = 0) const
 {
 typedef find_convertible_requirable_property<Property> found;
 return prop_fns_[found::index].require(object_fns_->target(*this),
 &static_cast<const typename found::type&>(p));
 }

template <typename T>
 struct find_convertible_preferable_property :
 detail::supportable_properties<
 0, void(SupportableProperties...)>::template
 find_convertible_preferable_property<T> {};

template <typename Property>
 any_executor prefer(const Property& p,
 typename enable_if<
 find_convertible_preferable_property<Property>::value
 >::type* = 0) const
 {
 typedef find_convertible_preferable_property<Property> found;
 return prop_fns_[found::index].prefer(object_fns_->target(*this),
 &static_cast<const typename found::type&>(p));
 }

//private:
 template <typename Ex>
 static const prop_fns<any_executor>* prop_fns_table()
 {
 static const prop_fns<any_executor> fns[] =
 {
 {
 &detail::any_executor_base::query_fn<
 Ex, SupportableProperties>,
 &detail::any_executor_base::require_fn<
 any_executor, Ex, SupportableProperties>,
 &detail::any_executor_base::prefer_fn<
 any_executor, Ex, SupportableProperties>
 }...
 };
 return fns;
 }

const prop_fns<any_executor>* prop_fns_;
};

template <typename... SupportableProperties>
inline bool operator==(const any_executor<SupportableProperties...>& a,
 const any_executor<SupportableProperties...>& b) BOOST_ASIO_NOEXCEPT
{
 return a.equality_helper(b);
}

template <typename... SupportableProperties>
inline bool operator==(const any_executor<SupportableProperties...>& a,
 nullptr_t) BOOST_ASIO_NOEXCEPT
{
 return !a;
}

template <typename... SupportableProperties>
inline bool operator==(nullptr_t,
 const any_executor<SupportableProperties...>& b) BOOST_ASIO_NOEXCEPT
{
 return !b;
}

template <typename... SupportableProperties>
inline bool operator!=(const any_executor<SupportableProperties...>& a,
 const any_executor<SupportableProperties...>& b) BOOST_ASIO_NOEXCEPT
{
 return !a.equality_helper(b);
}

template <typename... SupportableProperties>
inline bool operator!=(const any_executor<SupportableProperties...>& a,
 nullptr_t) BOOST_ASIO_NOEXCEPT
{
 return !!a;
}

template <typename... SupportableProperties>
inline bool operator!=(nullptr_t,
 const any_executor<SupportableProperties...>& b) BOOST_ASIO_NOEXCEPT
{
 return !!b;
}

template <typename... SupportableProperties>
inline void swap(any_executor<SupportableProperties...>& a,
 any_executor<SupportableProperties...>& b) BOOST_ASIO_NOEXCEPT
{
 return a.swap(b);
}

#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS(n) \
  BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_##n

#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_1 \
 { \
 &detail::any_executor_base::query_fn<Ex, T1>, \
 &detail::any_executor_base::require_fn<any_executor, Ex, T1>, \
 &detail::any_executor_base::prefer_fn<any_executor, Ex, T1> \
 }
#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_2 \
 BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_1, \
 { \
 &detail::any_executor_base::query_fn<Ex, T2>, \
 &detail::any_executor_base::require_fn<any_executor, Ex, T2>, \
 &detail::any_executor_base::prefer_fn<any_executor, Ex, T2> \
 }
#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_3 \
 BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_2, \
 { \
 &detail::any_executor_base::query_fn<Ex, T3>, \
 &detail::any_executor_base::require_fn<any_executor, Ex, T3>, \
 &detail::any_executor_base::prefer_fn<any_executor, Ex, T3> \
 }
#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_4 \
 BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_3, \
 { \
 &detail::any_executor_base::query_fn<Ex, T4>, \
 &detail::any_executor_base::require_fn<any_executor, Ex, T4>, \
 &detail::any_executor_base::prefer_fn<any_executor, Ex, T4> \
 }
#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_5 \
 BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_4, \
 { \
 &detail::any_executor_base::query_fn<Ex, T5>, \
 &detail::any_executor_base::require_fn<any_executor, Ex, T5>, \
 &detail::any_executor_base::prefer_fn<any_executor, Ex, T5> \
 }
#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_6 \
 BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_5, \
 { \
 &detail::any_executor_base::query_fn<Ex, T6>, \
 &detail::any_executor_base::require_fn<any_executor, Ex, T6>, \
 &detail::any_executor_base::prefer_fn<any_executor, Ex, T6> \
 }
#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_7 \
 BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_6, \
 { \
 &detail::any_executor_base::query_fn<Ex, T7>, \
 &detail::any_executor_base::require_fn<any_executor, Ex, T7>, \
 &detail::any_executor_base::prefer_fn<any_executor, Ex, T7> \
 }
#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_8 \
 BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_7, \
 { \
 &detail::any_executor_base::query_fn<Ex, T8>, \
 &detail::any_executor_base::require_fn<any_executor, Ex, T8>, \
 &detail::any_executor_base::prefer_fn<any_executor, Ex, T8> \
 }

#if defined(BOOST_ASIO_HAS_MOVE)

# define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_MOVE_OPS \
 any_executor(any_executor&& other) BOOST_ASIO_NOEXCEPT \
 : detail::any_executor_base( \
 static_cast<any_executor_base&&>( \
 static_cast<any_executor_base&>(other))), \
 prop_fns_(other.prop_fns_) \
 { \
 other.prop_fns_ = prop_fns_table<void>(); \
 } \
 \
 any_executor& operator=(any_executor&& other) BOOST_ASIO_NOEXCEPT \
 { \
 if (this != &other) \
 { \
 prop_fns_ = other.prop_fns_; \
 detail::any_executor_base::operator=( \
 static_cast<detail::any_executor_base&&>( \
 static_cast<detail::any_executor_base&>(other))); \
 } \
 return *this; \
 } \
 /**/
#else // defined(BOOST_ASIO_HAS_MOVE)

# define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_MOVE_OPS

#endif // defined(BOOST_ASIO_HAS_MOVE)

#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_DEF(n) \
 template <BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 class any_executor<BOOST_ASIO_VARIADIC_TARGS(n)> : \
 public detail::any_executor_base, \
 public detail::any_executor_context< \
 any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>, \
 typename detail::supportable_properties< \
 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::find_context_as_property> \
 { \
 public: \
 any_executor() BOOST_ASIO_NOEXCEPT \
 : detail::any_executor_base(), \
 prop_fns_(prop_fns_table<void>()) \
 { \
 } \
 \
 any_executor(nullptr_t) BOOST_ASIO_NOEXCEPT \
 : detail::any_executor_base(), \
 prop_fns_(prop_fns_table<void>()) \
 { \
 } \
 \
 template <BOOST_ASIO_EXECUTION_EXECUTOR Executor> \
 any_executor(Executor ex, \
 typename enable_if< \
 conditional< \
 !is_same<Executor, any_executor>::value \
 && !is_base_of<detail::any_executor_base, Executor>::value, \
 detail::is_valid_target_executor< \
 Executor, void(BOOST_ASIO_VARIADIC_TARGS(n))>, \
 false_type \
 >::type::value \
 >::type* = 0) \
 : detail::any_executor_base(BOOST_ASIO_MOVE_CAST( \
 Executor)(ex), false_type()), \
 prop_fns_(prop_fns_table<Executor>()) \
 { \
 } \
 \
 any_executor(const any_executor& other) BOOST_ASIO_NOEXCEPT \
 : detail::any_executor_base( \
 static_cast<const detail::any_executor_base&>(other)), \
 prop_fns_(other.prop_fns_) \
 { \
 } \
 \
 any_executor(any_executor<> other) \
 : detail::any_executor_base(BOOST_ASIO_MOVE_CAST( \
 any_executor<>)(other), true_type()), \
 prop_fns_(prop_fns_table<any_executor<> >()) \
 { \
 } \
 \
 template <typename OtherAnyExecutor> \
 any_executor(OtherAnyExecutor other, \
 typename enable_if< \
 conditional< \
 !is_same<OtherAnyExecutor, any_executor>::value \
 && is_base_of<detail::any_executor_base, \
 OtherAnyExecutor>::value, \
 typename detail::supportable_properties< \
 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \
 is_valid_target<OtherAnyExecutor>, \
 false_type \
 >::type::value \
 >::type* = 0) \
 : detail::any_executor_base(BOOST_ASIO_MOVE_CAST( \
 OtherAnyExecutor)(other), true_type()), \
 prop_fns_(prop_fns_table<OtherAnyExecutor>()) \
 { \
 } \
 \
 any_executor& operator=(const any_executor& other) BOOST_ASIO_NOEXCEPT \
 { \
 if (this != &other) \
 { \
 prop_fns_ = other.prop_fns_; \
 detail::any_executor_base::operator=( \
 static_cast<const detail::any_executor_base&>(other)); \
 } \
 return *this; \
 } \
 \
 any_executor& operator=(nullptr_t p) BOOST_ASIO_NOEXCEPT \
 { \
 prop_fns_ = prop_fns_table<void>(); \
 detail::any_executor_base::operator=(p); \
 return *this; \
 } \
 \
 BOOST_ASIO_PRIVATE_ANY_EXECUTOR_MOVE_OPS \
 \
 void swap(any_executor& other) BOOST_ASIO_NOEXCEPT \
 { \
 if (this != &other) \
 { \
 detail::any_executor_base::swap( \
 static_cast<detail::any_executor_base&>(other)); \
 const prop_fns<any_executor>* tmp_prop_fns = other.prop_fns_; \
 other.prop_fns_ = prop_fns_; \
 prop_fns_ = tmp_prop_fns; \
 } \
 } \
 \
 using detail::any_executor_base::execute; \
 using detail::any_executor_base::target; \
 using detail::any_executor_base::target_type; \
 using detail::any_executor_base::operator unspecified_bool_type; \
 using detail::any_executor_base::operator!; \
 \
 bool equality_helper(const any_executor& other) const BOOST_ASIO_NOEXCEPT \
 { \
 return any_executor_base::equality_helper(other); \
 } \
 \
 template <typename T> \
 struct find_convertible_property : \
 detail::supportable_properties< \
 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \
 find_convertible_property<T> {}; \
 \
 template <typename Property> \
 void query(const Property& p, \
 typename enable_if< \
 is_same< \
 typename find_convertible_property<Property>::query_result_type, \
 void \
 >::value \
 >::type* = 0) const \
 { \
 typedef find_convertible_property<Property> found; \
 prop_fns_[found::index].query(0, object_fns_->target(*this), \
 &static_cast<const typename found::type&>(p)); \
 } \
 \
 template <typename Property> \
 typename find_convertible_property<Property>::query_result_type \
 query(const Property& p, \
 typename enable_if< \
 !is_same< \
 typename find_convertible_property<Property>::query_result_type, \
 void \
 >::value \
 && \
 is_reference< \
 typename find_convertible_property<Property>::query_result_type \
 >::value \
 >::type* = 0) const \
 { \
 typedef find_convertible_property<Property> found; \
 typename remove_reference< \
 typename found::query_result_type>::type* result; \
 prop_fns_[found::index].query(&result, object_fns_->target(*this), \
 &static_cast<const typename found::type&>(p)); \
 return *result; \
 } \
 \
 template <typename Property> \
 typename find_convertible_property<Property>::query_result_type \
 query(const Property& p, \
 typename enable_if< \
 !is_same< \
 typename find_convertible_property<Property>::query_result_type, \
 void \
 >::value \
 && \
 is_scalar< \
 typename find_convertible_property<Property>::query_result_type \
 >::value \
 >::type* = 0) const \
 { \
 typedef find_convertible_property<Property> found; \
 typename found::query_result_type result; \
 prop_fns_[found::index].query(&result, object_fns_->target(*this), \
 &static_cast<const typename found::type&>(p)); \
 return result; \
 } \
 \
 template <typename Property> \
 typename find_convertible_property<Property>::query_result_type \
 query(const Property& p, \
 typename enable_if< \
 !is_same< \
 typename find_convertible_property<Property>::query_result_type, \
 void \
 >::value \
 && \
 !is_reference< \
 typename find_convertible_property<Property>::query_result_type \
 >::value \
 && \
 !is_scalar< \
 typename find_convertible_property<Property>::query_result_type \
 >::value \
 >::type* = 0) const \
 { \
 typedef find_convertible_property<Property> found; \
 typename found::query_result_type* result; \
 prop_fns_[found::index].query(&result, object_fns_->target(*this), \
 &static_cast<const typename found::type&>(p)); \
 return *boost::asio::detail::scoped_ptr< \
 typename found::query_result_type>(result); \
 } \
 \
 template <typename T> \
 struct find_convertible_requirable_property : \
 detail::supportable_properties< \
 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \
 find_convertible_requirable_property<T> {}; \
 \
 template <typename Property> \
 any_executor require(const Property& p, \
 typename enable_if< \
 find_convertible_requirable_property<Property>::value \
 >::type* = 0) const \
 { \
 typedef find_convertible_requirable_property<Property> found; \
 return prop_fns_[found::index].require(object_fns_->target(*this), \
 &static_cast<const typename found::type&>(p)); \
 } \
 \
 template <typename T> \
 struct find_convertible_preferable_property : \
 detail::supportable_properties< \
 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \
 find_convertible_preferable_property<T> {}; \
 \
 template <typename Property> \
 any_executor prefer(const Property& p, \
 typename enable_if< \
 find_convertible_preferable_property<Property>::value \
 >::type* = 0) const \
 { \
 typedef find_convertible_preferable_property<Property> found; \
 return prop_fns_[found::index].prefer(object_fns_->target(*this), \
 &static_cast<const typename found::type&>(p)); \
 } \
 \
 template <typename Ex> \
 static const prop_fns<any_executor>* prop_fns_table() \
 { \
 static const prop_fns<any_executor> fns[] = \
 { \
 BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS(n) \
 }; \
 return fns; \
 } \
 \
 const prop_fns<any_executor>* prop_fns_; \
 typedef detail::supportable_properties<0, \
 void(BOOST_ASIO_VARIADIC_TARGS(n))> supportable_properties_type; \
 }; \
 \
 template <BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 inline bool operator==(const any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>& a, \
 const any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>& b) BOOST_ASIO_NOEXCEPT \
 { \
 return a.equality_helper(b); \
 } \
 \
 template <BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 inline bool operator==(const any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>& a, \
 nullptr_t) BOOST_ASIO_NOEXCEPT \
 { \
 return !a; \
 } \
 \
 template <BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 inline bool operator==(nullptr_t, \
 const any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>& b) BOOST_ASIO_NOEXCEPT \
 { \
 return !b; \
 } \
 \
 template <BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 inline bool operator!=(const any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>& a, \
 const any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>& b) BOOST_ASIO_NOEXCEPT \
 { \
 return !a.equality_helper(b); \
 } \
 \
 template <BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 inline bool operator!=(const any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>& a, \
 nullptr_t) BOOST_ASIO_NOEXCEPT \
 { \
 return !!a; \
 } \
 \
 template <BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 inline bool operator!=(nullptr_t, \
 const any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>& b) BOOST_ASIO_NOEXCEPT \
 { \
 return !!b; \
 } \
 \
 template <BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 inline void swap(any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>& a, \
 any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>& b) BOOST_ASIO_NOEXCEPT \
 { \
 return a.swap(b); \
 } \
 /**/
 BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_ANY_EXECUTOR_DEF)
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_DEF
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_MOVE_OPS
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_1
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_2
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_3
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_4
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_5
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_6
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_7
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_8

#endif // if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

} // namespace execution
namespace traits {

#if !defined(BOOST_ASIO_HAS_DEDUCED_EQUALITY_COMPARABLE_TRAIT)
#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename... SupportableProperties>
struct equality_comparable<execution::any_executor<SupportableProperties...> >
{
 static const bool is_valid = true;
 static const bool is_noexcept = true;
};

#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <>
struct equality_comparable<execution::any_executor<> >
{
 static const bool is_valid = true;
 static const bool is_noexcept = true;
};

#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_EQUALITY_COMPARABLE_DEF(n) \
 template <BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 struct equality_comparable< \
 execution::any_executor<BOOST_ASIO_VARIADIC_TARGS(n)> > \
 { \
 static const bool is_valid = true; \
 static const bool is_noexcept = true; \
 }; \
 /**/
 BOOST_ASIO_VARIADIC_GENERATE(
 BOOST_ASIO_PRIVATE_ANY_EXECUTOR_EQUALITY_COMPARABLE_DEF)
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_EQUALITY_COMPARABLE_DEF

#endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)
#endif // !defined(BOOST_ASIO_HAS_DEDUCED_EQUALITY_COMPARABLE_TRAIT)

#if !defined(BOOST_ASIO_HAS_DEDUCED_EXECUTE_MEMBER_TRAIT)
#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename F, typename... SupportableProperties>
struct execute_member<execution::any_executor<SupportableProperties...>, F>
{
 static const bool is_valid = true;
 static const bool is_noexcept = false;
 typedef void result_type;
};

#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename F>
struct execute_member<execution::any_executor<>, F>
{
 static const bool is_valid = true;
 static const bool is_noexcept = false;
 typedef void result_type;
};

#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_EXECUTE_MEMBER_DEF(n) \
 template <typename F, BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 struct execute_member< \
 execution::any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>, F> \
 { \
 static const bool is_valid = true; \
 static const bool is_noexcept = false; \
 typedef void result_type; \
 }; \
 /**/
 BOOST_ASIO_VARIADIC_GENERATE(
 BOOST_ASIO_PRIVATE_ANY_EXECUTOR_EXECUTE_MEMBER_DEF)
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_EXECUTE_MEMBER_DEF

#endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)
#endif // !defined(BOOST_ASIO_HAS_DEDUCED_EXECUTE_MEMBER_TRAIT)

#if !defined(BOOST_ASIO_HAS_DEDUCED_QUERY_MEMBER_TRAIT)
#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename Prop, typename... SupportableProperties>
struct query_member<
 execution::any_executor<SupportableProperties...>, Prop,
 typename enable_if<
 execution::detail::supportable_properties<
 0, void(SupportableProperties...)>::template
 find_convertible_property<Prop>::value
 >::type>
{
 static const bool is_valid = true;
 static const bool is_noexcept = false;
 typedef typename execution::detail::supportable_properties<
 0, void(SupportableProperties...)>::template
 find_convertible_property<Prop>::query_result_type result_type;
};

#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_QUERY_MEMBER_DEF(n) \
 template <typename Prop, BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 struct query_member< \
 execution::any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>, Prop, \
 typename enable_if< \
 execution::detail::supportable_properties< \
 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \
 find_convertible_property<Prop>::value \
 >::type> \
 { \
 static const bool is_valid = true; \
 static const bool is_noexcept = false; \
 typedef typename execution::detail::supportable_properties< \
 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \
 find_convertible_property<Prop>::query_result_type result_type; \
 }; \
 /**/
 BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_ANY_EXECUTOR_QUERY_MEMBER_DEF)
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_QUERY_MEMBER_DEF

#endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)
#endif // !defined(BOOST_ASIO_HAS_DEDUCED_QUERY_MEMBER_TRAIT)

#if !defined(BOOST_ASIO_HAS_DEDUCED_REQUIRE_MEMBER_TRAIT)
#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename Prop, typename... SupportableProperties>
struct require_member<
 execution::any_executor<SupportableProperties...>, Prop,
 typename enable_if<
 execution::detail::supportable_properties<
 0, void(SupportableProperties...)>::template
 find_convertible_requirable_property<Prop>::value
 >::type>
{
 static const bool is_valid = true;
 static const bool is_noexcept = false;
 typedef execution::any_executor<SupportableProperties...> result_type;
};

#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_REQUIRE_MEMBER_DEF(n) \
 template <typename Prop, BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 struct require_member< \
 execution::any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>, Prop, \
 typename enable_if< \
 execution::detail::supportable_properties< \
 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \
 find_convertible_requirable_property<Prop>::value \
 >::type> \
 { \
 static const bool is_valid = true; \
 static const bool is_noexcept = false; \
 typedef execution::any_executor<BOOST_ASIO_VARIADIC_TARGS(n)> result_type; \
 }; \
 /**/
 BOOST_ASIO_VARIADIC_GENERATE(
 BOOST_ASIO_PRIVATE_ANY_EXECUTOR_REQUIRE_MEMBER_DEF)
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_REQUIRE_MEMBER_DEF

#endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)
#endif // !defined(BOOST_ASIO_HAS_DEDUCED_REQUIRE_MEMBER_TRAIT)

#if !defined(BOOST_ASIO_HAS_DEDUCED_PREFER_FREE_TRAIT)
#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename Prop, typename... SupportableProperties>
struct prefer_member<
 execution::any_executor<SupportableProperties...>, Prop,
 typename enable_if<
 execution::detail::supportable_properties<
 0, void(SupportableProperties...)>::template
 find_convertible_preferable_property<Prop>::value
 >::type>
{
 static const bool is_valid = true;
 static const bool is_noexcept = false;
 typedef execution::any_executor<SupportableProperties...> result_type;
};

#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

#define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PREFER_FREE_DEF(n) \
 template <typename Prop, BOOST_ASIO_VARIADIC_TPARAMS(n)> \
 struct prefer_member< \
 execution::any_executor<BOOST_ASIO_VARIADIC_TARGS(n)>, Prop, \
 typename enable_if< \
 execution::detail::supportable_properties< \
 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \
 find_convertible_preferable_property<Prop>::value \
 >::type> \
 { \
 static const bool is_valid = true; \
 static const bool is_noexcept = false; \
 typedef execution::any_executor<BOOST_ASIO_VARIADIC_TARGS(n)> result_type; \
 }; \
 /**/
 BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PREFER_FREE_DEF)
#undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PREFER_FREE_DEF

#endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)
#endif // !defined(BOOST_ASIO_HAS_DEDUCED_PREFER_FREE_TRAIT)

} // namespace traits

#endif // defined(GENERATING_DOCUMENTATION)

} // namespace asio
} // namespace boost

#include <boost/asio/detail/pop_options.hpp>

#endif // BOOST_ASIO_EXECUTION_ANY_EXECUTOR_HPP

// // execution/any_executor.hpp // ~~~~~~~~~~~~~~~~~~~~~~~~~~ // // Copyright (c) 2003-2020 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 BOOST_ASIO_EXECUTION_ANY_EXECUTOR_HPP #define BOOST_ASIO_EXECUTION_ANY_EXECUTOR_HPP #if defined(_MSC_VER) && (_MSC_VER >= 1200) # pragma once #endif // defined(_MSC_VER) && (_MSC_VER >= 1200) #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include namespace boost { namespace asio { #if defined(GENERATING_DOCUMENTATION) namespace execution { /// Polymorphic executor wrapper. template class any_executor { public: /// Default constructor. any_executor() noexcept; /// Construct in an empty state. Equivalent effects to default constructor. any_executor(nullptr_t) noexcept; /// Copy constructor. any_executor(const any_executor& e) noexcept; /// Move constructor. any_executor(any_executor&& e) noexcept; /// Construct to point to the same target as another any_executor. template any_executor(any_executor e); /// Construct a polymorphic wrapper for the specified executor. template any_executor(Executor e); /// Assignment operator. any_executor& operator=(const any_executor& e) noexcept; /// Move assignment operator. any_executor& operator=(any_executor&& e) noexcept; /// Assignment operator that sets the polymorphic wrapper to the empty state. any_executor& operator=(nullptr_t); /// Assignment operator to create a polymorphic wrapper for the specified /// executor. template any_executor& operator=(Executor e); /// Destructor. ~any_executor(); /// Swap targets with another polymorphic wrapper. void swap(any_executor& other) noexcept; /// Obtain a polymorphic wrapper with the specified property. /** * Do not call this function directly. It is intended for use with the * boost::asio::require and boost::asio::prefer customisation points. * * For example: * @code execution::any_executor ex = ...; * auto ex2 = boost::asio::requre(ex, execution::blocking.possibly); @endcode */ template any_executor require(Property) const; /// Obtain a polymorphic wrapper with the specified property. /** * Do not call this function directly. It is intended for use with the * boost::asio::prefer customisation point. * * For example: * @code execution::any_executor ex = ...; * auto ex2 = boost::asio::prefer(ex, execution::blocking.possibly); @endcode */ template any_executor prefer(Property) const; /// Obtain the value associated with the specified property. /** * Do not call this function directly. It is intended for use with the * boost::asio::query customisation point. * * For example: * @code execution::any_executor ex = ...; * size_t n = boost::asio::query(ex, execution::occupancy); @endcode */ template typename Property::polymorphic_query_result_type query(Property) const; /// Execute the function on the target executor. /** * Do not call this function directly. It is intended for use with the * execution::execute customisation point. * * For example: * @code execution::any_executor<> ex = ...; * execution::execute(ex, my_function_object); @endcode * * Throws boost::asio::bad_executor if the polymorphic wrapper has no target. */ template void execute(Function&& f) const; /// Obtain the underlying execution context. /** * This function is provided for backward compatibility. It is automatically * defined when the @c SupportableProperties... list includes a property of * type execution::context_as, for some type U. */ automatically_determined context() const; /// Determine whether the wrapper has a target executor. /** * @returns @c true if the polymorphic wrapper has a target executor, * otherwise false. */ explicit operator bool() const noexcept; /// Get the type of the target executor. const type_info& target_type() const noexcept; /// Get a pointer to the target executor. template Executor* target() noexcept; /// Get a pointer to the target executor. template const Executor* target() const noexcept; }; /// Equality operator. /** * @relates any_executor */ template bool operator==(const any_executor& a, const any_executor& b) noexcept; /// Equality operator. /** * @relates any_executor */ template bool operator==(const any_executor& a, nullptr_t) noexcept; /// Equality operator. /** * @relates any_executor */ template bool operator==(nullptr_t, const any_executor& b) noexcept; /// Inequality operator. /** * @relates any_executor */ template bool operator!=(const any_executor& a, const any_executor& b) noexcept; /// Inequality operator. /** * @relates any_executor */ template bool operator!=(const any_executor& a, nullptr_t) noexcept; /// Inequality operator. /** * @relates any_executor */ template bool operator!=(nullptr_t, const any_executor& b) noexcept; } // namespace execution #else // defined(GENERATING_DOCUMENTATION) namespace execution { #if !defined(BOOST_ASIO_EXECUTION_ANY_EXECUTOR_FWD_DECL) #define BOOST_ASIO_EXECUTION_ANY_EXECUTOR_FWD_DECL #if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template class any_executor; #else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template class any_executor; #endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) #endif // !defined(BOOST_ASIO_EXECUTION_ANY_EXECUTOR_FWD_DECL) template struct context_as_t; namespace detail { // Traits used to detect whether a property is requirable or preferable, taking // into account that T::is_requirable or T::is_preferable may not not be well // formed. template struct is_requirable : false_type {}; template struct is_requirable::type> : true_type {}; template struct is_preferable : false_type {}; template struct is_preferable::type> : true_type {}; // Trait used to detect context_as property, for backward compatibility. template struct is_context_as : false_type {}; template struct is_context_as > : true_type {}; // Helper template to: // - Check if a target can supply the supportable properties. // - Find the first convertible-from-T property in the list. template struct supportable_properties; template struct supportable_properties { template struct is_valid_target : integral_constant::value ? can_require::value : true ) && ( is_preferable::value ? can_prefer::value : true ) && ( !is_requirable::value && !is_preferable::value ? can_query::value : true ) > { }; struct found { BOOST_ASIO_STATIC_CONSTEXPR(bool, value = true); typedef Prop type; typedef typename Prop::polymorphic_query_result_type query_result_type; BOOST_ASIO_STATIC_CONSTEXPR(std::size_t, index = I); }; struct not_found { BOOST_ASIO_STATIC_CONSTEXPR(bool, value = false); }; template struct find_convertible_property : conditional< is_same::value || is_convertible::value, found, not_found >::type {}; template struct find_convertible_requirable_property : conditional< is_requirable::value && (is_same::value || is_convertible::value), found, not_found >::type {}; template struct find_convertible_preferable_property : conditional< is_preferable::value && (is_same::value || is_convertible::value), found, not_found >::type {}; struct find_context_as_property : conditional< is_context_as::value, found, not_found >::type {}; }; #if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template struct supportable_properties { template struct is_valid_target : integral_constant::template is_valid_target::value && supportable_properties::template is_valid_target::value ) > { }; template struct find_convertible_property : conditional< is_convertible::value, typename supportable_properties::found, typename supportable_properties::template find_convertible_property >::type {}; template struct find_convertible_requirable_property : conditional< is_requirable::value && is_convertible::value, typename supportable_properties::found, typename supportable_properties::template find_convertible_requirable_property >::type {}; template struct find_convertible_preferable_property : conditional< is_preferable::value && is_convertible::value, typename supportable_properties::found, typename supportable_properties::template find_convertible_preferable_property >::type {}; struct find_context_as_property : conditional< is_context_as::value, typename supportable_properties::found, typename supportable_properties::find_context_as_property >::type {}; }; #else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROPS_BASE_DEF(n) \ template \ struct supportable_properties \ { \ template \ struct is_valid_target : integral_constant::template is_valid_target::value \ && \ supportable_properties::template \ is_valid_target::value \ ) \ > \ { \ }; \ \ template \ struct find_convertible_property : \ conditional< \ is_convertible::value, \ typename supportable_properties::found, \ typename supportable_properties::template \ find_convertible_property \ >::type {}; \ \ template \ struct find_convertible_requirable_property : \ conditional< \ is_requirable::value \ && is_convertible::value, \ typename supportable_properties::found, \ typename supportable_properties::template \ find_convertible_requirable_property \ >::type {}; \ \ template \ struct find_convertible_preferable_property : \ conditional< \ is_preferable::value \ && is_convertible::value, \ typename supportable_properties::found, \ typename supportable_properties::template \ find_convertible_preferable_property \ >::type {}; \ \ struct find_context_as_property : \ conditional< \ is_context_as::value, \ typename supportable_properties::found, \ typename supportable_properties::find_context_as_property \ >::type {}; \ }; \ /**/ BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROPS_BASE_DEF) #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROPS_BASE_DEF #endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template struct is_valid_target_executor : conditional< is_executor::value, typename supportable_properties<0, Props>::template is_valid_target, false_type >::type { }; class any_executor_base { public: any_executor_base() BOOST_ASIO_NOEXCEPT : object_fns_(object_fns_table()), target_(0), target_fns_(target_fns_table()) { } template any_executor_base(Executor ex, false_type) : target_fns_(target_fns_table( any_executor_base::query_blocking(ex, can_query()) == execution::blocking.always)) { any_executor_base::construct_object(ex, integral_constant::value <= alignment_of::value >()); } template any_executor_base(Executor other, true_type) : object_fns_(object_fns_table >()), target_fns_(other.target_fns_) { boost::asio::detail::shared_ptr p = boost::asio::detail::make_shared( BOOST_ASIO_MOVE_CAST(Executor)(other)); target_ = p->template target(); new (&object_) boost::asio::detail::shared_ptr( BOOST_ASIO_MOVE_CAST(boost::asio::detail::shared_ptr)(p)); } any_executor_base(const any_executor_base& other) BOOST_ASIO_NOEXCEPT : object_fns_(other.object_fns_), target_fns_(other.target_fns_) { object_fns_->copy(*this, other); } ~any_executor_base() BOOST_ASIO_NOEXCEPT { object_fns_->destroy(*this); } any_executor_base& operator=( const any_executor_base& other) BOOST_ASIO_NOEXCEPT { if (this != &other) { object_fns_->destroy(*this); object_fns_ = other.object_fns_; target_fns_ = other.target_fns_; object_fns_->copy(*this, other); } return *this; } any_executor_base& operator=(nullptr_t) BOOST_ASIO_NOEXCEPT { object_fns_->destroy(*this); target_ = 0; object_fns_ = object_fns_table(); target_fns_ = target_fns_table(); return *this; } #if defined(BOOST_ASIO_HAS_MOVE) any_executor_base(any_executor_base&& other) BOOST_ASIO_NOEXCEPT : object_fns_(other.object_fns_), target_fns_(other.target_fns_) { other.object_fns_ = object_fns_table(); other.target_fns_ = target_fns_table(); object_fns_->move(*this, other); other.target_ = 0; } any_executor_base& operator=( any_executor_base&& other) BOOST_ASIO_NOEXCEPT { if (this != &other) { object_fns_->destroy(*this); object_fns_ = other.object_fns_; other.object_fns_ = object_fns_table(); target_fns_ = other.target_fns_; other.target_fns_ = target_fns_table(); object_fns_->move(*this, other); other.target_ = 0; } return *this; } #endif // defined(BOOST_ASIO_HAS_MOVE) void swap(any_executor_base& other) BOOST_ASIO_NOEXCEPT { if (this != &other) { any_executor_base tmp(BOOST_ASIO_MOVE_CAST(any_executor_base)(other)); other = BOOST_ASIO_MOVE_CAST(any_executor_base)(*this); *this = BOOST_ASIO_MOVE_CAST(any_executor_base)(tmp); } } template void execute(BOOST_ASIO_MOVE_ARG(F) f) const { if (target_fns_->blocking_execute != 0) { boost::asio::detail::non_const_lvalue f2(f); target_fns_->blocking_execute(*this, function_view(f2.value)); } else { target_fns_->execute(*this, function(BOOST_ASIO_MOVE_CAST(F)(f), std::allocator())); } } template Executor* target() { return static_cast(target_); } template const Executor* target() const { return static_cast(target_); } #if !defined(BOOST_ASIO_NO_TYPEID) const std::type_info& target_type() const #else // !defined(BOOST_ASIO_NO_TYPEID) const void* target_type() const #endif // !defined(BOOST_ASIO_NO_TYPEID) { return target_fns_->target_type(); } struct unspecified_bool_type_t {}; typedef void (*unspecified_bool_type)(unspecified_bool_type_t); static void unspecified_bool_true(unspecified_bool_type_t) {} operator unspecified_bool_type() const BOOST_ASIO_NOEXCEPT { return target_ ? &any_executor_base::unspecified_bool_true : 0; } bool operator!() const BOOST_ASIO_NOEXCEPT { return target_ == 0; } protected: bool equality_helper(const any_executor_base& other) const BOOST_ASIO_NOEXCEPT { if (target_ == other.target_) return true; if (target_ && !other.target_) return false; if (!target_ && other.target_) return false; if (target_fns_ != other.target_fns_) return false; return target_fns_->equal(*this, other); } template Ex& object() { return *static_cast(static_cast(&object_)); } template const Ex& object() const { return *static_cast(static_cast(&object_)); } struct object_fns { void (*destroy)(any_executor_base&); void (*copy)(any_executor_base&, const any_executor_base&); void (*move)(any_executor_base&, any_executor_base&); const void* (*target)(const any_executor_base&); }; static void destroy_void(any_executor_base&) { } static void copy_void(any_executor_base& ex1, const any_executor_base&) { ex1.target_ = 0; } static void move_void(any_executor_base& ex1, any_executor_base&) { ex1.target_ = 0; } static const void* target_void(const any_executor_base&) { return 0; } template static const object_fns* object_fns_table( typename enable_if< is_same::value >::type* = 0) { static const object_fns fns = { &any_executor_base::destroy_void, &any_executor_base::copy_void, &any_executor_base::move_void, &any_executor_base::target_void }; return &fns; } static void destroy_shared(any_executor_base& ex) { typedef boost::asio::detail::shared_ptr type; ex.object().~type(); } static void copy_shared(any_executor_base& ex1, const any_executor_base& ex2) { typedef boost::asio::detail::shared_ptr type; new (&ex1.object_) type(ex2.object()); ex1.target_ = ex2.target_; } static void move_shared(any_executor_base& ex1, any_executor_base& ex2) { typedef boost::asio::detail::shared_ptr type; new (&ex1.object_) type(BOOST_ASIO_MOVE_CAST(type)(ex2.object())); ex1.target_ = ex2.target_; ex2.object().~type(); } static const void* target_shared(const any_executor_base& ex) { typedef boost::asio::detail::shared_ptr type; return ex.object().get(); } template static const object_fns* object_fns_table( typename enable_if< is_same >::value >::type* = 0) { static const object_fns fns = { &any_executor_base::destroy_shared, &any_executor_base::copy_shared, &any_executor_base::move_shared, &any_executor_base::target_shared }; return &fns; } template static void destroy_object(any_executor_base& ex) { ex.object().~Obj(); } template static void copy_object(any_executor_base& ex1, const any_executor_base& ex2) { new (&ex1.object_) Obj(ex2.object()); ex1.target_ = &ex1.object(); } template static void move_object(any_executor_base& ex1, any_executor_base& ex2) { new (&ex1.object_) Obj(BOOST_ASIO_MOVE_CAST(Obj)(ex2.object())); ex1.target_ = &ex1.object(); ex2.object().~Obj(); } template static const void* target_object(const any_executor_base& ex) { return &ex.object(); } template static const object_fns* object_fns_table( typename enable_if< !is_same::value && !is_same >::value >::type* = 0) { static const object_fns fns = { &any_executor_base::destroy_object, &any_executor_base::copy_object, &any_executor_base::move_object, &any_executor_base::target_object }; return &fns; } typedef boost::asio::detail::executor_function function; typedef boost::asio::detail::executor_function_view function_view; struct target_fns { #if !defined(BOOST_ASIO_NO_TYPEID) const std::type_info& (*target_type)(); #else // !defined(BOOST_ASIO_NO_TYPEID) const void* (*target_type)(); #endif // !defined(BOOST_ASIO_NO_TYPEID) bool (*equal)(const any_executor_base&, const any_executor_base&); void (*execute)(const any_executor_base&, BOOST_ASIO_MOVE_ARG(function)); void (*blocking_execute)(const any_executor_base&, function_view); }; #if !defined(BOOST_ASIO_NO_TYPEID) static const std::type_info& target_type_void() { return typeid(void); } #else // !defined(BOOST_ASIO_NO_TYPEID) static const void* target_type_void() { return 0; } #endif // !defined(BOOST_ASIO_NO_TYPEID) static bool equal_void(const any_executor_base&, const any_executor_base&) { return true; } static void execute_void(const any_executor_base&, BOOST_ASIO_MOVE_ARG(function)) { bad_executor ex; boost::asio::detail::throw_exception(ex); } static void blocking_execute_void(const any_executor_base&, function_view) { bad_executor ex; boost::asio::detail::throw_exception(ex); } template static const target_fns* target_fns_table( typename enable_if< is_same::value >::type* = 0) { static const target_fns fns = { &any_executor_base::target_type_void, &any_executor_base::equal_void, &any_executor_base::execute_void, &any_executor_base::blocking_execute_void }; return &fns; } #if !defined(BOOST_ASIO_NO_TYPEID) template static const std::type_info& target_type_ex() { return typeid(Ex); } #else // !defined(BOOST_ASIO_NO_TYPEID) template static const void* target_type_ex() { static int unique_id; return &unique_id; } #endif // !defined(BOOST_ASIO_NO_TYPEID) template static bool equal_ex(const any_executor_base& ex1, const any_executor_base& ex2) { return *ex1.target() == *ex2.target(); } template static void execute_ex(const any_executor_base& ex, BOOST_ASIO_MOVE_ARG(function) f) { execution::execute(*ex.target(), BOOST_ASIO_MOVE_CAST(function)(f)); } template static void blocking_execute_ex(const any_executor_base& ex, function_view f) { execution::execute(*ex.target(), f); } template static const target_fns* target_fns_table(bool is_always_blocking, typename enable_if< !is_same::value >::type* = 0) { static const target_fns fns_with_execute = { &any_executor_base::target_type_ex, &any_executor_base::equal_ex, &any_executor_base::execute_ex, 0 }; static const target_fns fns_with_blocking_execute = { &any_executor_base::target_type_ex, &any_executor_base::equal_ex, 0, &any_executor_base::blocking_execute_ex }; return is_always_blocking ? &fns_with_blocking_execute : &fns_with_execute; } #if defined(BOOST_ASIO_MSVC) # pragma warning (push) # pragma warning (disable:4702) #endif // defined(BOOST_ASIO_MSVC) static void query_fn_void(void*, const void*, const void*) { bad_executor ex; boost::asio::detail::throw_exception(ex); } template static void query_fn_non_void(void*, const void* ex, const void* prop, typename enable_if< boost::asio::can_query::value && is_same::value >::type*) { boost::asio::query(*static_cast(ex), *static_cast(prop)); } template static void query_fn_non_void(void*, const void*, const void*, typename enable_if< !boost::asio::can_query::value && is_same::value >::type*) { } template static void query_fn_non_void(void* result, const void* ex, const void* prop, typename enable_if< boost::asio::can_query::value && !is_same::value && is_reference::value >::type*) { *static_cast::type**>(result) = &static_cast( boost::asio::query(*static_cast(ex), *static_cast(prop))); } template static void query_fn_non_void(void*, const void*, const void*, typename enable_if< !boost::asio::can_query::value && !is_same::value && is_reference::value >::type*) { std::terminate(); // Combination should not be possible. } template static void query_fn_non_void(void* result, const void* ex, const void* prop, typename enable_if< boost::asio::can_query::value && !is_same::value && is_scalar::value >::type*) { *static_cast(result) = static_cast( boost::asio::query(*static_cast(ex), *static_cast(prop))); } template static void query_fn_non_void(void* result, const void*, const void*, typename enable_if< !boost::asio::can_query::value && !is_same::value && is_scalar::value >::type*) { *static_cast(result) = typename Prop::polymorphic_query_result_type(); } template static void query_fn_non_void(void* result, const void* ex, const void* prop, typename enable_if< boost::asio::can_query::value && !is_same::value && !is_reference::value && !is_scalar::value >::type*) { *static_cast(result) = new typename Prop::polymorphic_query_result_type( boost::asio::query(*static_cast(ex), *static_cast(prop))); } template static void query_fn_non_void(void* result, const void*, const void*, ...) { *static_cast(result) = new typename Prop::polymorphic_query_result_type(); } template static void query_fn_impl(void* result, const void* ex, const void* prop, typename enable_if< is_same::value >::type*) { query_fn_void(result, ex, prop); } template static void query_fn_impl(void* result, const void* ex, const void* prop, typename enable_if< !is_same::value >::type*) { query_fn_non_void(result, ex, prop, 0); } template static void query_fn(void* result, const void* ex, const void* prop) { query_fn_impl(result, ex, prop, 0); } template static Poly require_fn_impl(const void*, const void*, typename enable_if< is_same::value >::type*) { bad_executor ex; boost::asio::detail::throw_exception(ex); return Poly(); } template static Poly require_fn_impl(const void* ex, const void* prop, typename enable_if< !is_same::value && Prop::is_requirable >::type*) { return boost::asio::require(*static_cast(ex), *static_cast(prop)); } template static Poly require_fn_impl(const void*, const void*, ...) { return Poly(); } template static Poly require_fn(const void* ex, const void* prop) { return require_fn_impl(ex, prop, 0); } template static Poly prefer_fn_impl(const void*, const void*, typename enable_if< is_same::value >::type*) { bad_executor ex; boost::asio::detail::throw_exception(ex); return Poly(); } template static Poly prefer_fn_impl(const void* ex, const void* prop, typename enable_if< !is_same::value && Prop::is_preferable >::type*) { return boost::asio::prefer(*static_cast(ex), *static_cast(prop)); } template static Poly prefer_fn_impl(const void*, const void*, ...) { return Poly(); } template static Poly prefer_fn(const void* ex, const void* prop) { return prefer_fn_impl(ex, prop, 0); } template struct prop_fns { void (*query)(void*, const void*, const void*); Poly (*require)(const void*, const void*); Poly (*prefer)(const void*, const void*); }; #if defined(BOOST_ASIO_MSVC) # pragma warning (pop) #endif // defined(BOOST_ASIO_MSVC) private: template static execution::blocking_t query_blocking(const Executor& ex, true_type) { return boost::asio::query(ex, execution::blocking); } template static execution::blocking_t query_blocking(const Executor&, false_type) { return execution::blocking_t(); } template void construct_object(Executor& ex, true_type) { object_fns_ = object_fns_table(); target_ = new (&object_) Executor(BOOST_ASIO_MOVE_CAST(Executor)(ex)); } template void construct_object(Executor& ex, false_type) { object_fns_ = object_fns_table >(); boost::asio::detail::shared_ptr p = boost::asio::detail::make_shared( BOOST_ASIO_MOVE_CAST(Executor)(ex)); target_ = p.get(); new (&object_) boost::asio::detail::shared_ptr( BOOST_ASIO_MOVE_CAST(boost::asio::detail::shared_ptr)(p)); } /*private:*/public: // template friend class any_executor; typedef aligned_storage< sizeof(boost::asio::detail::shared_ptr), alignment_of >::value >::type object_type; object_type object_; const object_fns* object_fns_; void* target_; const target_fns* target_fns_; }; template struct any_executor_context { }; #if !defined(BOOST_ASIO_NO_TS_EXECUTORS) template struct any_executor_context::type> { typename Property::query_result_type context() const { return static_cast(this)->query(typename Property::type()); } }; #endif // !defined(BOOST_ASIO_NO_TS_EXECUTORS) } // namespace detail template <> class any_executor<> : public detail::any_executor_base { public: any_executor() BOOST_ASIO_NOEXCEPT : detail::any_executor_base() { } any_executor(nullptr_t) BOOST_ASIO_NOEXCEPT : detail::any_executor_base() { } template any_executor(Executor ex, typename enable_if< conditional< !is_same::value && !is_base_of::value, is_executor, false_type >::type::value >::type* = 0) : detail::any_executor_base( BOOST_ASIO_MOVE_CAST(Executor)(ex), false_type()) { } #if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template any_executor(any_executor other) : detail::any_executor_base( static_cast(other)) { } #else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template any_executor(any_executor other) : detail::any_executor_base( static_cast(other)) { } #endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) any_executor(const any_executor& other) BOOST_ASIO_NOEXCEPT : detail::any_executor_base( static_cast(other)) { } any_executor& operator=(const any_executor& other) BOOST_ASIO_NOEXCEPT { if (this != &other) { detail::any_executor_base::operator=( static_cast(other)); } return *this; } any_executor& operator=(nullptr_t p) BOOST_ASIO_NOEXCEPT { detail::any_executor_base::operator=(p); return *this; } #if defined(BOOST_ASIO_HAS_MOVE) any_executor(any_executor&& other) BOOST_ASIO_NOEXCEPT : detail::any_executor_base( static_cast( static_cast(other))) { } any_executor& operator=(any_executor&& other) BOOST_ASIO_NOEXCEPT { if (this != &other) { detail::any_executor_base::operator=( static_cast( static_cast(other))); } return *this; } #endif // defined(BOOST_ASIO_HAS_MOVE) void swap(any_executor& other) BOOST_ASIO_NOEXCEPT { detail::any_executor_base::swap( static_cast(other)); } using detail::any_executor_base::execute; using detail::any_executor_base::target; using detail::any_executor_base::target_type; using detail::any_executor_base::operator unspecified_bool_type; using detail::any_executor_base::operator!; bool equality_helper(const any_executor& other) const BOOST_ASIO_NOEXCEPT { return any_executor_base::equality_helper(other); } }; inline bool operator==(const any_executor<>& a, const any_executor<>& b) BOOST_ASIO_NOEXCEPT { return a.equality_helper(b); } inline bool operator==(const any_executor<>& a, nullptr_t) BOOST_ASIO_NOEXCEPT { return !a; } inline bool operator==(nullptr_t, const any_executor<>& b) BOOST_ASIO_NOEXCEPT { return !b; } inline bool operator!=(const any_executor<>& a, const any_executor<>& b) BOOST_ASIO_NOEXCEPT { return !a.equality_helper(b); } inline bool operator!=(const any_executor<>& a, nullptr_t) BOOST_ASIO_NOEXCEPT { return !!a; } inline bool operator!=(nullptr_t, const any_executor<>& b) BOOST_ASIO_NOEXCEPT { return !!b; } inline void swap(any_executor<>& a, any_executor<>& b) BOOST_ASIO_NOEXCEPT { return a.swap(b); } #if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template class any_executor : public detail::any_executor_base, public detail::any_executor_context< any_executor, typename detail::supportable_properties< 0, void(SupportableProperties...)>::find_context_as_property> { public: any_executor() BOOST_ASIO_NOEXCEPT : detail::any_executor_base(), prop_fns_(prop_fns_table()) { } any_executor(nullptr_t) BOOST_ASIO_NOEXCEPT : detail::any_executor_base(), prop_fns_(prop_fns_table()) { } template any_executor(Executor ex, typename enable_if< conditional< !is_same::value && !is_base_of::value, detail::is_valid_target_executor< Executor, void(SupportableProperties...)>, false_type >::type::value >::type* = 0) : detail::any_executor_base( BOOST_ASIO_MOVE_CAST(Executor)(ex), false_type()), prop_fns_(prop_fns_table()) { } template any_executor(any_executor other, typename enable_if< conditional< !is_same< any_executor, any_executor >::value, typename detail::supportable_properties< 0, void(SupportableProperties...)>::template is_valid_target< any_executor >, false_type >::type::value >::type* = 0) : detail::any_executor_base(BOOST_ASIO_MOVE_CAST( any_executor)(other), true_type()), prop_fns_(prop_fns_table >()) { } any_executor(const any_executor& other) BOOST_ASIO_NOEXCEPT : detail::any_executor_base( static_cast(other)), prop_fns_(other.prop_fns_) { } any_executor& operator=(const any_executor& other) BOOST_ASIO_NOEXCEPT { if (this != &other) { prop_fns_ = other.prop_fns_; detail::any_executor_base::operator=( static_cast(other)); } return *this; } any_executor& operator=(nullptr_t p) BOOST_ASIO_NOEXCEPT { prop_fns_ = prop_fns_table(); detail::any_executor_base::operator=(p); return *this; } #if defined(BOOST_ASIO_HAS_MOVE) any_executor(any_executor&& other) BOOST_ASIO_NOEXCEPT : detail::any_executor_base( static_cast( static_cast(other))), prop_fns_(other.prop_fns_) { other.prop_fns_ = prop_fns_table(); } any_executor& operator=(any_executor&& other) BOOST_ASIO_NOEXCEPT { if (this != &other) { prop_fns_ = other.prop_fns_; detail::any_executor_base::operator=( static_cast( static_cast(other))); } return *this; } #endif // defined(BOOST_ASIO_HAS_MOVE) void swap(any_executor& other) BOOST_ASIO_NOEXCEPT { if (this != &other) { detail::any_executor_base::swap( static_cast(other)); const prop_fns* tmp_prop_fns = other.prop_fns_; other.prop_fns_ = prop_fns_; prop_fns_ = tmp_prop_fns; } } using detail::any_executor_base::execute; using detail::any_executor_base::target; using detail::any_executor_base::target_type; using detail::any_executor_base::operator unspecified_bool_type; using detail::any_executor_base::operator!; bool equality_helper(const any_executor& other) const BOOST_ASIO_NOEXCEPT { return any_executor_base::equality_helper(other); } template struct find_convertible_property : detail::supportable_properties< 0, void(SupportableProperties...)>::template find_convertible_property {}; template void query(const Property& p, typename enable_if< is_same< typename find_convertible_property::query_result_type, void >::value >::type* = 0) const { typedef find_convertible_property found; prop_fns_[found::index].query(0, object_fns_->target(*this), &static_cast(p)); } template typename find_convertible_property::query_result_type query(const Property& p, typename enable_if< !is_same< typename find_convertible_property::query_result_type, void >::value && is_reference< typename find_convertible_property::query_result_type >::value >::type* = 0) const { typedef find_convertible_property found; typename remove_reference< typename found::query_result_type>::type* result = 0; prop_fns_[found::index].query(&result, object_fns_->target(*this), &static_cast(p)); return *result; } template typename find_convertible_property::query_result_type query(const Property& p, typename enable_if< !is_same< typename find_convertible_property::query_result_type, void >::value && is_scalar< typename find_convertible_property::query_result_type >::value >::type* = 0) const { typedef find_convertible_property found; typename found::query_result_type result; prop_fns_[found::index].query(&result, object_fns_->target(*this), &static_cast(p)); return result; } template typename find_convertible_property::query_result_type query(const Property& p, typename enable_if< !is_same< typename find_convertible_property::query_result_type, void >::value && !is_reference< typename find_convertible_property::query_result_type >::value && !is_scalar< typename find_convertible_property::query_result_type >::value >::type* = 0) const { typedef find_convertible_property found; typename found::query_result_type* result; prop_fns_[found::index].query(&result, object_fns_->target(*this), &static_cast(p)); return *boost::asio::detail::scoped_ptr< typename found::query_result_type>(result); } template struct find_convertible_requirable_property : detail::supportable_properties< 0, void(SupportableProperties...)>::template find_convertible_requirable_property {}; template any_executor require(const Property& p, typename enable_if< find_convertible_requirable_property::value >::type* = 0) const { typedef find_convertible_requirable_property found; return prop_fns_[found::index].require(object_fns_->target(*this), &static_cast(p)); } template struct find_convertible_preferable_property : detail::supportable_properties< 0, void(SupportableProperties...)>::template find_convertible_preferable_property {}; template any_executor prefer(const Property& p, typename enable_if< find_convertible_preferable_property::value >::type* = 0) const { typedef find_convertible_preferable_property found; return prop_fns_[found::index].prefer(object_fns_->target(*this), &static_cast(p)); } //private: template static const prop_fns* prop_fns_table() { static const prop_fns fns[] = { { &detail::any_executor_base::query_fn< Ex, SupportableProperties>, &detail::any_executor_base::require_fn< any_executor, Ex, SupportableProperties>, &detail::any_executor_base::prefer_fn< any_executor, Ex, SupportableProperties> }... }; return fns; } const prop_fns* prop_fns_; }; template inline bool operator==(const any_executor& a, const any_executor& b) BOOST_ASIO_NOEXCEPT { return a.equality_helper(b); } template inline bool operator==(const any_executor& a, nullptr_t) BOOST_ASIO_NOEXCEPT { return !a; } template inline bool operator==(nullptr_t, const any_executor& b) BOOST_ASIO_NOEXCEPT { return !b; } template inline bool operator!=(const any_executor& a, const any_executor& b) BOOST_ASIO_NOEXCEPT { return !a.equality_helper(b); } template inline bool operator!=(const any_executor& a, nullptr_t) BOOST_ASIO_NOEXCEPT { return !!a; } template inline bool operator!=(nullptr_t, const any_executor& b) BOOST_ASIO_NOEXCEPT { return !!b; } template inline void swap(any_executor& a, any_executor& b) BOOST_ASIO_NOEXCEPT { return a.swap(b); } #else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS(n) \ BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_##n #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_1 \ { \ &detail::any_executor_base::query_fn, \ &detail::any_executor_base::require_fn, \ &detail::any_executor_base::prefer_fn \ } #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_2 \ BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_1, \ { \ &detail::any_executor_base::query_fn, \ &detail::any_executor_base::require_fn, \ &detail::any_executor_base::prefer_fn \ } #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_3 \ BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_2, \ { \ &detail::any_executor_base::query_fn, \ &detail::any_executor_base::require_fn, \ &detail::any_executor_base::prefer_fn \ } #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_4 \ BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_3, \ { \ &detail::any_executor_base::query_fn, \ &detail::any_executor_base::require_fn, \ &detail::any_executor_base::prefer_fn \ } #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_5 \ BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_4, \ { \ &detail::any_executor_base::query_fn, \ &detail::any_executor_base::require_fn, \ &detail::any_executor_base::prefer_fn \ } #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_6 \ BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_5, \ { \ &detail::any_executor_base::query_fn, \ &detail::any_executor_base::require_fn, \ &detail::any_executor_base::prefer_fn \ } #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_7 \ BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_6, \ { \ &detail::any_executor_base::query_fn, \ &detail::any_executor_base::require_fn, \ &detail::any_executor_base::prefer_fn \ } #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_8 \ BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_7, \ { \ &detail::any_executor_base::query_fn, \ &detail::any_executor_base::require_fn, \ &detail::any_executor_base::prefer_fn \ } #if defined(BOOST_ASIO_HAS_MOVE) # define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_MOVE_OPS \ any_executor(any_executor&& other) BOOST_ASIO_NOEXCEPT \ : detail::any_executor_base( \ static_cast( \ static_cast(other))), \ prop_fns_(other.prop_fns_) \ { \ other.prop_fns_ = prop_fns_table(); \ } \ \ any_executor& operator=(any_executor&& other) BOOST_ASIO_NOEXCEPT \ { \ if (this != &other) \ { \ prop_fns_ = other.prop_fns_; \ detail::any_executor_base::operator=( \ static_cast( \ static_cast(other))); \ } \ return *this; \ } \ /**/ #else // defined(BOOST_ASIO_HAS_MOVE) # define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_MOVE_OPS #endif // defined(BOOST_ASIO_HAS_MOVE) #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_DEF(n) \ template \ class any_executor : \ public detail::any_executor_base, \ public detail::any_executor_context< \ any_executor, \ typename detail::supportable_properties< \ 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::find_context_as_property> \ { \ public: \ any_executor() BOOST_ASIO_NOEXCEPT \ : detail::any_executor_base(), \ prop_fns_(prop_fns_table()) \ { \ } \ \ any_executor(nullptr_t) BOOST_ASIO_NOEXCEPT \ : detail::any_executor_base(), \ prop_fns_(prop_fns_table()) \ { \ } \ \ template \ any_executor(Executor ex, \ typename enable_if< \ conditional< \ !is_same::value \ && !is_base_of::value, \ detail::is_valid_target_executor< \ Executor, void(BOOST_ASIO_VARIADIC_TARGS(n))>, \ false_type \ >::type::value \ >::type* = 0) \ : detail::any_executor_base(BOOST_ASIO_MOVE_CAST( \ Executor)(ex), false_type()), \ prop_fns_(prop_fns_table()) \ { \ } \ \ any_executor(const any_executor& other) BOOST_ASIO_NOEXCEPT \ : detail::any_executor_base( \ static_cast(other)), \ prop_fns_(other.prop_fns_) \ { \ } \ \ any_executor(any_executor<> other) \ : detail::any_executor_base(BOOST_ASIO_MOVE_CAST( \ any_executor<>)(other), true_type()), \ prop_fns_(prop_fns_table >()) \ { \ } \ \ template \ any_executor(OtherAnyExecutor other, \ typename enable_if< \ conditional< \ !is_same::value \ && is_base_of::value, \ typename detail::supportable_properties< \ 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \ is_valid_target, \ false_type \ >::type::value \ >::type* = 0) \ : detail::any_executor_base(BOOST_ASIO_MOVE_CAST( \ OtherAnyExecutor)(other), true_type()), \ prop_fns_(prop_fns_table()) \ { \ } \ \ any_executor& operator=(const any_executor& other) BOOST_ASIO_NOEXCEPT \ { \ if (this != &other) \ { \ prop_fns_ = other.prop_fns_; \ detail::any_executor_base::operator=( \ static_cast(other)); \ } \ return *this; \ } \ \ any_executor& operator=(nullptr_t p) BOOST_ASIO_NOEXCEPT \ { \ prop_fns_ = prop_fns_table(); \ detail::any_executor_base::operator=(p); \ return *this; \ } \ \ BOOST_ASIO_PRIVATE_ANY_EXECUTOR_MOVE_OPS \ \ void swap(any_executor& other) BOOST_ASIO_NOEXCEPT \ { \ if (this != &other) \ { \ detail::any_executor_base::swap( \ static_cast(other)); \ const prop_fns* tmp_prop_fns = other.prop_fns_; \ other.prop_fns_ = prop_fns_; \ prop_fns_ = tmp_prop_fns; \ } \ } \ \ using detail::any_executor_base::execute; \ using detail::any_executor_base::target; \ using detail::any_executor_base::target_type; \ using detail::any_executor_base::operator unspecified_bool_type; \ using detail::any_executor_base::operator!; \ \ bool equality_helper(const any_executor& other) const BOOST_ASIO_NOEXCEPT \ { \ return any_executor_base::equality_helper(other); \ } \ \ template \ struct find_convertible_property : \ detail::supportable_properties< \ 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \ find_convertible_property {}; \ \ template \ void query(const Property& p, \ typename enable_if< \ is_same< \ typename find_convertible_property::query_result_type, \ void \ >::value \ >::type* = 0) const \ { \ typedef find_convertible_property found; \ prop_fns_[found::index].query(0, object_fns_->target(*this), \ &static_cast(p)); \ } \ \ template \ typename find_convertible_property::query_result_type \ query(const Property& p, \ typename enable_if< \ !is_same< \ typename find_convertible_property::query_result_type, \ void \ >::value \ && \ is_reference< \ typename find_convertible_property::query_result_type \ >::value \ >::type* = 0) const \ { \ typedef find_convertible_property found; \ typename remove_reference< \ typename found::query_result_type>::type* result; \ prop_fns_[found::index].query(&result, object_fns_->target(*this), \ &static_cast(p)); \ return *result; \ } \ \ template \ typename find_convertible_property::query_result_type \ query(const Property& p, \ typename enable_if< \ !is_same< \ typename find_convertible_property::query_result_type, \ void \ >::value \ && \ is_scalar< \ typename find_convertible_property::query_result_type \ >::value \ >::type* = 0) const \ { \ typedef find_convertible_property found; \ typename found::query_result_type result; \ prop_fns_[found::index].query(&result, object_fns_->target(*this), \ &static_cast(p)); \ return result; \ } \ \ template \ typename find_convertible_property::query_result_type \ query(const Property& p, \ typename enable_if< \ !is_same< \ typename find_convertible_property::query_result_type, \ void \ >::value \ && \ !is_reference< \ typename find_convertible_property::query_result_type \ >::value \ && \ !is_scalar< \ typename find_convertible_property::query_result_type \ >::value \ >::type* = 0) const \ { \ typedef find_convertible_property found; \ typename found::query_result_type* result; \ prop_fns_[found::index].query(&result, object_fns_->target(*this), \ &static_cast(p)); \ return *boost::asio::detail::scoped_ptr< \ typename found::query_result_type>(result); \ } \ \ template \ struct find_convertible_requirable_property : \ detail::supportable_properties< \ 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \ find_convertible_requirable_property {}; \ \ template \ any_executor require(const Property& p, \ typename enable_if< \ find_convertible_requirable_property::value \ >::type* = 0) const \ { \ typedef find_convertible_requirable_property found; \ return prop_fns_[found::index].require(object_fns_->target(*this), \ &static_cast(p)); \ } \ \ template \ struct find_convertible_preferable_property : \ detail::supportable_properties< \ 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \ find_convertible_preferable_property {}; \ \ template \ any_executor prefer(const Property& p, \ typename enable_if< \ find_convertible_preferable_property::value \ >::type* = 0) const \ { \ typedef find_convertible_preferable_property found; \ return prop_fns_[found::index].prefer(object_fns_->target(*this), \ &static_cast(p)); \ } \ \ template \ static const prop_fns* prop_fns_table() \ { \ static const prop_fns fns[] = \ { \ BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS(n) \ }; \ return fns; \ } \ \ const prop_fns* prop_fns_; \ typedef detail::supportable_properties<0, \ void(BOOST_ASIO_VARIADIC_TARGS(n))> supportable_properties_type; \ }; \ \ template \ inline bool operator==(const any_executor& a, \ const any_executor& b) BOOST_ASIO_NOEXCEPT \ { \ return a.equality_helper(b); \ } \ \ template \ inline bool operator==(const any_executor& a, \ nullptr_t) BOOST_ASIO_NOEXCEPT \ { \ return !a; \ } \ \ template \ inline bool operator==(nullptr_t, \ const any_executor& b) BOOST_ASIO_NOEXCEPT \ { \ return !b; \ } \ \ template \ inline bool operator!=(const any_executor& a, \ const any_executor& b) BOOST_ASIO_NOEXCEPT \ { \ return !a.equality_helper(b); \ } \ \ template \ inline bool operator!=(const any_executor& a, \ nullptr_t) BOOST_ASIO_NOEXCEPT \ { \ return !!a; \ } \ \ template \ inline bool operator!=(nullptr_t, \ const any_executor& b) BOOST_ASIO_NOEXCEPT \ { \ return !!b; \ } \ \ template \ inline void swap(any_executor& a, \ any_executor& b) BOOST_ASIO_NOEXCEPT \ { \ return a.swap(b); \ } \ /**/ BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_ANY_EXECUTOR_DEF) #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_DEF #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_MOVE_OPS #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_1 #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_2 #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_3 #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_4 #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_5 #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_6 #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_7 #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS_8 #endif // if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) } // namespace execution namespace traits { #if !defined(BOOST_ASIO_HAS_DEDUCED_EQUALITY_COMPARABLE_TRAIT) #if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template struct equality_comparable > { static const bool is_valid = true; static const bool is_noexcept = true; }; #else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template <> struct equality_comparable > { static const bool is_valid = true; static const bool is_noexcept = true; }; #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_EQUALITY_COMPARABLE_DEF(n) \ template \ struct equality_comparable< \ execution::any_executor > \ { \ static const bool is_valid = true; \ static const bool is_noexcept = true; \ }; \ /**/ BOOST_ASIO_VARIADIC_GENERATE( BOOST_ASIO_PRIVATE_ANY_EXECUTOR_EQUALITY_COMPARABLE_DEF) #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_EQUALITY_COMPARABLE_DEF #endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) #endif // !defined(BOOST_ASIO_HAS_DEDUCED_EQUALITY_COMPARABLE_TRAIT) #if !defined(BOOST_ASIO_HAS_DEDUCED_EXECUTE_MEMBER_TRAIT) #if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template struct execute_member, F> { static const bool is_valid = true; static const bool is_noexcept = false; typedef void result_type; }; #else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template struct execute_member, F> { static const bool is_valid = true; static const bool is_noexcept = false; typedef void result_type; }; #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_EXECUTE_MEMBER_DEF(n) \ template \ struct execute_member< \ execution::any_executor, F> \ { \ static const bool is_valid = true; \ static const bool is_noexcept = false; \ typedef void result_type; \ }; \ /**/ BOOST_ASIO_VARIADIC_GENERATE( BOOST_ASIO_PRIVATE_ANY_EXECUTOR_EXECUTE_MEMBER_DEF) #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_EXECUTE_MEMBER_DEF #endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) #endif // !defined(BOOST_ASIO_HAS_DEDUCED_EXECUTE_MEMBER_TRAIT) #if !defined(BOOST_ASIO_HAS_DEDUCED_QUERY_MEMBER_TRAIT) #if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template struct query_member< execution::any_executor, Prop, typename enable_if< execution::detail::supportable_properties< 0, void(SupportableProperties...)>::template find_convertible_property::value >::type> { static const bool is_valid = true; static const bool is_noexcept = false; typedef typename execution::detail::supportable_properties< 0, void(SupportableProperties...)>::template find_convertible_property::query_result_type result_type; }; #else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_QUERY_MEMBER_DEF(n) \ template \ struct query_member< \ execution::any_executor, Prop, \ typename enable_if< \ execution::detail::supportable_properties< \ 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \ find_convertible_property::value \ >::type> \ { \ static const bool is_valid = true; \ static const bool is_noexcept = false; \ typedef typename execution::detail::supportable_properties< \ 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \ find_convertible_property::query_result_type result_type; \ }; \ /**/ BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_ANY_EXECUTOR_QUERY_MEMBER_DEF) #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_QUERY_MEMBER_DEF #endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) #endif // !defined(BOOST_ASIO_HAS_DEDUCED_QUERY_MEMBER_TRAIT) #if !defined(BOOST_ASIO_HAS_DEDUCED_REQUIRE_MEMBER_TRAIT) #if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template struct require_member< execution::any_executor, Prop, typename enable_if< execution::detail::supportable_properties< 0, void(SupportableProperties...)>::template find_convertible_requirable_property::value >::type> { static const bool is_valid = true; static const bool is_noexcept = false; typedef execution::any_executor result_type; }; #else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_REQUIRE_MEMBER_DEF(n) \ template \ struct require_member< \ execution::any_executor, Prop, \ typename enable_if< \ execution::detail::supportable_properties< \ 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \ find_convertible_requirable_property::value \ >::type> \ { \ static const bool is_valid = true; \ static const bool is_noexcept = false; \ typedef execution::any_executor result_type; \ }; \ /**/ BOOST_ASIO_VARIADIC_GENERATE( BOOST_ASIO_PRIVATE_ANY_EXECUTOR_REQUIRE_MEMBER_DEF) #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_REQUIRE_MEMBER_DEF #endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) #endif // !defined(BOOST_ASIO_HAS_DEDUCED_REQUIRE_MEMBER_TRAIT) #if !defined(BOOST_ASIO_HAS_DEDUCED_PREFER_FREE_TRAIT) #if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template struct prefer_member< execution::any_executor, Prop, typename enable_if< execution::detail::supportable_properties< 0, void(SupportableProperties...)>::template find_convertible_preferable_property::value >::type> { static const bool is_valid = true; static const bool is_noexcept = false; typedef execution::any_executor result_type; }; #else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) #define BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PREFER_FREE_DEF(n) \ template \ struct prefer_member< \ execution::any_executor, Prop, \ typename enable_if< \ execution::detail::supportable_properties< \ 0, void(BOOST_ASIO_VARIADIC_TARGS(n))>::template \ find_convertible_preferable_property::value \ >::type> \ { \ static const bool is_valid = true; \ static const bool is_noexcept = false; \ typedef execution::any_executor result_type; \ }; \ /**/ BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PREFER_FREE_DEF) #undef BOOST_ASIO_PRIVATE_ANY_EXECUTOR_PREFER_FREE_DEF #endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) #endif // !defined(BOOST_ASIO_HAS_DEDUCED_PREFER_FREE_TRAIT) } // namespace traits #endif // defined(GENERATING_DOCUMENTATION) } // namespace asio } // namespace boost #include #endif // BOOST_ASIO_EXECUTION_ANY_EXECUTOR_HPP