关于C++中STL vector及vector数组析构过程的技术问询

我完全理解你对vector数组的析构逻辑的困惑——尤其是结合老师说的「delete调用次数要和new相等」这条规则，很容易和vector自身的内存管理搞混。咱们就围绕你提到的三个典型场景（我先基于常见的使用场景补全，如果和你实际想问的有出入，随时告诉我调整），结合代码拆解析构过程，所有场景都统一用「5个vector，每个存1个int元素」的设定。

问题1：main函数中用new[]创建的动态vector数组 #

先看完整代码：

#include <vector>
int main(){
    int size = 5;
    vector<int> *array_vec = new vector<int>[size];
    
    // 给每个vector添加1个元素
    for(int i=0; i<size; i++){
        array_vec[i].push_back(i);
    }
    
    // 释放数组
    delete[] array_vec;
    return 0;
}

析构过程拆解： #

1. new[]做了什么：
   • 首先分配能容纳5个vector<int>对象的内存块；
   • 自动调用5次vector<int>的默认构造函数，初始化每个vector对象（此时vector内部的元素内存还没分配，因为默认构造的vector是空的，直到push_back才会为那个int分配空间）。
2. delete[]做了什么：
   • 先调用5次vector<int>的析构函数——每个vector的析构函数会自动释放自己内部管理的元素内存（也就是存那个int的空间）；
   • 最后释放整个数组的内存块。
3. 和规则的匹配：这里你只手动调用了1次new[]和1次delete[]，完全符合「delete次数和new相等」的要求。vector内部的内存分配/释放是容器自己的事，不需要你手动干预。

问题2：作为类成员的动态vector数组 #

比如这个类实现：

#include <vector>
class MyClass {
public:
    vector<int> *array_vec;
    
    MyClass() : array_vec(new vector<int>[5]) {
        // 给每个vector添加元素
        for(int i=0; i<5; i++){
            array_vec[i].push_back(i);
        }
    }
    
    ~MyClass() {
        delete[] array_vec; // 必须在这里调用delete[]
    }
};

int main(){
    MyClass obj;
    return 0;
}

析构过程拆解： #

1. 对象创建时：MyClass的构造函数调用1次new[]，创建并初始化5个vector对象，然后给每个vector添加元素。
2. 对象销毁时：当main结束，obj被销毁，会调用MyClass的析构函数：
   • 里面的delete[]先触发5次vector的析构函数，释放每个vector内部的元素内存；
   • 再释放整个vector数组的内存块。
3. 注意点：如果忘记在类的析构函数中写delete[]，会造成vector数组本身的内存泄漏——而且因为vector对象的内存没被释放，它们的析构函数也不会被调用，连带着vector内部的元素内存也会一起泄漏。这里依然是1次new[]对应1次delete[]，符合规则。

问题3：栈上的vector数组（非动态分配） #

看这个例子：

#include <vector>
int main(){
    vector<int> array_vec[5]; // 栈上的数组，直接创建5个vector
    
    for(int i=0; i<5; i++){
        array_vec[i].push_back(i);
    }
    
    // 不需要手动delete，自动销毁
    return 0;
}

析构过程拆解： #

1. 这个场景里你没有手动调用new，所以完全不需要delete。
2. 当main函数结束时，栈上的数组会自动销毁：
   • 系统自动调用5次vector<int>的析构函数，每个vector释放自己内部的元素内存；
   • 数组本身的栈内存被系统回收。
3. 和规则的匹配：0次手动new对应0次手动delete，依然符合「次数相等」的要求。

核心总结 #

• 对于动态分配的数组（new[]），必须用delete[]释放——它会自动遍历数组，调用每个对象的析构函数，再释放数组内存；
• vector的析构函数会自动处理自身内部的动态内存，你永远不需要手动去释放vector里的元素；
• 老师说的「delete调用次数和new相等」，指的是你手动调用的new/delete（包括new[]/delete[]），vector内部的内存管理是容器的自主行为，不算在这个次数统计里。

内容的提问来源于stack exchange，提问作者F.L.