环形缓冲区用固定数组加读写索引与取模实现首尾相连,采用“预留空位法”判空满:空为read_idx==write_idx,满为(write_idx+1)%capacity==read_idx。
用 C++ 实现环形缓冲区(Ring Buffer),核心是用固定大小的数组配合两个索引(读位置 read_idx 和写位置 write_idx),通过取模运算实现“首尾相连”的效果。关键在于正确处理空/满判断、线程安全(如需)、以及边界更新逻辑。
这是最常用、最易理解的实现。使用 std::array 或原始数组 + 模运算,用“预留一个空位”方式区分空与满(即容量为 N 的缓冲区最多存 N-1 个元素):
read_idx == write_idx
(write_idx + 1) % capacity == read_idx
write_idx = (write_idx + 1) % capacity
read_idx = (read_idx + 1) % capacity
示例代码(C++17):
templateclass RingBuffer { std::array buffer_; size_t read_idx_ = 0; size_t write_idx_ = 0; public: bool push(const T& item) { size_t next_write = (writeidx + 1) % N; if (next_write == readidx) return false; // 已满 buffer_[writeidx] = item; writeidx = next_write; return true; }
bool pop(T& item) { if (read_idx_ == write_idx_) return false; // 为空 item = std::move(buffer_[read_idx_]); read_idx_ = (read_idx_ + 1) % N; return true; } size_t size() const { return (write_idx_ - read_idx_ + N) % N; } bool empty() const { return read_idx_ == write_idx_; } bool full() const { return (write_idx_ + 1) % N == read_idx_; }
};
若需要运行时指定大小,或希望更贴近 STL 风格(如支持 front()、back()),可用 std::vector 替代 std::array,并封装构造函数:
capacity_ + 1 空间(仍采用“空位法”判满)noexcept 标记(除构造可能抛异常外)try_push / try_pop 接口,避免异常路径多线程下需避免竞态。常见做法:
std::atomic 管理 read_idx_ 和 write_idx_,配合 memory_order_acquire/release,无需锁,性能极高write_idx_,或用细粒度锁保护写索引reserve() 和 capacity() 接口,明确暴露底层容量语义begin()/end() 返回按逻辑顺序遍历的迭代器(需跳过未填充区域)push_n、pop_n),减少循环开销)
环形缓冲区不复杂但容易忽略边界细节。从“空位法”入手,再逐步加原子性或泛型支持,就能写出健壮、高效、易用的 Ring Buffer。