C++如何使用std::atomic_flag实现自旋锁-C++-PHP中文网

std::atomic_flag是c++中唯一保证无锁的原子布尔类型，仅提供test_and_set()和clear()操作，天然匹配自旋锁“尝试获取+释放”语义；必须用atomic_flag_init或{}零初始化，配对memory_order_acquire/release确保内存同步，避免未定义行为。

c++如何使用std::atomic_flag实现自旋锁

std::atomic_flag 是什么，为什么能做自旋锁

std::atomic_flag 是 C++ 中最轻量的原子布尔类型，只支持 test_and_set() 和 clear() 两个操作，且保证无锁（lock-free）。它不带初始化状态，必须用 ATOMIC_FLAG_INIT 或 C++20 的 std::atomic_flag{} 零初始化 —— 这点容易漏，未初始化直接用会触发未定义行为。

它适合做自旋锁，因为：

没有内存分配开销，比 std::atomic<bool></bool> 更底层、更确定是无锁实现
test_and_set() 是原子“读-改-写”，天然对应“尝试获取锁”语义
不依赖平台 mutex 或系统调用，纯用户态忙等，适合短临界区

怎么写出一个线程安全的自旋锁类

直接封装 std::atomic_flag 即可，关键在构造时清零、lock() 循环测试、unlock() 清除标志。注意：C++17 起 ATOMIC_FLAG_INIT 已弃用，应改用值初始化。

示例实现：

struct spinlock {
    std::atomic_flag flag = ATOMIC_FLAG_INIT; // C++14/17
    // std::atomic_flag flag{};                // C++20 推荐

    void lock() noexcept {
        while (flag.test_and_set(std::memory_order_acquire)) {
            // 可选：__builtin_ia32_pause() 或 std::this_thread::yield()
        }
    }

    void unlock() noexcept {
        flag.clear(std::memory_order_release);
    }
};

要点：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

test_and_set() 默认是 memory_order_seq_cst，但自旋锁中常用 acquire（进临界区）和 release（出临界区），更高效且满足同步需求
循环内不加休眠会持续占满 CPU，高竞争时建议插入 pause 指令（x86）或 std::this_thread::yield() 缓解
析构函数不能自动解锁 —— 必须确保锁在对象销毁前已释放，否则导致死锁

常见错误：忘记内存序或误用初始化

典型崩溃或数据竞争往往来自这两处：

用 std::atomic_flag flag;（未显式初始化）→ flag 值随机，test_and_set() 行为未定义
在 lock() 里用默认内存序，而 unlock() 用 relaxed → 破坏释放-获取同步，编译器可能重排临界区外的读写
把 clear() 写成 flag = false; → 编译失败，std::atomic_flag 不支持赋值运算符

错误示例：

std::atomic_flag flag; // ❌ 未初始化！
void bad_lock() {
    while (flag.test_and_set()); // ❌ 默认 seq_cst 过重，且没配对 release
}
void bad_unlock() {
    flag = false; // ❌ 编译报错：no operator= for atomic_flag
}