不能直接用 std::queue 实现单写单读无锁 RingBuffer，因其依赖动态内存分配、size() 非原子、无环形结构和原子索引管理；无锁 RingBuffer 必须用 std::atomic head/tail、2 的幂容量及位掩码实现 O(1) 操作。
为什么不能直接用 std::queue 实现单写单读无锁 RingBuffer
因为 std::queue 内部依赖动态内存分配、迭代器失效、size() 非原子等机制，且没有内置环形结构和原子索引管理。无锁 RingBuffer 的核心是靠两个原子整数（head 和 tail）配合位掩码实现 O(1) 入队/出队，不涉及锁或内存重分配。
常见错误现象：手写非原子索引变量 + 普通 int 自增 → 出现读写撕裂、重复消费或跳过元素；未对齐缓冲区大小为 2 的幂 → 位掩码截断失败导致越界。
- 必须用
std::atomic<size_t></size_t>管理head（读位置）和tail（写位置） - 缓冲区容量
capacity必须是 2 的幂（如 1024），才能用index & (capacity - 1)替代取模 - 入队前要检查是否满（
(tail + 1) % capacity == head），但用位掩码时得写成((tail + 1) & mask) == head
如何用 std::atomic 和 raw array 实现最小可行 RingBuffer
不需要第三方库，C++11 起即可实现。关键不是“多线程安全”，而是“单写单读下免锁”——此时只需保证写端不覆盖未读数据、读端不读空数据，且两个原子操作本身无竞争。
典型结构体成员：
立即学习“C++免费学习笔记（深入）”；
struct RingBuffer {
std::atomic<size_t> head{0};
std::atomic<size_t> tail{0};
const size_t mask;
T* buffer;
// 构造时传入 capacity（必须是 2 的幂）
RingBuffer(size_t capacity) : mask(capacity - 1), buffer(new T[capacity]) {}
};
入队逻辑（write）：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 读取当前
tail值：size_t t = tail.load(std::memory_order_relaxed) - 计算下一个写位置：
size_t next_t = (t + 1) & mask - 检查是否满：
if (next_t == head.load(std::memory_order_acquire)) return false; - 写入数据：
buffer[t & mask] = item; - 提交写位置：
tail.store(next_t, std::memory_order_release);
出队逻辑（read）类似，只是用 head，检查空条件为 head == tail。
memory_order 选 relaxed / acquire / release 就够了
单写单读场景下，不需要 seq_cst —— 它代价高，且不带来额外正确性保障。真正需要的是：写端的 store 对读端 load 可见，且读写各自内部指令不被重排。
-
tail.store(..., std::memory_order_release)：确保之前所有对buffer[t & mask]的写入对读端可见 -
head.load(..., std::memory_order_acquire)：确保之后所有对buffer[h & mask]的读取能看到对应写入 - 其余 load/store 用
relaxed即可（如读tail判断是否满，只用于本地计算）
如果误全用 relaxed，可能读到旧的 head 值，导致写端以为队列未满而覆盖未读数据；反之全用 seq_cst 会拖慢 10%~20% 吞吐（实测 x86-64 上）。
容易被忽略的边界：缓冲区大小必须严格为 2 的幂且 > 1
很多实现用 capacity 直接做掩码（& (capacity - 1)），但如果传入 1000，mask 就是 999，二进制不是全 1，位与就失去“绕回”效果，index & mask 不再等价于 index % capacity。
运行时应校验：
if (capacity == 0 || (capacity & (capacity - 1)) != 0) {
throw std::invalid_argument("capacity must be power of 2");
}
另外，即使单写单读，也要注意：若写端在构造后尚未初始化 buffer 就调用 write，或读端在 write 前调用 read，需保证对象生命周期和调用顺序——这不是并发问题，而是使用契约问题。
