首先给出明确答案，std::atomic_flag 是C++中用于实现自旋锁的轻量级原子布尔类型，仅支持test_and_set和clear操作，初始为清除状态，不可拷贝，确保线程安全。
std::atomic_flag 是 C++ 中最轻量的原子类型，它只有两个状态：置位（true）和清除（false），初始时通常处于清除状态。它不支持拷贝构造和赋值，保证了操作的原子性，非常适合用来实现自旋锁（spinlock）。
基本用法：test_and_set 与 clear
std::atomic_flag 提供两个主要操作：
- test_and_set()：原子地将标志设为 true，并返回它之前的值。
- clear()：原子地将标志设为 false。
这两个操作是实现自旋锁的核心。
用 atomic_flag 实现自旋锁
自旋锁是一种简单的同步机制：当一个线程持有锁时，其他尝试获取锁的线程会不断循环（“自旋”）等待，直到锁被释放。
立即学习“C++免费学习笔记（深入）”；
以下是一个基于 std::atomic_flag 的自旋锁实现：
#include <atomic>
#include <thread>
#include <iostream>
class spinlock {
std::atomic_flag flag = ATOMIC_FLAG_INIT;
public:
void lock() {
while (flag.test_and_set()) {
// 自旋等待
}
}
void unlock() {
flag.clear();
}
};
spinlock sp;
void worker(int id) {
for (int i = 0; i < 2; ++i) {
sp.lock();
std::cout << "Worker " << id << " in critical section.\n";
sp.unlock();
// 模拟一些工作
std::this_thread::yield();
}
}
多个线程调用 worker 函数时，会互斥地进入临界区，输出不会交错。
注意事项
- std::atomic_flag 是无锁的（lock-free），性能高，适合短时间临界区。
- 自旋会消耗 CPU 资源，不适合长时间持有锁。
- 确保在 lock 后一定调用 unlock，否则会导致死锁。
- 构造时使用 ATOMIC_FLAG_INIT 显式初始化为清除状态。
基本上就这些。std::atomic_flag 简洁高效，是理解原子操作和实现底层同步原语的良好起点。
