asio_handler_invoke 常量重载

Question

给定以下实现异步 future.wait() 的函数（完整示例 here）：

template <typename Token, typename T>
typename boost::asio::async_result<
    typename boost::asio::handler_type<Token, void()>::type
>::type
async_wait(boost::asio::io_service& ios, std::future<T>& future, Token&& token)
{
    using handler_type = typename boost::asio::handler_type<Token, void()>::type;
    handler_type handler(std::forward<Token>(token));
    boost::asio::async_result<handler_type> result(handler);

    std::async([&ios, &future, handler]() {
        future.wait();
        ios.dispatch([handler]() {
            using boost::asio::asio_handler_invoke;
            asio_handler_invoke(handler, const_cast<handler_type*>(&handler));
        });
    });

    return result.get();
}

正确的asio_handler_invoke 仅在第二个参数是非常量时才被调用。如果 handler 是一个 lambda 捕获，它是 const 并且默认的 asio_handler_invoke 被调用。因此，要么必须使 lambdas 可变，要么需要 const_cast 才能使其正常工作。

这一切看起来都很丑陋，更重要的是对我来说也非常脆弱。所以我现在的问题是：

• 是否有更好（即更安全）的方法来实现这一点？
• 这是 asio 中的实际设计缺陷吗？应该有const 重载yield_context 和朋友至少给出错误消息，而不是仅仅调用默认的asio_handler_invoke？或者这些不存在是否有正当理由？
• 或者更好的是，是否应该只为默认的asio_handler_invoke 提供一个 const 重载来提供错误消息？

Answer 1

非常有趣的问题。

首先，前提看起来很奇怪。 asio_handler_invoke 用于在与某些 给定处理程序 相同的执行上下文中调用 另一个处理程序 时使用（您无法知道详细信息，因为它可能包含在一些（用户定义的）类型）。

所以我认为有

F f;
using boost::asio::asio_handler_invoke;
asio_handler_invoke(f, &f);

从概念上讲并可能降低性能（例如通过两次缠绕）。

它也很容易导致不良结果。想象一下 F 是 Tanner 的样本计数包装器的包装器，它只会导致重复计算调用。

分析问题

所以剩下的问题是处理程序调用是否为内置处理程序包装类型做正确的事情，让我们使用 Tanner 的计数包装器，我们确实看到了

{
    operation_counter oc;

    auto handler = oc.wrap([](boost::system::error_code ec) {
            std::cout << "Inner (" << ec.message() << ")\n";
        });

    asio_handler_invoke([]() {
            std::cout << "Outer\n";
        }, &handler);

    std::cout << "mutable: " << oc.count() << "\n";
}

打印

Outer
mutable: 1

但更改为auto const handler 打印：

Outer
const: 0

查看两种情况Live On Coliru

确实，增加了一个超载的数量

  template <typename Function>
      friend void asio_handler_invoke(Function function, counting_handler const *context);

让差异消失：

Live On Coliru

因此，奇怪的不是重载不适用于 const 处理程序上下文，而是省略返回到默认行为默默且没有警告。

确实，我建议向图书馆开发人员报告此问题，因为我可以看到这对于诸如 boost::asio::strand 之类的事情会悄悄出错，这将导致可预见的问题。