C++ atomic_flag怎么实现轻量级自旋锁Spinlock-C++-PHP中文网

atomic_flag 是c++最底层的原子布尔类型，仅提供test_and_set()和clear()操作，因无加载接口、零初始化（c++20起）、常编译为单条带屏障指令，故适合实现轻量自旋锁。

c++ atomic_flag怎么实现轻量级自旋锁spinlock

atomic_flag 是什么，为什么能做自旋锁 `std::atomic_flag` 是 C++ 中最底层的原子布尔类型，不保证初始化为 `false`（C++20 起才默认零初始化），但提供两个原子操作：`test_and_set()` 和 `clear()`。它没有加载/读取接口，只能通过「尝试置位并返回旧值」来判断状态——这恰好匹配自旋锁“忙等+原子抢占”的核心逻辑。它比 `std::atomic<bool></bool>` 更轻量：无内存序重载开销、无构造函数副作用、通常编译为单条 CPU 指令（如 x86 的 `XCHG` 或 `LOCK XCHG`），适合极短临界区。

注意：atomic_flag 不可拷贝、不可赋值，必须用 ATOMIC_FLAG_INIT（C++17 起已弃用）或 std::atomic_flag{};（零初始化）构造。

手写 Spinlock 类的关键实现点标准自旋锁需支持 lock()、unlock()、可选的 try_lock()。关键在于：

lock() 必须用循环调用 test_and_set(std::memory_order_acquire)，直到返回 false（说明原值是未锁定态）
unlock() 用 clear(std::memory_order_release)，确保临界区内的写操作对其他线程可见
避免在 test_and_set 失败后立即重试——应插入 std::this_thread::yield() 或 _mm_pause()（x86）减少总线争抢
C++20 前，必须显式 zero-initialize：std::atomic_flag flag = ATOMIC_FLAG_INIT;；C++20 起推荐 std::atomic_flag flag{};

class spinlock {
    std::atomic_flag flag;
public:
    spinlock() : flag{} {} // C++20 零初始化
    void lock() {
        while (flag.test_and_set(std::memory_order_acquire)) {
            std::this_thread::yield(); // 或 _mm_pause() 内联汇编
        }
    }
    void unlock() {
        flag.clear(std::memory_order_release);
    }
};