Windows平台下C++的std::async(std::launch::async)任务能否跨线程切换或窃取？

• 核心结论：通过std::async(std::launch::async)启动的任务，不会出现被多个线程分段执行的情况——任务会由单个线程从头到尾完整执行，不存在"线程窃取后切换到另一线程继续执行"的场景。
• 原因说明：C++标准明确要求，当指定std::launch::async启动策略时，必须为任务分配独立的执行线程（或是复用线程池中的空闲线程，但任务一旦绑定到某线程，就会由该线程全程执行）。MSVC等Windows平台的标准库实现严格遵循这一规范，任务的执行上下文自始至终固定为单个线程。
• thread_local变量的状态保留：由于任务全程由同一线程执行，任务内部定义的thread_local变量会完整保留其状态。thread_local变量的生命周期与所属线程绑定，只要线程未退出，变量实例就会持续存在，任务执行过程中所有对该变量的操作都针对同一个实例，不会出现状态丢失或切换的问题。

如果同事看到的微软文档相关评论引发了疑问，大概率是混淆了其他异步调度机制（比如支持任务窃取的自定义线程池、Windows原生IOCP等），但std::async(std::launch::async)的行为是明确且符合标准的，不存在跨线程执行同一任务的情况。

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