为何MSVC下Asio协程处理右值参数时输出乱码？

问题原因 #

在MSVC 17.5.5 + Boost.Asio 1.25.0环境下，代码出现两种异常的根源如下：

1. 传递字符串字面量时输出乱码：尽管字符串字面量属于静态生命周期，但MSVC的协程实现对转发引用类型的协程参数处理存在缺陷，导致协程执行时引用指向了错误的内存区域，最终输出乱码。
2. 传递临时std::string时无输出：临时对象在coro_task调用结束后立即销毁，协程保存的转发引用变为悬空引用，读取时自然为空。

GCC/Clang的协程实现或Boost.Asio对它们的适配不存在该问题，因此代码在这些编译器下表现正常。

修复方案 #

方案1：改为值传递参数 #

将协程的参数从转发引用改为值传递，参数会被拷贝到协程帧中，确保生命周期覆盖协程执行全程：

template <typename Str>
asio::awaitable<void> coro_task(Str str) {
  std::cout << "coro_task: " << str << std::endl;
  co_await asio::this_coro::executor;
}

方案2：在协程内拷贝参数到本地变量 #

如果需要保留转发引用以优化拷贝逻辑，可以在协程内立即将参数拷贝/移动到本地变量，延长其生命周期：

template <typename Str>
asio::awaitable<void> coro_task(Str&& str) {
  auto local_str = std::forward<Str>(str);
  std::cout << "coro_task: " << local_str << std::endl;
  co_await asio::this_coro::executor;
}

两种方案都能确保参数的生命周期与协程一致，避免悬空引用或内存访问错误，解决乱码和空输出的问题。

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