std::atomic_flag是C++中唯一保证无锁的原子布尔类型，仅提供test_and_set()和clear()操作，天然匹配自旋锁“尝试获取+释放”语义；必须用ATOMIC_FLAG_INIT或{}零初始化，配对memory_order_acquire/release确保内存同步，避免未定义行为。
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 已弃用，应改用值初始化。
示例实现：
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
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);
}
};
要点：
-
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
}
自旋锁适用场景和硬伤
它不是万能替代 std::mutex。真实项目中要掂量：
- 临界区执行时间必须极短（通常
- 线程数不宜远超物理核数，否则大量自旋加剧 cache line bouncing
- 无法被操作系统调度让出 CPU，遇到长等待（如 I/O、条件等待）必须换用阻塞锁
- 没有所有权概念，不支持递归、超时、条件变量等待等高级功能
真正要用时，优先考虑 std::mutex；只有 profiler 明确指出锁争用发生在微秒级且无休眠逻辑时，才值得上自旋锁 —— 并且务必压测验证收益。
