C++ as-if规则疑问：编译器是否会优化代码使线程始终打印10？

首先明确：你的代码当前运行符合预期只是偶然情况，程序本质属于未定义行为，编译器完全有可能通过优化让子线程始终打印10，具体原因如下：

1. as-if规则的边界 #

as-if规则是单线程语义下的优化约束——编译器可以任意重排、优化代码，只要单线程下的可观察行为不变。但多线程场景下，这个规则不保证跨线程的内存可见性，因为编译器和CPU会默认基于"单线程无数据竞争"的假设做优化。

2. 代码中的优化风险 #

你通过const_cast<const int&>(a)将非const变量a转为const引用b并捕获，编译器看到b是const引用时，在单线程假设下会判定：该引用绑定的值不会被修改，进而可能执行以下优化：

• 将b的初始值10缓存到寄存器，子线程每次打印时直接读取寄存器值，不再从内存重新获取a的最新状态
• 甚至直接把循环中的std::cerr<<b替换为std::cerr<<10，因为编译器认为b的值不会发生变化

虽然主线程修改了a，但由于没有任何同步机制（如互斥锁、原子变量、内存屏障），这个修改对被子线程的可见性没有任何保证——CPU缓存不一致、指令重排都可能导致子线程永远看不到a的新值20。

3. 正确的解决方式 #

要确保子线程能看到a的修改，必须引入同步机制，常见的两种方案：

方案一：使用原子变量 #

将a声明为std::atomic<int>，原子操作自带内存可见性保证：

#include <iostream>
#include <thread>
#include <chrono>
#include <atomic>

int main()
{
    std::atomic<int> a = 10;
    std::thread t([&a]{while(true){std::cerr<<a<<std::endl; std::this_thread::sleep_for(std::chrono::seconds(1));}});
    std::this_thread::sleep_for(std::chrono::seconds(5));
    a = 20;
    t.join();
    return 0;
}

方案二：使用互斥锁保护读写 #

用std::mutex同步对a的访问，确保读写操作的原子性和可见性：

#include <iostream>
#include <thread>
#include <chrono>
#include <mutex>

int main()
{
    int a = 10;
    std::mutex mtx;
    std::thread t([&]{while(true){
        std::lock_guard<std::mutex> lock(mtx);
        std::cerr<<a<<std::endl; 
        std::this_thread::sleep_for(std::chrono::seconds(1));
    }});
    std::this_thread::sleep_for(std::chrono::seconds(5));
    {
        std::lock_guard<std::mutex> lock(mtx);
        a = 20;
    }
    t.join();
    return 0;
}

总结 #

const_cast仅改变了变量的const属性，并没有解决多线程下的内存可见性问题。无同步的跨线程读写属于数据竞争，行为完全未定义——当前能看到预期结果只是巧合，绝对不能依赖这种写法。

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