未调用asio::io_context.run()的线程如何向运行该方法的线程分发任务

问题1：从未运行过asio::io_context.run()的线程，向已启动run()的io_context线程分发任务是否必须调用post()/dispatch()？ #

• 如果你要投递的是自定义的可执行任务（比如普通函数、lambda等），答案是必须。
• asio::io_context公开的线程安全任务投递接口只有post()、dispatch()、defer()三个，没有其他合法方式可以往io_context的内部任务队列添加任务。三个接口的差异如下：
  • dispatch()：如果当前调用线程刚好是io_context的运行线程，会同步执行目标任务，否则和post()逻辑一致
  • post()：永远将任务加入队列，等待io_context运行线程异步调度执行
  • defer()：和post()逻辑类似，但会提示asio可以延迟调度，适合优先级更低的任务

问题2：从未运行过asio::io_context.run()的线程直接调用asio::async_write()/asio::async_read()是否安全？ #

只要你使用的I/O对象（比如tcp::socket、serial_port等）关联的executor是对应已运行的asio::io_context的executor，该操作就是完全安全的。
所有asio提供的async_前缀异步发起函数本身就是线程安全的，内部已经封装了向关联executor投递任务的逻辑，不需要你额外手动调用post()包裹。异步操作完成后的回调，最终会自动调度到io_context.run()所在的线程执行。

注意：该安全仅针对async函数本身的调用逻辑。如果同时有多个线程操作同一个I/O对象（比如一个线程发起async_write，另一个线程同时调用socket.close()），你需要自行加锁保证I/O对象的并发访问安全，asio不会处理这类用户态的并发访问冲突。

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