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

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

php中文网

发布： 2025-12-06 14:47:02

原创

402人浏览过

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

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

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

什么是原子操作？

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

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

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

std::atomic 的基本用法

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

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

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

登录后复制

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

Anakin

一站式 AI 应用聚合平台，无代码的AI应用程序构建器

290

查看详情

支持的常见操作包括：

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

无锁编程与CAS

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

template<typename T>
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));
    }
<pre class='brush:php;toolbar:false;'>std::shared_ptr<T> pop() {
    node* old_head = head.load();
    while (old_head && !head.compare_exchange_weak(old_head, old_head->next));
    return old_head ? std::make_shared<T>(old_head->data) : nullptr;
}

登录后复制

private: struct node { T data; node next; }; std::atomic> head{nullptr}; };

这里的关键是compare_exchange_weak：它检查当前head是否等于预期值，如果是，就替换成新值。如果不是（说明其他线程修改了），就更新预期值并重试。这种“乐观重试”机制避免了锁的开销。