用2的幂容量+位与掩码（index & (capacity-1)）替代取模避免负数问题；预留空位判空满，或用size成员；多线程需锁或SPSC无锁；禁用拷贝，移动后置空；placement new构造/T析构，严格配对。
用原生数组实现 CircularBuffer 时，头尾指针怎么维护才不越界
核心是避免每次读写都做取模运算——它在高频场景下有性能开销，且容易因负数取模行为（C++ 中 % 对负数结果符号依赖被除数）导致逻辑错误。推荐用「容量为 2 的幂次」+「位与掩码」方式替代：mask = capacity - 1，然后用 index & mask 替代 index % capacity。前提是手动保证 capacity 是 2 的整数次幂（比如 1024、4096），否则位与会出错。
头尾指针建议用 size_t 或无符号整型，避免减法溢出；但要注意：不能直接比较 head == tail 来判断空，因为满时也相等——必须额外记录长度或用「预留一个空位」策略。
- 推荐预留一个空位：缓冲区最多存
capacity - 1个元素，head == tail表示空，(tail + 1) & mask == head表示满 - 若必须满容（存
capacity个），就得加一个size成员变量，每次 push/pop 更新它 - 不要用
int做索引——当缓冲区很大（>2GB 元素）或循环次数极多时，有符号溢出风险
push() 和 pop() 的边界检查和原子性怎么保障
原生数组实现不自带线程安全。如果单线程用，只需检查是否满/空；多线程必须加锁或用原子操作。但注意：std::atomic<size_t></size_t> 不能直接用于位与掩码（fetch_add 返回旧值，需再 & mask），所以典型写法是：
size_t pos = tail.fetch_add(1, std::memory_order_relaxed) & mask; buffer[pos] = value;
但这仅在「生产者单线程」时安全；多生产者必须用互斥锁，否则 fetch_add 后的写入可能乱序或覆盖。
立即学习“C++免费学习笔记（深入）”；
- 单生产者单消费者（SPSC）场景可用无锁：用
std::atomic管理head和tail，配合memory_order_acquire/release - 多生产者或多消费者必须上锁，别试图靠原子操作“绕过”——容易漏掉内存可见性问题
- push 前检查满、pop 前检查空，返回
bool比抛异常更轻量，也符合底层数据结构惯例
拷贝构造和移动语义怎么写才不泄漏或 double-free
原生数组是裸指针，new T[capacity] 分配，析构必须 delete[] ptr。默认拷贝构造会浅拷贝指针，导致 double-delete；移动构造若没置空源对象的指针，也会二次释放。
- 禁用拷贝（
CircularBuffer(const CircularBuffer&) = delete），除非明确需要深拷贝（那得遍历复制每个元素） - 移动构造中，把
other.buffer、other.capacity、other.head、other.tail全部移过来，然后设other.buffer = nullptr - 析构函数第一行判空：
if (buffer) delete[] buffer;，防止移动后重复析构 - 别在类内用
std::vector代替原生数组——那就不是“原生数组实现”了
模板参数 T 有非平凡构造/析构函数时要注意什么
用 new char[sizeof(T) * capacity] 分配原始内存，再用 placement new 构造元素，否则 new T[capacity] 会在分配失败时尝试回滚已构造的部分，行为复杂且不可控。
- 构造元素必须显式调用：
new (buffer + i) T(std::forward<args>(args)...)</args> - 析构必须显式调用：
ptr->~T()，不能只靠delete[]原始内存 - 如果 T 是
std::string这类类型，未构造区域不能访问（哪怕只是读取未初始化内存），否则 UB - 考虑加
static_assert(std::is_trivially_destructible_v<t>)</t>限制类型，简化逻辑；否则必须全程跟踪哪些位置已构造
实际最难的不是写完，而是确保所有路径（异常、移动、析构、多线程）下内存和对象生命周期完全可控——尤其是 placement new 和显式析构的配对，漏一个就踩内存。
