94.03% Lines (63/67)
100.00% Functions (18/18)
| TLA | Baseline | Branch | ||||||
|---|---|---|---|---|---|---|---|---|
| Line | Hits | Code | Line | Hits | Code | |||
| 1 | // | 1 | // | |||||
| 2 | // Copyright (c) 2026 Steve Gerbino | 2 | // Copyright (c) 2026 Steve Gerbino | |||||
| 3 | // | 3 | // | |||||
| 4 | // Distributed under the Boost Software License, Version 1.0. (See accompanying | 4 | // Distributed under the Boost Software License, Version 1.0. (See accompanying | |||||
| 5 | // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | 5 | // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | |||||
| 6 | // | 6 | // | |||||
| 7 | // Official repository: https://github.com/cppalliance/corosio | 7 | // Official repository: https://github.com/cppalliance/corosio | |||||
| 8 | // | 8 | // | |||||
| 9 | 9 | |||||||
| 10 | #ifndef BOOST_COROSIO_NATIVE_NATIVE_TCP_ACCEPTOR_HPP | 10 | #ifndef BOOST_COROSIO_NATIVE_NATIVE_TCP_ACCEPTOR_HPP | |||||
| 11 | #define BOOST_COROSIO_NATIVE_NATIVE_TCP_ACCEPTOR_HPP | 11 | #define BOOST_COROSIO_NATIVE_NATIVE_TCP_ACCEPTOR_HPP | |||||
| 12 | 12 | |||||||
| 13 | #include <boost/corosio/tcp_acceptor.hpp> | 13 | #include <boost/corosio/tcp_acceptor.hpp> | |||||
| 14 | #include <boost/corosio/backend.hpp> | 14 | #include <boost/corosio/backend.hpp> | |||||
| 15 | 15 | |||||||
| 16 | #ifndef BOOST_COROSIO_MRDOCS | 16 | #ifndef BOOST_COROSIO_MRDOCS | |||||
| 17 | #if BOOST_COROSIO_HAS_EPOLL | 17 | #if BOOST_COROSIO_HAS_EPOLL | |||||
| 18 | #include <boost/corosio/native/detail/epoll/epoll_types.hpp> | 18 | #include <boost/corosio/native/detail/epoll/epoll_types.hpp> | |||||
| 19 | #endif | 19 | #endif | |||||
| 20 | 20 | |||||||
| 21 | #if BOOST_COROSIO_HAS_SELECT | 21 | #if BOOST_COROSIO_HAS_SELECT | |||||
| 22 | #include <boost/corosio/native/detail/select/select_types.hpp> | 22 | #include <boost/corosio/native/detail/select/select_types.hpp> | |||||
| 23 | #endif | 23 | #endif | |||||
| 24 | 24 | |||||||
| 25 | #if BOOST_COROSIO_HAS_KQUEUE | 25 | #if BOOST_COROSIO_HAS_KQUEUE | |||||
| 26 | #include <boost/corosio/native/detail/kqueue/kqueue_types.hpp> | 26 | #include <boost/corosio/native/detail/kqueue/kqueue_types.hpp> | |||||
| 27 | #endif | 27 | #endif | |||||
| 28 | 28 | |||||||
| 29 | #if BOOST_COROSIO_HAS_IOCP | 29 | #if BOOST_COROSIO_HAS_IOCP | |||||
| 30 | #include <boost/corosio/native/detail/iocp/win_tcp_acceptor_service.hpp> | 30 | #include <boost/corosio/native/detail/iocp/win_tcp_acceptor_service.hpp> | |||||
| 31 | #endif | 31 | #endif | |||||
| 32 | 32 | |||||||
| 33 | #if BOOST_COROSIO_HAS_IO_URING | 33 | #if BOOST_COROSIO_HAS_IO_URING | |||||
| 34 | #include <boost/corosio/native/detail/io_uring/io_uring_types.hpp> | 34 | #include <boost/corosio/native/detail/io_uring/io_uring_types.hpp> | |||||
| 35 | #endif | 35 | #endif | |||||
| 36 | #endif // !BOOST_COROSIO_MRDOCS | 36 | #endif // !BOOST_COROSIO_MRDOCS | |||||
| 37 | 37 | |||||||
| 38 | namespace boost::corosio { | 38 | namespace boost::corosio { | |||||
| 39 | 39 | |||||||
| 40 | /** An asynchronous TCP acceptor with devirtualized accept operations. | 40 | /** An asynchronous TCP acceptor with devirtualized accept operations. | |||||
| 41 | 41 | |||||||
| 42 | This class template inherits from @ref tcp_acceptor and shadows | 42 | This class template inherits from @ref tcp_acceptor and shadows | |||||
| 43 | the `accept` operation with a version that calls the backend | 43 | the `accept` operation with a version that calls the backend | |||||
| 44 | implementation directly, allowing the compiler to inline through | 44 | implementation directly, allowing the compiler to inline through | |||||
| 45 | the entire call chain. | 45 | the entire call chain. | |||||
| 46 | 46 | |||||||
| 47 | Non-async operations (`listen`, `close`, `cancel`) remain | 47 | Non-async operations (`listen`, `close`, `cancel`) remain | |||||
| 48 | unchanged and dispatch through the compiled library. | 48 | unchanged and dispatch through the compiled library. | |||||
| 49 | 49 | |||||||
| 50 | A `native_tcp_acceptor` IS-A `tcp_acceptor` and can be passed | 50 | A `native_tcp_acceptor` IS-A `tcp_acceptor` and can be passed | |||||
| 51 | to any function expecting `tcp_acceptor&`. | 51 | to any function expecting `tcp_acceptor&`. | |||||
| 52 | 52 | |||||||
| 53 | @tparam Backend A backend tag value (e.g., `epoll`). | 53 | @tparam Backend A backend tag value (e.g., `epoll`). | |||||
| 54 | 54 | |||||||
| 55 | @par Thread Safety | 55 | @par Thread Safety | |||||
| 56 | Same as @ref tcp_acceptor. | 56 | Same as @ref tcp_acceptor. | |||||
| 57 | 57 | |||||||
| 58 | @see tcp_acceptor, epoll_t, iocp_t | 58 | @see tcp_acceptor, epoll_t, iocp_t | |||||
| 59 | */ | 59 | */ | |||||
| 60 | template<auto Backend> | 60 | template<auto Backend> | |||||
| 61 | class native_tcp_acceptor : public tcp_acceptor | 61 | class native_tcp_acceptor : public tcp_acceptor | |||||
| 62 | { | 62 | { | |||||
| 63 | using backend_type = decltype(Backend); | 63 | using backend_type = decltype(Backend); | |||||
| 64 | using impl_type = typename backend_type::tcp_acceptor_type; | 64 | using impl_type = typename backend_type::tcp_acceptor_type; | |||||
| 65 | using service_type = typename backend_type::tcp_acceptor_service_type; | 65 | using service_type = typename backend_type::tcp_acceptor_service_type; | |||||
| 66 | 66 | |||||||
| HITCBC | 67 | 13 | impl_type& get_impl() noexcept | 67 | 15 | impl_type& get_impl() noexcept | ||
| 68 | { | 68 | { | |||||
| HITCBC | 69 | 13 | return *static_cast<impl_type*>(h_.get()); | 69 | 15 | return *static_cast<impl_type*>(h_.get()); | ||
| 70 | } | 70 | } | |||||
| 71 | 71 | |||||||
| 72 | struct native_wait_awaitable | 72 | struct native_wait_awaitable | |||||
| 73 | { | 73 | { | |||||
| 74 | native_tcp_acceptor& acc_; | 74 | native_tcp_acceptor& acc_; | |||||
| 75 | wait_type w_; | 75 | wait_type w_; | |||||
| 76 | std::stop_token token_; | 76 | std::stop_token token_; | |||||
| 77 | mutable std::error_code ec_; | 77 | mutable std::error_code ec_; | |||||
| 78 | 78 | |||||||
| HITCBC | 79 | 2 | native_wait_awaitable(native_tcp_acceptor& acc, wait_type w) noexcept | 79 | 4 | native_wait_awaitable(native_tcp_acceptor& acc, wait_type w) noexcept | ||
| HITCBC | 80 | 2 | : acc_(acc) | 80 | 4 | : acc_(acc) | ||
| HITCBC | 81 | 2 | , w_(w) | 81 | 4 | , w_(w) | ||
| 82 | { | 82 | { | |||||
| HITCBC | 83 | 2 | } | 83 | 4 | } | ||
| 84 | 84 | |||||||
| HITCBC | 85 | 2 | bool await_ready() const noexcept | 85 | 4 | bool await_ready() const noexcept | ||
| 86 | { | 86 | { | |||||
| ECB | 87 | - | 2 | return token_.stop_requested(); | 87 | + | // A pre-set ec_ means the initiator failed before | |
| 88 | + | // dispatch (e.g. a closed object). | ||||||
| HITGNC | 89 | + | 4 | return static_cast<bool>(ec_) || token_.stop_requested(); | ||||
| 88 | } | 90 | } | |||||
| 89 | 91 | |||||||
| HITCBC | 90 | 2 | [[nodiscard]] capy::io_result<> await_resume() const noexcept | 92 | 4 | [[nodiscard]] capy::io_result<> await_resume() const noexcept | ||
| 91 | { | 93 | { | |||||
| HITCBC | 92 | 2 | if (token_.stop_requested()) | 94 | 4 | if (token_.stop_requested()) | ||
| MISUBC | 93 | ✗ | return {make_error_code(std::errc::operation_canceled)}; | 95 | ✗ | return {make_error_code(std::errc::operation_canceled)}; | ||
| HITCBC | 94 | 2 | return {ec_}; | 96 | 4 | return {ec_}; | ||
| 95 | } | 97 | } | |||||
| 96 | 98 | |||||||
| HITCBC | 97 | 2 | auto await_suspend(std::coroutine_handle<> h, capy::io_env const* env) | 99 | 4 | auto await_suspend(std::coroutine_handle<> h, capy::io_env const* env) | ||
| 98 | -> std::coroutine_handle<> | 100 | -> std::coroutine_handle<> | |||||
| 99 | { | 101 | { | |||||
| HITCBC | 100 | 2 | token_ = env->stop_token; | 102 | 4 | token_ = env->stop_token; | ||
| HITCBC | 101 | 6 | return acc_.get_impl().wait( | 103 | 12 | return acc_.get_impl().wait( | ||
| HITCBC | 102 | 6 | h, env->executor, w_, token_, &ec_); | 104 | 12 | h, env->executor, w_, token_, &ec_); | ||
| 103 | } | 105 | } | |||||
| 104 | }; | 106 | }; | |||||
| 105 | 107 | |||||||
| 106 | struct native_accept_awaitable | 108 | struct native_accept_awaitable | |||||
| 107 | { | 109 | { | |||||
| 108 | native_tcp_acceptor& acc_; | 110 | native_tcp_acceptor& acc_; | |||||
| 109 | tcp_socket& peer_; | 111 | tcp_socket& peer_; | |||||
| 110 | std::stop_token token_; | 112 | std::stop_token token_; | |||||
| 111 | mutable std::error_code ec_; | 113 | mutable std::error_code ec_; | |||||
| 112 | mutable io_object::implementation* peer_impl_ = nullptr; | 114 | mutable io_object::implementation* peer_impl_ = nullptr; | |||||
| 113 | 115 | |||||||
| HITCBC | 114 | 9 | native_accept_awaitable( | 116 | 11 | native_accept_awaitable( | ||
| 115 | native_tcp_acceptor& acc, tcp_socket& peer) noexcept | 117 | native_tcp_acceptor& acc, tcp_socket& peer) noexcept | |||||
| HITCBC | 116 | 9 | : acc_(acc) | 118 | 11 | : acc_(acc) | ||
| HITCBC | 117 | 9 | , peer_(peer) | 119 | 11 | , peer_(peer) | ||
| 118 | { | 120 | { | |||||
| HITCBC | 119 | 9 | } | 121 | 11 | } | ||
| 120 | 122 | |||||||
| HITCBC | 121 | 9 | bool await_ready() const noexcept | 123 | 11 | bool await_ready() const noexcept | ||
| 122 | { | 124 | { | |||||
| ECB | 123 | - | 9 | return token_.stop_requested(); | 125 | + | // A pre-set ec_ means the initiator failed before | |
| 126 | + | // dispatch (e.g. a closed object). | ||||||
| HITGNC | 127 | + | 11 | return static_cast<bool>(ec_) || token_.stop_requested(); | ||||
| 124 | } | 128 | } | |||||
| 125 | 129 | |||||||
| HITCBC | 126 | 9 | [[nodiscard]] capy::io_result<> await_resume() const noexcept | 130 | 11 | [[nodiscard]] capy::io_result<> await_resume() const noexcept | ||
| 127 | { | 131 | { | |||||
| HITCBC | 128 | 9 | if (token_.stop_requested()) | 132 | 11 | if (token_.stop_requested()) | ||
| MISUBC | 129 | ✗ | return {make_error_code(std::errc::operation_canceled)}; | 133 | ✗ | return {make_error_code(std::errc::operation_canceled)}; | ||
| HITCBC | 130 | 9 | if (!ec_) | 134 | 11 | if (!ec_) | ||
| HITCBC | 131 | 9 | acc_.reset_peer_impl(peer_, peer_impl_); | 135 | 9 | acc_.reset_peer_impl(peer_, peer_impl_); | ||
| HITCBC | 132 | 9 | return {ec_}; | 136 | 11 | return {ec_}; | ||
| 133 | } | 137 | } | |||||
| 134 | 138 | |||||||
| HITCBC | 135 | 9 | auto await_suspend(std::coroutine_handle<> h, capy::io_env const* env) | 139 | 9 | auto await_suspend(std::coroutine_handle<> h, capy::io_env const* env) | ||
| 136 | -> std::coroutine_handle<> | 140 | -> std::coroutine_handle<> | |||||
| 137 | { | 141 | { | |||||
| HITCBC | 138 | 9 | token_ = env->stop_token; | 142 | 9 | token_ = env->stop_token; | ||
| HITCBC | 139 | 27 | return acc_.get_impl().accept( | 143 | 27 | return acc_.get_impl().accept( | ||
| HITCBC | 140 | 27 | h, env->executor, token_, &ec_, &peer_impl_); | 144 | 27 | h, env->executor, token_, &ec_, &peer_impl_); | ||
| 141 | } | 145 | } | |||||
| 142 | }; | 146 | }; | |||||
| 143 | 147 | |||||||
| 144 | struct native_accept_value_awaitable | 148 | struct native_accept_value_awaitable | |||||
| 145 | { | 149 | { | |||||
| 146 | native_tcp_acceptor& acc_; | 150 | native_tcp_acceptor& acc_; | |||||
| 147 | tcp_socket peer_; | 151 | tcp_socket peer_; | |||||
| 148 | std::stop_token token_; | 152 | std::stop_token token_; | |||||
| 149 | mutable std::error_code ec_; | 153 | mutable std::error_code ec_; | |||||
| 150 | mutable io_object::implementation* peer_impl_ = nullptr; | 154 | mutable io_object::implementation* peer_impl_ = nullptr; | |||||
| 151 | 155 | |||||||
| HITCBC | 152 | 2 | explicit native_accept_value_awaitable(native_tcp_acceptor& acc) | 156 | 4 | explicit native_accept_value_awaitable(native_tcp_acceptor& acc) | ||
| HITCBC | 153 | 2 | : acc_(acc) | 157 | 4 | : acc_(acc) | ||
| HITCBC | 154 | 2 | , peer_(acc.context()) | 158 | 4 | , peer_(acc.context()) | ||
| 155 | { | 159 | { | |||||
| HITCBC | 156 | 2 | } | 160 | 4 | } | ||
| 157 | 161 | |||||||
| HITCBC | 158 | 2 | bool await_ready() const noexcept | 162 | 4 | bool await_ready() const noexcept | ||
| 159 | { | 163 | { | |||||
| ECB | 160 | - | 2 | return token_.stop_requested(); | 164 | + | // A pre-set ec_ means the initiator failed before | |
| 165 | + | // dispatch (e.g. a closed object). | ||||||
| HITGNC | 166 | + | 4 | return static_cast<bool>(ec_) || token_.stop_requested(); | ||||
| 161 | } | 167 | } | |||||
| 162 | 168 | |||||||
| HITCBC | 163 | 2 | [[nodiscard]] capy::io_result<tcp_socket> await_resume() noexcept | 169 | 4 | [[nodiscard]] capy::io_result<tcp_socket> await_resume() noexcept | ||
| 164 | { | 170 | { | |||||
| HITCBC | 165 | 2 | if (token_.stop_requested()) | 171 | 4 | if (token_.stop_requested()) | ||
| MISUBC | 166 | ✗ | return {make_error_code(std::errc::operation_canceled), | 172 | ✗ | return {make_error_code(std::errc::operation_canceled), | ||
| MISUBC | 167 | ✗ | std::move(peer_)}; | 173 | ✗ | std::move(peer_)}; | ||
| HITCBC | 168 | 2 | if (!ec_ && peer_impl_) | 174 | 4 | if (!ec_ && peer_impl_) | ||
| HITCBC | 169 | 2 | acc_.reset_peer_impl(peer_, peer_impl_); | 175 | 2 | acc_.reset_peer_impl(peer_, peer_impl_); | ||
| HITCBC | 170 | 2 | return {ec_, std::move(peer_)}; | 176 | 4 | return {ec_, std::move(peer_)}; | ||
| 171 | } | 177 | } | |||||
| 172 | 178 | |||||||
| HITCBC | 173 | 2 | auto await_suspend(std::coroutine_handle<> h, capy::io_env const* env) | 179 | 2 | auto await_suspend(std::coroutine_handle<> h, capy::io_env const* env) | ||
| 174 | -> std::coroutine_handle<> | 180 | -> std::coroutine_handle<> | |||||
| 175 | { | 181 | { | |||||
| HITCBC | 176 | 2 | token_ = env->stop_token; | 182 | 2 | token_ = env->stop_token; | ||
| HITCBC | 177 | 6 | return acc_.get_impl().accept( | 183 | 6 | return acc_.get_impl().accept( | ||
| HITCBC | 178 | 6 | h, env->executor, token_, &ec_, &peer_impl_); | 184 | 6 | h, env->executor, token_, &ec_, &peer_impl_); | ||
| 179 | } | 185 | } | |||||
| 180 | }; | 186 | }; | |||||
| 181 | 187 | |||||||
| 182 | public: | 188 | public: | |||||
| 183 | /** Construct a native acceptor from an execution context. | 189 | /** Construct a native acceptor from an execution context. | |||||
| 184 | 190 | |||||||
| 185 | @param ctx The execution context that will own this acceptor. | 191 | @param ctx The execution context that will own this acceptor. | |||||
| 186 | */ | 192 | */ | |||||
| HITCBC | 187 | 21 | explicit native_tcp_acceptor(capy::execution_context& ctx) | 193 | 27 | explicit native_tcp_acceptor(capy::execution_context& ctx) | ||
| HITCBC | 188 | 21 | : tcp_acceptor(create_handle<service_type>(ctx)) | 194 | 27 | : tcp_acceptor(create_handle<service_type>(ctx)) | ||
| 189 | { | 195 | { | |||||
| HITCBC | 190 | 21 | } | 196 | 27 | } | ||
| 191 | 197 | |||||||
| 192 | /** Construct a native acceptor from an executor. | 198 | /** Construct a native acceptor from an executor. | |||||
| 193 | 199 | |||||||
| 194 | @param ex The executor whose context will own the acceptor. | 200 | @param ex The executor whose context will own the acceptor. | |||||
| 195 | */ | 201 | */ | |||||
| 196 | template<class Ex> | 202 | template<class Ex> | |||||
| 197 | requires(!std::same_as<std::remove_cvref_t<Ex>, native_tcp_acceptor>) && | 203 | requires(!std::same_as<std::remove_cvref_t<Ex>, native_tcp_acceptor>) && | |||||
| 198 | capy::Executor<Ex> | 204 | capy::Executor<Ex> | |||||
| 199 | explicit native_tcp_acceptor(Ex const& ex) | 205 | explicit native_tcp_acceptor(Ex const& ex) | |||||
| 200 | : native_tcp_acceptor(ex.context()) | 206 | : native_tcp_acceptor(ex.context()) | |||||
| 201 | { | 207 | { | |||||
| 202 | } | 208 | } | |||||
| 203 | 209 | |||||||
| 204 | /** Move construct. | 210 | /** Move construct. | |||||
| 205 | 211 | |||||||
| 206 | @param other The acceptor to move from. | 212 | @param other The acceptor to move from. | |||||
| 207 | 213 | |||||||
| 208 | @pre No awaitables returned by @p other's methods exist. | 214 | @pre No awaitables returned by @p other's methods exist. | |||||
| 209 | @pre The execution context associated with @p other must | 215 | @pre The execution context associated with @p other must | |||||
| 210 | outlive this acceptor. | 216 | outlive this acceptor. | |||||
| 211 | */ | 217 | */ | |||||
| HITCBC | 212 | 2 | native_tcp_acceptor(native_tcp_acceptor&&) noexcept = default; | 218 | 4 | native_tcp_acceptor(native_tcp_acceptor&&) noexcept = default; | ||
| 213 | 219 | |||||||
| 214 | /** Move assign. | 220 | /** Move assign. | |||||
| 215 | 221 | |||||||
| 216 | @param other The acceptor to move from. | 222 | @param other The acceptor to move from. | |||||
| 217 | 223 | |||||||
| 218 | @pre No awaitables returned by either `*this` or @p other's | 224 | @pre No awaitables returned by either `*this` or @p other's | |||||
| 219 | methods exist. | 225 | methods exist. | |||||
| 220 | @pre The execution context associated with @p other must | 226 | @pre The execution context associated with @p other must | |||||
| 221 | outlive this acceptor. | 227 | outlive this acceptor. | |||||
| 222 | */ | 228 | */ | |||||
| 223 | native_tcp_acceptor& operator=(native_tcp_acceptor&&) noexcept = default; | 229 | native_tcp_acceptor& operator=(native_tcp_acceptor&&) noexcept = default; | |||||
| 224 | 230 | |||||||
| 225 | native_tcp_acceptor(native_tcp_acceptor const&) = delete; | 231 | native_tcp_acceptor(native_tcp_acceptor const&) = delete; | |||||
| 226 | native_tcp_acceptor& operator=(native_tcp_acceptor const&) = delete; | 232 | native_tcp_acceptor& operator=(native_tcp_acceptor const&) = delete; | |||||
| 227 | 233 | |||||||
| 228 | /** Asynchronously accept an incoming connection. | 234 | /** Asynchronously accept an incoming connection. | |||||
| 229 | 235 | |||||||
| 230 | Calls the backend implementation directly, bypassing virtual | 236 | Calls the backend implementation directly, bypassing virtual | |||||
| 231 | dispatch. Otherwise identical to @ref tcp_acceptor::accept. | 237 | dispatch. Otherwise identical to @ref tcp_acceptor::accept. | |||||
| 232 | 238 | |||||||
| 233 | @param peer The socket to receive the accepted connection. | 239 | @param peer The socket to receive the accepted connection. | |||||
| 234 | 240 | |||||||
| 235 | @return An awaitable yielding `io_result<>`. | 241 | @return An awaitable yielding `io_result<>`. | |||||
| 236 | 242 | |||||||
| 237 | - | @throws std::logic_error if the acceptor is not listening. | 243 | + | A closed acceptor reports `errc::bad_file_descriptor`. | |||
| 238 | 244 | |||||||
| 239 | Both this acceptor and @p peer must outlive the returned | 245 | Both this acceptor and @p peer must outlive the returned | |||||
| 240 | awaitable. | 246 | awaitable. | |||||
| 241 | */ | 247 | */ | |||||
| HITCBC | 242 | - | 9 | auto accept(tcp_socket& peer) | 248 | + | 11 | [[nodiscard]] auto accept(tcp_socket& peer) |
| 243 | { | 249 | { | |||||
| HITGNC | 250 | + | 11 | native_accept_awaitable aw(*this, peer); | ||||
| HITCBC | 244 | 9 | if (!is_open()) | 251 | 11 | if (!is_open()) | ||
| HITGBC | 245 | - | ✗ | detail::throw_logic_error("accept: acceptor not listening"); | 252 | + | 2 | aw.ec_ = make_error_code(std::errc::bad_file_descriptor); |
| HITCBC | 246 | - | 9 | return native_accept_awaitable(*this, peer); | 253 | + | 11 | return aw; |
| 247 | } | 254 | } | |||||
| 248 | 255 | |||||||
| 249 | /** Asynchronously accept an incoming connection, returning the peer. | 256 | /** Asynchronously accept an incoming connection, returning the peer. | |||||
| 250 | 257 | |||||||
| 251 | Calls the backend implementation directly, bypassing virtual | 258 | Calls the backend implementation directly, bypassing virtual | |||||
| 252 | dispatch. Otherwise identical to @ref tcp_acceptor::accept(). | 259 | dispatch. Otherwise identical to @ref tcp_acceptor::accept(). | |||||
| 253 | 260 | |||||||
| 254 | @return An awaitable yielding `io_result<tcp_socket>`. | 261 | @return An awaitable yielding `io_result<tcp_socket>`. | |||||
| 255 | 262 | |||||||
| 256 | - | @throws std::logic_error if the acceptor is not listening. | 263 | + | A closed acceptor reports `errc::bad_file_descriptor`. | |||
| 264 | + | |||||||
| 265 | + | @throws std::logic_error If the acceptor has been moved from. | ||||||
| 257 | 266 | |||||||
| 258 | This acceptor must outlive the returned awaitable. | 267 | This acceptor must outlive the returned awaitable. | |||||
| 259 | */ | 268 | */ | |||||
| HITCBC | 260 | - | 2 | auto accept() | 269 | + | 6 | [[nodiscard]] auto accept() |
| 261 | { | 270 | { | |||||
| 271 | + | // The awaitable builds the peer from context(), which a | ||||||
| 272 | + | // moved-from acceptor no longer has. | ||||||
| HITGNC | 273 | + | 6 | if (!h_) | ||||
| HITGNC | 274 | + | 2 | detail::throw_logic_error("accept: acceptor moved-from"); | ||||
| HITGNC | 275 | + | 4 | native_accept_value_awaitable aw(*this); | ||||
| HITCBC | 262 | 2 | if (!is_open()) | 276 | 4 | if (!is_open()) | ||
| HITGBC | 263 | - | ✗ | detail::throw_logic_error("accept: acceptor not listening"); | 277 | + | 2 | aw.ec_ = make_error_code(std::errc::bad_file_descriptor); |
| HITCBC | 264 | - | 2 | return native_accept_value_awaitable(*this); | 278 | + | 4 | return aw; |
| 265 | } | 279 | } | |||||
| 266 | 280 | |||||||
| 267 | /** Asynchronously wait for the acceptor to be ready. | 281 | /** Asynchronously wait for the acceptor to be ready. | |||||
| 268 | 282 | |||||||
| 269 | Calls the backend implementation directly, bypassing virtual | 283 | Calls the backend implementation directly, bypassing virtual | |||||
| 270 | dispatch. Otherwise identical to @ref tcp_acceptor::wait. | 284 | dispatch. Otherwise identical to @ref tcp_acceptor::wait. | |||||
| 271 | 285 | |||||||
| 272 | @param w The wait direction (typically `wait_type::read`). | 286 | @param w The wait direction (typically `wait_type::read`). | |||||
| 273 | 287 | |||||||
| 274 | @return An awaitable yielding `io_result<>`. | 288 | @return An awaitable yielding `io_result<>`. | |||||
| 275 | */ | 289 | */ | |||||
| HITCBC | 276 | 2 | [[nodiscard]] auto wait(wait_type w) | 290 | 4 | [[nodiscard]] auto wait(wait_type w) | ||
| 277 | { | 291 | { | |||||
| HITCBC | 278 | 2 | return native_wait_awaitable(*this, w); | 292 | 4 | return native_wait_awaitable(*this, w); | ||
| 279 | } | 293 | } | |||||
| 280 | }; | 294 | }; | |||||
| 281 | 295 | |||||||
| 282 | } // namespace boost::corosio | 296 | } // namespace boost::corosio | |||||
| 283 | 297 | |||||||
| 284 | #endif | 298 | #endif | |||||