C++中的原子操作(atomic)是什么_C++11无锁编程与线程安全

原子操作是不可中断的操作，C++中通过std::atomic实现，确保多线程下对共享变量的读-改-写具有完整性，避免数据竞争；例如count.fetch_add(1)替代非原子的count++，保证操作的原子性。相比互斥锁，原子操作性能更高，适用于高并发场景。std::atomic支持load、store、exchange和compare_exchange_weak等操作，其中CAS（比较并交换）是无锁编程的核心机制，常用于实现线程安全的数据结构如无锁栈。配合内存顺序（memory_order）可精细控制内存可见性和指令重排，不同memory_order选项在性能与同步强度间权衡，需根据场景合理选择以确保正确性与效率。

原子操作（atomic）在C++中是一种确保对共享变量的操作不会被线程干扰的机制。它常用于多线程环境中，避免数据竞争，实现线程安全。C++11引入了std::atomic模板类，让开发者可以方便地使用无锁（lock-free）方式操作基本类型，比如整数、指针等。

什么是原子操作？

原子操作是指一个操作在执行过程中不会被其他线程中断。也就是说，读-改-写这类复合操作在多线程环境下也能保持完整性。例如：

• count++ 看似简单，实际包含“读值、加1、写回”三步，非原子操作可能引发数据竞争。
• 使用std::atomic count;后，count.fetch_add(1)就能保证整个过程是原子的。

原子操作的核心优势是性能——相比互斥锁（mutex），它避免了线程阻塞和上下文切换开销，特别适合高并发场景。

std::atomic 的基本用法

你可以将常用类型包装成原子变量：

立即学习“C++免费学习笔记（深入）”；

#include 
#include 
std::atomic counter{0};
void increment() {
for (int i = 0; i < 1000; ++i) {
counter.fetch_add(1, std::memory_order_relaxed);
}
}

上面代码中，多个线程调用increment()也不会导致计数错误。fetch_add是原子加法，返回旧值；你也可以用++counter，它会被重载为原子操作。

Meituan CatPaw

美团推出的智能AI编程Agent

下载

支持的常见操作包括：

• load()：原子读
• store(value)：原子写
• exchange(value)：交换值
• compare_exchange_weak(expected, desired)：CAS（Compare-And-Swap），无锁编程的核心

无锁编程与CAS

无锁编程（lock-free programming）依赖原子操作和CAS来实现线程同步，而不使用互斥量。典型例子是实现一个线程安全的栈：

template
struct lock_free_stack {
    void push(T new_value) {
        node* const new_node = new node{new_value};
        new_node->next = head.load();
        while (!head.compare_exchange_weak(new_node->next, new_node));
    }
std::shared_ptrzuojiankuohaophpcnTyoujiankuohaophpcn pop() {
    node* old_head = head.load();
    while (old_head && !head.compare_exchange_weak(old_head, old_head-youjiankuohaophpcnnext));
    return old_head ? std::make_sharedzuojiankuohaophpcnTyoujiankuohaophpcn(old_head-youjiankuohaophpcndata) : nullptr;
}
private:
struct node {
T data;
node next;
};
std::atomic> head{nullptr};
};
这里的关键是compare_exchange_weak：它检查当前head是否等于预期值，如果是，就替换成新值。如果不是（说明其他线程修改了），就更新预期值并重试。这种“乐观重试”机制避免了锁的开销。
内存顺序（memory_order）的重要性
原子操作可以指定内存顺序，控制指令重排和可见性。常见的选项有：


std::memory_order_relaxed：只保证原子性，不约束内存顺序，性能最高。

std::memory_order_acquire：用于读操作，确保之后的读写不会被重排到该操作之前。

std::memory_order_release：用于写操作，确保之前的读写不会被重排到该操作之后。

std::memory_order_acq_rel：同时具备 acquire 和 release 语义。

std::memory_order_seq_cst：最严格的顺序一致性，默认选项，但性能开销最大。

例如，在生产者-消费者模型中，生产者用release，消费者用acquire，可确保数据正确传递。
基本上就这些。原子操作是C++11支持并发的重要基石，掌握它能写出更高效、更安全的多线程程序。关键在于理解CAS机制和内存顺序的选择，避免误用导致隐蔽bug。