C++协程中thread_local变量的行为及标准合规性问询

回调模式下的thread_local特性 #

在引入协程前，异步操作通常通过回调函数实现。回调作为普通函数可持有thread_local变量，这类变量的作用域严格绑定到执行回调的线程；通过共享函数（如GetThreadLocalInt）获取的thread_local变量，在同一线程内始终指向同一个实例，行为符合预期。

协程版本TCP连接的疑问 #

针对协程实现的TCP连接代码，存在以下两类疑问：

• co_await前后线程未变化时，thread_local变量（包括通过GetThreadLocalInt获取的引用）是否保持一致？
• co_await触发线程切换后，新线程中的thread_local变量会被重新初始化、复制旧线程的值，还是复用原线程的实例？通过GetThreadLocalInt获取的引用是否会引发竞态条件？

核心标准合规性问题 #

C++标准是否对上述协程中thread_local的行为有明确规定，以保证代码在不同编译器下的可移植性？

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