原子操作是不可分割的操作，能避免数据竞争。std::atomic 提供原子类型的读写操作，如 load、store、fetch_add 和 compare_exchange_weak，确保多线程下共享变量的安全访问，常用于计数器、标志位等场景，相比互斥锁更高效，并通过内存序控制同步强度，其中默认的 std::memory_order_seq_cst 提供最强顺序保证。
在C++多线程编程中，std::atomic 提供了一种无需互斥锁（mutex）即可安全访问共享数据的方式。它通过原子操作保证对变量的读取、修改、写入是不可分割的，避免了数据竞争（data race），从而实现高效的线程同步。
什么是原子操作？
原子操作是指一个操作在执行过程中不会被其他线程中断。比如对一个计数器进行自增，在非原子情况下可能被多个线程同时读取、修改，导致结果错误。而使用 std::atomic 后，这个操作就是“一步完成”的，确保线程安全。
基本用法：定义和初始化原子变量
你可以将整型、指针等类型包装成原子类型：
#include #include std::atomic counter(0); // 初始化为0std::atomic ready(false);std::atomic ptr(nullptr);
支持的原子类型包括：int、long、bool、指针 等基础类型。不能用于复杂对象（如 std::string），此时应使用互斥量。
立即学习“C++免费学习笔记（深入）”；
常用原子操作函数
std::atomic 提供了多种操作方式，常用的有：
load()：原子地读取当前值 store(value)：原子地写入新值 exchange(value)：设置新值，并返回旧值 compare_exchange_weak(expected, desired)：比较并交换（CAS），是实现无锁结构的基础 fetch_add() / fetch_sub()：原子加减，返回原值
示例代码：
#include #include #include #include std::atomic count(0);void increment() { for (int i = 0; i < 1000; ++i) { count.fetch_add(1, std::memory_order_relaxed); }}int main() { std::vector threads; for (int i = 0; i < 10; ++i) { threads.emplace_back(increment); } for (auto& t : threads) { t.join(); } std::cout << "Final count: " << count.load() << "n"; return 0;}
上面的例子中，10个线程各对原子变量增加1000次，最终结果一定是10000，不会出现数据竞争。
内存序（Memory Order）的选择
std::atomic 的操作可以指定内存顺序，控制编译器和CPU的重排序行为。常见选项包括：
std::memory_order_relaxed：只保证原子性，不保证顺序，性能最好 std::memory_order_acquire：用于读操作，确保之后的读写不会被重排到它前面 std::memory_order_release：用于写操作，确保之前的读写不会被重排到它后面 std::memory_order_acq_rel：acquire + release，常用于CAS std::memory_order_seq_cst：默认选项，最严格的顺序一致性，开销最大
大多数场景下使用默认的 std::memory_order_seq_cst 就足够了。只有在追求极致性能且理解内存模型时才需要调整。
compare-and-swap 的典型用法
CAS 是实现无锁算法的核心。下面是一个使用 compare_exchange_weak 安全更新值的例子：
std::atomic val(100);int expected = 100;if (val.compare_exchange_weak(expected, 200)) { std::cout << "Updated from " << expected << " to 200n";} else { std::cout << "Failed: current value is " << val.load() << ", expected was " << expected << "n";}
如果 val 当前等于 expected，则设为 200 并返回 true；否则将 expected 更新为当前值并返回 false。
原子类型与 volatile 的区别
volatile 只防止编译器优化，不提供跨线程的原子性保证。而 std::atomic 不仅防止优化，还通过底层指令（如 lock prefix 或 CAS）确保操作的原子性和内存可见性。因此多线程同步应使用 atomic，而不是 volatile。
基本上就这些。std::atomic 是现代C++中实现高效线程同步的重要工具，适用于标志位、计数器、状态机等简单共享变量的场景。合理使用能减少锁的竞争，提升并发性能。
以上就是c++++ std::atomic原子操作怎么使用_c++原子类型与多线程同步机制的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1485662.html
微信扫一扫 
支付宝扫一扫 
