MATLAB面向对象有限队列与循环缓冲区算法实现

资 源 简 介

本项目采用MATLAB的面向对象编程（OOP）范式，设计并实现了一个功能完备的有限队列（Bounded Queue）类。该程序通过定义`classdef`来封装数据和行为，继承自`handle`类以支持引用语义，确保在方法调用中可以直接修改对象状态而无需重新赋值。核心功能详细描述如下：首先，实现了基于循环缓冲区（Circular Buffer）的底层存储结构，避免了传统数组移动带来的性能开销，确保入队（Enqueue）和出队（Dequeue）操作的时间复杂度为O(1)。其次，提供了完整的队列操作接口，包括构造函数（用于初始化固定容量的队列）、入队方法（在队列未满时添加元素，已满时提供错误保护或溢出处理）、出队方法（移除并返回队首元素，空队列时进行异常捕获）、查看队首元素（Peek）以及清空队列（Clear）方法。此外，项目还包含状态查询功能，能够实时反馈队列当前的大小（Size）、是否为空（IsEmpty）以及是否已满（IsFull）。该代码结构清晰，严格遵循封装原则，将属性设为私有或受保护，通过公共方法进行访问。此项目非常适合用于算法教学、数据流缓冲模拟、任务调度系统仿真以及生产者-消费者模型的构建，帮助用户深入理解MATLAB中的类定义、属性访问权限控制以及对象生命周期管理。

详 情 说 明

基于面向对象的 MATLAB 有限队列实现

项目简介

本项目采用 MATLAB 面向对象编程（OOP）范式，设计并实现了一个功能完备的有限队列（Bounded Queue）。该程序封装了基于循环缓冲区（Circular Buffer）的核心数据结构，提供了一套符合先进先出（FIFO）原则的标准接口。

不同于普通的 MATLAB 数组操作，本实现通过继承 handle 类，不仅支持引用语义（Reference Semantics），还通过底层的索引回绕逻辑，保证了入队和出队操作的高效性（时间复杂度均为 O(1)），避免了数据移动带来的额外开销。

功能特性

• 数据封装与安全性：严格遵循 OOP 封装原则，将缓冲区 Buffer、容量 Capacity 以及读写指针（Head, Tail）设为私有属性，仅通过公共方法访问，防止外部非法修改内部状态。
• 引用语义支持：类继承自 handle，确保对象在函数间传递时操作的是同一个实例，状态修改实时生效，无需像值类（Value Class）那样频繁复制返回。
• 循环缓冲区算法：利用模运算实现索引的循环回绕，高效利用固定内存空间。
• 多态数据支持：底层存储采用 cell 元胞数组，允许队列混合存储标量、矩阵、结构体或文本等任意 MATLAB 数据类型。
• 健壮的异常处理：

* 溢出保护（Overflow）：当队列已满时尝试入队，会触发错误并阻止操作。 * 下溢保护（Underflow）：当队列为空时尝试出队，会触发错误并提供相关提示。

• 状态实时查询：提供查询当前元素数量、判断空队及满队的专用接口。

关键算法与实现细节

本项目在 BoundedQueue 类中实现了高效的循环队列逻辑，具体细节如下：

1. 存储结构

内部使用一个预分配大小的 cell 数组作为 Buffer。选择 cell 而非普通数字数组（Array）是为了赋予队列存储异构数据的能力（例如，可以同时存储一个整数、一个 3x3 矩阵和一个结构体）。

2. 索引控制（Circular Logic）

为了在有限的数组空间内实现无限的数据流转，利用了模运算（Modulo Operator）来管理队首（Head）和队尾（Tail）指针。

• MATLAB 索引修正：由于 MATLAB 的数组索引从 1 开始，通过 mod(Index, Capacity) + 1 的公式，实现了索引在 1 到 Capacity 之间的无缝循环。
• Head 指针：指向当前队首元素的位置，出队时后移。
• Tail 指针：指向下一个可插入元素的位置，入队时后移。

3. 入队与出队逻辑

• Enqueue (入队)：在写入数据前检查 Count == Capacity。若未满，将数据存入 Tail 位置，更新 Tail 指针，并将 Count 加 1。
• Dequeue (出队)：在读取数据前检查 Count == 0。若非空，读取 Head 位置数据，显式清空该位置引用（有助于垃圾回收），更新 Head 指针，并将 Count 减 1。

使用方法与测试流程

项目中包含的 main 函数完整演示了类的调用方式及生命周期管理，具体流程如下：

1. 初始化

* 实例化 BoundedQueue 对象，设定固定容量（例如 4）。 * 构造函数会自动校验容量参数的合法性（必须为正整数）。

1. 基础操作测试

* 演示了连续入队操作，能够准确处理标量数值、矩阵数据以及 Struct 结构体。 * 调用状态检查辅助函数，验证入队后 Size 的变化。

1. 队首查看

* 使用 peek() 方法在不移除元素的情况下获取队首数据，验证了数据读取的正确性。

1. 满队异常测试

* 继续填充数据直至队列达到 isFull 状态。 * 演示 try-catch 机制：在满队状态下强行入队，程序成功捕获 BoundedQueue:Overflow 错误 ID 及其对应的错误信息。

1. 循环逻辑验证

* 执行多次出队操作，释放头部空间。 * 再次执行入队操作，触发 Tail 指针从数组末尾回绕至数组开头（Wrap-Around），验证了循环缓冲区的核心特性。

1. 清空与空队测试

* 调用 clear() 方法重置所有指针和计数器。 * 在空队列上尝试执行 dequeue()，程序通过 try-catch 捕获 BoundedQueue:Underflow 异常，验证了下溢保护机制。

API 接口说明

BoundedQueue 类对外公开的方法接口如下：

• BoundedQueue(capacity)

构造函数。初始化指定容量的队列，当容量非法时抛出异常。

• enqueue(item)

将元素添加到队尾。如果队列已满，抛出 BoundedQueue:Overflow 错误。

• dequeue()

移除并返回队首元素。如果队列为空，抛出 BoundedQueue:Underflow 错误。

• peek()

返回队首元素但不移除。如果队列为空，发出警告并返回空值。

• clear()

清空队列，重置 Head/Tail 指针及元素计数，逻辑上清空所有数据。

• size()

返回当前队列中的元素个数。

• isEmpty()

返回布尔值，指示队列是否为空。

• isFull()

返回布尔值，指示队列是否已填满。

系统要求

• MATLAB R2008b 或更高版本（需支持 classdef 定义及 handle 类继承）。
• 不需要任何额外的工具箱（Toolbox）。