C++多线程访问布尔成员是否线程安全？需用atomic还是mutex？

1. 当前代码中m_Found的访问不线程安全 #

你此前听到的「bool或小于1字节的数据类型无需mutex保护」是完全错误的认知，原因如下：

• 你代码中用的volatile关键字不具备多线程场景下的可见性、原子性保证，它仅用于禁止编译器优化内存读写（多用于内存映射IO场景），和线程安全无关。
• 你对m_Found的操作是典型的「读-判断-写」序列，多线程并发执行时会出现数据竞争：多个线程可能同时读到m_Found为false的旧值，重复执行查找逻辑，甚至因为CPU缓存可见性问题，某线程修改的m_Found值永远不会被其他线程、甚至最后执行输出的主线程看到，最终结果不符合预期。
• 哪怕是单字节的bool类型，只要存在并发读写，只要没有同步措施，就属于C++标准定义的未定义行为，会出现不可预期的结果。

2. 优先选择std::atomic<bool>而非mutex #

你的场景对延迟要求高，且操作仅涉及单个布尔标记的更新，std::atomic是远优于mutex的选择：

• mutex是操作系统级的同步原语，存在上下文切换、内核态调用的开销，对于单变量的简单更新场景过重，完全不符合低延迟需求。
• std::atomic<bool>是无锁的原子操作，开销极低，完全满足你的场景需求。

3. 代码修改建议 #

你可以按如下方式调整代码，兼顾正确性和低延迟：

1. 新增<atomic>头文件引用，把Tag中的成员定义从volatile bool m_Found;改为std::atomic<bool> m_Found;。
2. 内层lambda的逻辑可以优化为更高效的原子操作，无需先判断再写：

[& input_element](Tag & intention){
    // 用relaxed内存序即可，因为我们只需要最终结果正确，不需要强同步顺序，延迟最低
    bool match = intention.m_Context.find(input_element)!=intention.m_Context.end();
    intention.m_Found.fetch_or(match, std::memory_order_relaxed);
}

这个写法等价于你的原有逻辑：只要有一次匹配成功，m_Found就会被永久设为true，且全程无锁，性能最优。

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