C++如何保障多线程环境下多语句操作序列的原子性？

你遇到的是典型的多线程竞态条件问题：类成员变量a作为共享资源被多个线程并发读写，要保证一组关联操作执行时不被其他线程插队修改共享变量，核心是把这组操作包裹为原子执行的临界区，最通用稳妥的实现方案是使用互斥锁（Mutex）。

具体实现步骤 #

• 在定义类的时候，新增一个互斥锁类型的成员变量，专门用于保护a以及和a逻辑关联的其他共享成员（比如示例里的e）。
• 所有读写这些共享变量的代码段，执行前必须先持有这把互斥锁，执行完成后立即释放锁。互斥锁的机制保证同一时间最多只有一个线程能持有锁，其他尝试获取锁的线程会阻塞等待，从根本上避免其他线程的操作插队进入临界区。

以你示例的C++风格代码为例，改造后的代码如下：

#include <mutex>
class DemoClass {
private:
    int a;
    int e;
    std::mutex shared_var_mtx; // 保护共享变量的互斥锁，所有线程共用
    // 其他成员变量b、c、d省略定义
public:
    // 主线程执行的逻辑
    void main_thread_logic() {
        // 用RAII风格的锁守卫，进入作用域自动加锁，离开作用域（包括异常、提前return场景）自动解锁，避免死锁
        std::lock_guard<std::mutex> lock(shared_var_mtx);
        this->a = b / c;
        if (this->a < d) {
            this->e = 7;
        }
    }

    // 线程2执行的逻辑
    void thread2_logic() {
        int j = 7 / 2;
        // 所有操作共享变量a的代码路径，都必须加同一把锁
        std::lock_guard<std::mutex> lock(shared_var_mtx);
        this->a *= j;
    }
};

关键注意事项 #

• 互斥锁必须是所有相关线程共享的同一个实例：如果每个线程各自创建独立的锁对象，完全无法起到互斥作用。
• 所有访问受保护共享变量的代码路径都必须加锁：哪怕只是单纯读取a值的逻辑，只要和写操作并发执行，就可能读到不一致的中间值，必须纳入锁的保护范围。
• 优先使用语言自带的RAII风格锁包装器：比如C++的std::lock_guard/std::unique_lock、Java的synchronized关键字、Python的with lock:语法块，不要手动调用加锁、解锁接口，避免代码抛异常、提前返回时忘记释放锁导致死锁。
• 不要误用volatile关键字解决这类问题：volatile仅能避免编译器对变量做寄存器优化，既不保证复合操作的原子性，也无法为多步逻辑构建临界区，完全不适用当前场景。如果只是单步的简单变量读写，可以用对应语言的原子类型（比如C++的std::atomic<int>），但你当前场景涉及赋值、条件判断、修改其他关联变量的多步逻辑，互斥锁是最可靠的方案。

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