基于boost::asio::awaitable的异步条件变量实现及异常规避问题
问题解答
1. 关于boost::asio::awaitable拷贝构造函数已删除的编译错误
boost::asio::awaitable是不可拷贝的类型,代码中只要出现拷贝awaitable对象的操作(比如值传递awaitable、存入容器时未用移动语义等),就会触发该编译错误。
解决思路:
- 所有涉及
awaitable传递、存储的场景,都使用移动语义,比如通过std::move()转移对象所有权; - 不要将
awaitable作为值类型存入容器,改用std::unique_ptr<boost::asio::awaitable<...>>持有,或直接在协程内部链式调用,不额外存储awaitable实例; - 检查
waitCoro函数逻辑,确保co_await的目标是右值引用或临时对象,避免拷贝已有awaitable对象。
2. 取消steady_timer时无需捕获异常的解决方法
boost::asio提供两种无需捕获operation_aborted异常的方案:
方案一:使用忽略取消异常的use_awaitable重载
用boost::asio::use_awaitable_t<boost::asio::ignore_aborted>作为完成令牌,定时器被取消时co_await不会抛出异常,而是返回boost::system::error_code对象,直接通过错误码判断取消场景:
boost::system::error_code ec; co_await _timer->async_wait(boost::asio::use_awaitable_t<boost::asio::ignore_aborted>(ec)); if (ec == boost::asio::error::operation_aborted) { // 处理取消逻辑 } else { // 处理正常超时逻辑 }
方案二:使用带错误码输出的协程令牌
借助boost::asio::as_tuple(boost::asio::use_awaitable)将异步操作结果打包为tuple,第一个元素即为错误码,同样不会抛出异常:
auto [ec] = co_await _timer->async_wait(boost::asio::as_tuple(boost::asio::use_awaitable)); if (ec == boost::asio::error::operation_aborted) { // 处理取消逻辑 }
这两种方案都能避免try-catch块,直接通过错误码处理取消场景。
内容的提问来源于stack exchange,提问作者bustus_primus
相关产品推荐
相关产品推荐

