首页 > 后端开发 > C++ > 正文

c++怎么使用原子操作std::atomic_c++原子变量定义与并发控制

尼克
发布: 2025-10-27 10:24:02
原创
798人浏览过
std::atomic提供无锁线程安全操作,用于共享数据并发访问;2. 支持整型、指针等类型,常用操作包括load、store、exchange、compare_exchange_weak和fetch_add/sub;3. 示例中多个线程安全递增原子计数器。

c++怎么使用原子操作std::atomic_c++原子变量定义与并发控制

在C++多线程编程中,std::atomic 是处理共享数据并发访问的核心工具之一。它提供了一种无需互斥锁(mutex)即可安全操作共享变量的方式,适用于计数器、状态标志、引用计数等场景。

原子变量的定义与基本用法

要使用原子操作,需包含头文件 <atomic>。std::atomic 可用于整型、指针等支持原子操作的类型。

常见定义方式:

  • std::atomic<int> counter{0}; —— 定义一个原子整数并初始化为0
  • std::atomic<bool> ready{false}; —— 原子布尔值,常用于线程同步标志
  • std::atomic<int*> ptr{nullptr}; —— 原子指针,支持指针算术原子操作

这些变量可以安全地在多个线程中读写,不会引发数据竞争。

立即学习C++免费学习笔记(深入)”;

常用原子操作函数

std::atomic 提供了多种原子操作接口,保证操作的不可分割性。

  • load():原子读取当前值
  • store(value):原子写入新值
  • exchange(value):设置新值并返回旧值
  • compare_exchange_weak(expected, desired):比较并交换(CAS),成功则赋值,失败则更新 expected
  • fetch_add(), fetch_sub():原子加减,返回原值(适合计数器)

示例:线程安全的计数器

#include <atomic>
#include <thread>
#include <vector>

std::atomic<int> count{0};

void increment() {
    for (int i = 0; i < 1000; ++i) {
        count.fetch_add(1);
    }
}

int main() {
    std::vector<std::thread> threads;
    for (int i = 0; i < 10; ++i) {
        threads.emplace_back(increment);
    }

    for (auto& t : threads) {
        t.join();
    }

    // 最终结果一定是10000
    return 0;
}
登录后复制

内存序(Memory Order)控制

原子操作可指定内存顺序,影响编译器和CPU的指令重排行为。默认使用 std::memory_order_seq_cst(顺序一致性),最安全但性能略低。

其他可选内存序:

  • std::memory_order_relaxed:仅保证原子性,不保证顺序,适合计数器
  • std::memory_order_acquire:用于读操作,确保之后的读写不会被重排到该操作前
  • std::memory_order_release:用于写操作,确保之前的读写不会被重排到该操作后
  • std::memory_order_acq_rel:同时具有 acquire 和 release 语义

示例:使用 acquire/release 实现轻量同步

std::atomic<bool> flag{false};
int data = 0;

// 线程1
void producer() {
    data = 42;
    flag.store(true, std::memory_order_release);
}

// 线程2
void consumer() {
    while (!flag.load(std::memory_order_acquire)) {
        // 等待
    }
    // 此时 data 一定已为 42
}
登录后复制

这种方式避免了锁的开销,又保证了必要的内存可见性。

原子操作的限制与注意事项

并非所有类型都支持原子操作。std::atomic 对自定义类型的支持有限,通常只对 POD 类型有效,且需调用 is_lock_free() 检查是否真正无锁

  • 使用 atomic_flag 可实现真正的无锁标志(test_and_set, clear)
  • 避免对大对象或复杂结构使用原子变量
  • 注意 ABA 问题,在 CAS 操作中可能需要版本号辅助(如 atomic_shared_ptr 或带标记的指针)

基本上就这些。std::atomic 是高效并发编程的重要手段,掌握其用法能显著提升多线程程序性能与安全性。关键在于理解原子性、内存序以及适用场景。

以上就是c++++怎么使用原子操作std::atomic_c++原子变量定义与并发控制的详细内容,更多请关注php中文网其它相关文章!

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载
来源:php中文网
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
最新问题
开源免费商场系统广告
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板
关于我们 免责申明 意见反馈 讲师合作 广告合作 最新更新 English
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送
PHP中文网APP
随时随地碎片化学习
PHP中文网抖音号
发现有趣的

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号