C++如何实现一个简单的基于数组的循环队列模板-C++-PHP中文网

不能直接用 std::queue 因其底层 deque 不保证内存连续且无法直接访问内部数组；循环队列适用于嵌入式、实时系统等需确定性内存布局场景，如传感器环形缓冲区或固定大小线程安全日志队列。

c++如何实现一个简单的基于数组的循环队列模板

为什么不能直接用 `std::queue`？

因为 std::queue 底层默认是 std::deque，不保证内存连续，也无法直接访问内部数组；而基于数组的循环队列常用于嵌入式、实时系统或需要确定性内存布局的场景——比如你要做环形缓冲区记录传感器数据，或者实现一个固定大小的线程安全日志队列。

`template<typename t></typename>` 怎么处理空位和满位判断？

核心难点是区分“队列空”和“队列满”——它们在数组上都表现为 front == rear。常见解法有三种：浪费一个槽位（最常用）、加 size 计数器、用布尔标志位。推荐第一种：简洁、无额外成员、兼容所有 T 类型（包括 bool 或未定义默认构造的类型）。

初始化时 front = rear = 0
入队前检查：(rear + 1) % capacity == front → 满
出队前检查：front == rear → 空
实际可用容量为 capacity - 1，声明时需注意这点

如何避免拷贝和移动语义陷阱？

模板中对 T 的操作必须适配移动语义，尤其当 T 是大对象或不可拷贝类型（如 std::unique_ptr）时。push 应该用 std::forward 转发，pop 返回值应按需返回 T 或 T&&。但注意：如果用户取了 front() 引用再 pop()，引用会悬空——这不是模板能阻止的，得靠文档提醒。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

template <typename t>
void push(T&& value) {
    if (is_full()) throw std::runtime_error("queue full");
    data[rear] = std::forward<t>(value);
    rear = (rear + 1) % capacity;
}</t></typename>

边界情况：`capacity == 0` 或 `capacity == 1` 怎么办？

容量为 0 时，构造函数应直接抛异常或静态断言；容量为 1 时，“浪费一个槽位”意味着实际无法存任何元素（front == rear 永远成立），所以建议最小合法容量设为 2。另外，capacity 必须是编译期常量还是运行期参数？若用模板非类型参数（如 template<typename t size_t n></typename>），可避免 new 分配，但灵活性下降——选哪种取决于你是否允许动态大小。

真正容易被忽略的是：数组分配要用 new T[capacity] 而不是 new char[...]，否则 T 的构造函数不会被调用；析构时也必须显式调用每个元素的析构函数（如果 T 有非平凡析构），尤其在异常路径中。