基于旧版io_service，用mutex替代strand同步websocket_stream可行吗？

不行，仅用mutex和lock_guard无法安全同步共享的websocket_stream对象

原因： #

• Boost Beast的websocket_stream明确要求：所有异步操作必须在同一个隐式或显式strand中执行，这不是普通互斥锁能替代的。
• 如果你在锁保护下调用async_write，锁会在异步操作启动后立刻释放，但异步操作的完成handler会在io_service的某个线程上执行。这时候如果其他线程再通过锁发起新的异步操作，就会出现多个异步操作在不同线程上下文执行的情况，直接违反Beast的线程安全规则，会导致未定义行为（比如数据竞争、对象状态损坏）。
• 互斥锁只能保证临界区代码的同步，却无法保证异步操作的整个执行上下文统一，这完全达不到Beast对共享对象的安全要求。

针对旧版io_service的正确做法： #

• 显式创建一个boost::asio::strand，绑定到你的io_service实例上。
• 所有针对websocket_stream的异步操作（包括async_write、async_read等），都通过strand的wrap方法包装handler，或者用strand.post来发起操作，确保所有操作都在strand的上下文里执行。
• 不需要额外加mutex，strand本身就能保证同一时间只有一个操作在执行，完美满足Beast的线程安全要求。

示例代码（旧版io_service写法）：

// 假设已初始化io_service和websocket_stream实例
boost::asio::strand strand(io_service);

// 通过strand发起异步写操作，保证上下文统一
strand.post([&]() {
    ws.async_write(boost::asio::buffer("hello"),
        strand.wrap([](boost::system::error_code ec, std::size_t bytes_transferred) {
            // 处理写操作完成的逻辑
        }));
});

内容的提问来源于stack exchange，提问作者user129393192