[/
/ Copyright (c) 2003-2025 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)
/]
[section:Disposition Disposition]
A type `X` satisfies the `disposition` concept if it is nothrow
default-constructible, nothrow move-constructible, nothrow move-assignable, as
well as satisfying the additional requirements listed below. In the following
table `x` denotes a glvalue of type `X`.
[table Disposition requirements
[[expression] [return type] [assertion/note[br]pre/post-conditions]]
[
[`asio::disposition_traits<X>::not_an_error(x)`]
[`bool`]
[]
]
[
[`asio::disposition_traits<X>::throw_exception(x)`]
[]
[pre: `asio::disposition_traits<X>::not_an_error(x)` is `false.`\n
This function call must exit via an exception.]
]
[
[`asio::disposition_traits<X>::to_exception_ptr(x)`]
[`std::exception_ptr`]
[]
]
]
[endsect]