std::atomic用于实现线程安全的原子操作，避免数据竞争。它支持load、store、fetch_add等原子函数，并可通过compare_exchange_weak实现CAS操作，常用于无锁编程；需注意仅适用于平凡可复制类型，默认内存序seq_cst保证最强一致性，但高并发下应权衡性能与正确性。
在C++多线程编程中，std::atomic 是实现线程安全操作的核心工具之一。它用于对共享变量进行原子访问，避免数据竞争（data race），从而保证程序的正确性。本文将从入门角度讲解 std::atomic 的基本用法、常见操作和注意事项，帮助你理解如何在多线程环境中安全地使用原子变量。
什么是原子操作？
原子操作是指一个操作在执行过程中不会被其他线程中断。也就是说，该操作要么完全执行，要么完全不执行，不存在中间状态。在多线程环境下，多个线程同时读写同一个变量时，如果没有同步机制，就可能发生数据竞争。
例如两个线程同时对一个全局 int 变量做自增操作（i++），这个操作实际上包含“读-改-写”三个步骤，不是原子的。如果不加保护，最终结果可能小于预期值。
使用 std::atomic 可以让这些操作变成原子的，确保线程安全。
立即学习“C++免费学习笔记（深入）”；
基本用法与常用类型
std::atomic 是一个模板类，可以包装支持原子操作的类型，如 bool、int、指针等。
常见特化类型包括：
std::atomic_int —— 原子整型（推荐使用 std::atomic） std::atomic_bool —— 原子布尔值 std::atomic —— 原子指针，支持指针算术
示例：使用 atomic 实现线程安全计数器
#include #include #include #include std::atomic counter(0);void increment() { for (int i = 0; i < 100000; ++i) { counter.fetch_add(1, std::memory_order_relaxed); }}int main() { std::vector threads; for (int i = 0; i < 4; ++i) { threads.emplace_back(increment); } for (auto& t : threads) { t.join(); } std::cout << "Final counter value: " << counter.load() << 'n'; return 0;}
上面代码中，多个线程并发调用 fetch_add 对原子变量进行递增，最终结果一定是 400000，不会出现数据竞争。
常用的原子操作函数
std::atomic 提供了多种成员函数来执行不同的原子操作：
load()：原子地读取当前值 store(val)：原子地写入新值 exchange(val)：设置新值，并返回旧值 compare_exchange_weak(expected, desired)：比较并交换（CAS），如果当前值等于 expected，则设为 desired，否则将当前值写入 expected fetch_add(), fetch_sub()：原子加减，返回原值 fetch_and(), fetch_or(), fetch_xor()：位运算原子操作
CAS 操作是构建无锁数据结构的基础。例如：
std::atomic val(0);int expected = 0;bool success = val.compare_exchange_strong(expected, 1);// 如果 val 当前为 0，则设为 1；否则 expected 被更新为 val 的实际值
内存顺序（Memory Order）简介
每个原子操作都可以指定内存顺序，控制操作周围的内存访问如何排序。常见的选项有：
std::memory_order_relaxed：最弱约束，仅保证原子性，不保证顺序 std::memory_order_acquire：用于 load，保证之后的读写不会被重排到此操作之前 std::memory_order_release：用于 store，保证之前的读写不会被重排到此操作之后 std::memory_order_acq_rel：acquire + release，用于 read-modify-write 操作 std::memory_order_seq_cst：默认顺序，最强一致性，所有线程看到的操作顺序一致
大多数情况下使用默认的 seq_cst 就足够了。只有在追求极致性能且理解其含义时才建议使用更弱的内存序。
注意事项与限制
并不是所有类型都能用于 std::atomic。必须是平凡可复制（trivially copyable）的类型，且底层支持原子指令。
例如，std::atomic 是不允许的，因为 string 不是固定大小，也无法原子操作。
对于复杂对象，应使用互斥锁（mutex）或其他同步机制。
另外，虽然原子操作比锁轻量，但频繁的原子操作仍可能影响性能，尤其是在高争用场景下。
基本上就这些。掌握 std::atomic 能让你写出更高效、更安全的多线程代码。关键是理解原子性、CAS 操作和内存顺序的基本概念。在实际项目中，优先考虑使用 atomic 来替代简单的共享变量读写，避免不必要的锁开销。
以上就是c++++中std::atomic原子操作入门_c++多线程安全的原子操作详解的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1484206.html
微信扫一扫 
支付宝扫一扫 
