不能直接用 std::queue + mutex 实现高性能 SPSC 队列，因其加锁引入系统调用、缓存争用和调度开销，而 SPSC 天然无竞争，只需原子索引+环形缓冲区配合 acquire/release 内存序即可实现零阻塞、高缓存友好、近硬件极限性能。
为什么不能直接用 std::queue + mutex 实现高性能 SPSC 场景
在单生产者单消费者（SPSC）场景下，加锁会引入不必要的开销：mutex 的获取/释放涉及系统调用、缓存行争用和调度器介入，而实际只需要保证两个线程对队列头尾指针的原子可见性。无锁 SPSC 队列的核心优势不是“完全不用原子操作”，而是避免阻塞、避免 ABA 问题（对 SPSC 可忽略）、且能利用 CPU 缓存局部性——生产者只写尾、消费者只读头，天然无冲突。
关键前提：std::queue 本身不是无锁友好的容器（内部使用 std::deque 或 std::list，非连续内存、指针跳转多），必须从底层构建环形缓冲区（circular buffer）并配合原子索引管理。
ring_buffer + atomic 是最简可行结构
一个固定容量的环形缓冲区（std::array<t n></t> 或 std::vector<t></t>）配合两个 std::atomic<size_t></size_t>：一个记录写位置（tail），一个记录读位置（head）。注意：容量 N 必须是 2 的幂，才能用位运算快速取模（index & (N-1)），避免除法开销。
-
push()仅更新tail，用fetch_add(1, std::memory_order_relaxed)—— 因为 SPSC 下无需同步其他线程，relaxed 足够 -
pop()仅更新head，同样用fetch_add(1, std::memory_order_relaxed) - 判断是否满：
(tail.load(std::memory_order_acquire) - head.load(std::memory_order_acquire)) >= N；判断是否空同理。这里必须用acquire保证看到之前写入的数据 - 元素构造/析构需手动控制：用
placement new构造，用.~T()显式析构，避免默认拷贝或移动引发异常中断流程
内存序选 relaxed 还是 acquire/release
SPSC 模型下，生产者和消费者之间存在隐含的 happens-before 关系：生产者写完数据后才更新 tail，消费者读到新 tail 后才读对应位置数据。因此：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 生产者写数据 →
tail.fetch_add：用std::memory_order_release确保写数据对消费者可见 - 消费者读
tail→ 读数据：用std::memory_order_acquire匹配 -
head更新同理，但方向相反（消费者 release，生产者 acquire） - 仅当读/写索引本身不依赖彼此时（如判空判满），才可用
relaxed；一旦涉及跨线程数据传递，必须成对使用acquire/release
常见错误：全用 relaxed 导致消费者读到未初始化的内存（编译器/CPU 重排使 tail 更新早于数据写入）。
如何避免 T 类型限制导致崩溃
无锁队列要求 T 必须是 trivially copyable（否则 placement new 不安全）、且不含抛异常的构造/析构函数（否则 pop() 中析构失败会导致队列状态不一致）。编译期检查必不可少：
- 静态断言：
static_assert(std::is_trivially_copyable_v<t>, "T must be trivially copyable");</t> - 禁止 move/copy 构造时意外触发：把
push()参数设为const T&或T&&并用std::forward，但最终仍走 placement new，不调用拷贝构造 - 若需存储 non-trivial 类型，应改为存储
std::unique_ptr<t></t>或std::shared_ptr<t></t>，把复杂逻辑移到堆上
另一个坑：队列容量 N 若为 0 或非 2 的幂，& (N-1) 会越界或逻辑错乱，必须在构造函数中 assert 检查。
实际运行时最容易被忽略的是：无锁 ≠ 无调试难度。一旦出现数据错乱，无法靠加锁复现，必须依赖 valgrind --tool=helgrind 或 ThreadSanitizer 捕获 data race，且要确保所有内存访问路径都覆盖到位——比如忘了在判空逻辑里对 head 和 tail 做 acquire 加载。
