启用-fsanitize=leak后自定义数组队列程序无法正常退出

核心问题是实现的vector_queue类存在浅拷贝语义缺陷，违反C++三/五法则：类中持有裸指针成员T *queue时，必须显式实现适配的拷贝/析构/移动语义，否则会触发严重的内存未定义行为。

具体问题点 #

• 现有拷贝赋值运算符实现存在本质错误：

  vector_queue &operator=(const vector_queue &rhs) {
      if (this != &rhs) {
          this->queue = rhs.queue;
          this->head = rhs.head;
          this->tail = rhs.tail;
          this->capacity = rhs.capacity;
      }
      return *this;
  }
  

  这个实现完全没有做深拷贝：
  1. 没有释放当前对象原本申请的queue堆内存，直接覆盖指针造成内存泄漏。
  2. 直接和rhs对象共享同一块堆内存，当两个对象先后析构时，会对同一块内存执行两次delete[]操作（double free），直接破坏堆内存的元数据结构。
• 代码没有实现自定义拷贝构造函数，编译器会自动生成逐成员浅拷贝的默认版本，一旦表达式求值过程中出现隐式的对象临时拷贝，就会触发上述内存破坏问题。

触发现象的解释 #

double free、堆内存损坏这类问题属于未定义行为，在普通编译配置下有时候不会立刻崩溃，因为程序没有触及触发点。一旦开启-fsanitize=leak，工具会在程序退出时主动扫描全进程内存区域，被破坏的堆结构会让扫描操作读到非法地址，最终触发调试栈里看到的EXC_BAD_ACCESS错误。
能观察到“删除q = q +5 +6 +3行程序就可以正常运行”的现象，本质是删除这行后，整个程序执行流不会触发任何隐式的对象拷贝，所有入队、出队操作都在原对象上完成，没有走到浅拷贝、double free的分支，内存结构保持完好。保留这行代码时，编译器会在表达式求值过程中生成隐式临时对象拷贝，直接触发内存损坏。

其他附带的实现问题 #

• 队列打印的循环中，循环变量i定义为int类型，但队列的容量、头/尾下标都是size_t无符号类型，大场景下会出现类型截断，虽然当前测试用例容量较小不会触发，仍建议把i的类型改成size_t，和成员变量类型保持一致。
• 空队列执行dequeue时直接return 0的逻辑不具备泛型通用性，对于无法从整数0构造的T类型会直接编译失败，后续可以替换为异常抛出或其他统一的错误处理逻辑。

按照深拷贝逻辑补全类的特殊成员函数实现：

• 重写拷贝赋值运算符：判断自赋值场景后，先释放当前对象原有堆内存，按照rhs的队列容量申请独立的新内存，按照环形队列的头/尾下标顺序把元素拷贝到新内存（注意环形数组的元素不一定是连续存放的，不能直接整体memcpy），最后同步head、tail、capacity成员变量。
• 补充拷贝构造函数，按照和拷贝赋值一致的深拷贝逻辑实现对象初始化。

内容的提问来源于stack exchange，提问作者MrZ