【std::vector】复制后size、capacity

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

前言

vector<int>v1={1,2,3,4,5};vector<int>v2={5,6};v1=v2;

经过这个拷贝之后v1的size是2吗，原来那五个元素占据的空间会自动释放吗，有什么内存泄漏风险没有

要解答这个问题，我们需要从C++ vector的赋值运算符行为、内存管理机制和内存泄漏的定义三个层面分析。

一、v1的size是否为2？

是。

vector的赋值运算符（operator=）的核心语义是替换容器的内容：

1. 销毁当前vector中所有已存在的元素（对于int这类内置类型，析构是空操作）；
2. 分配足够的内存（如果当前capacity不足），将右操作数（v2）的元素逐份拷贝到当前vector中；
3. 调整当前vector的size为右操作数的size（即v2的size=2），capacity则根据实现可能保留原有空间（后续详解）。

因此，赋值后v1.size()的结果是2，元素为{5,6}。

二、原来的五个元素占据的空间会自动释放吗？

分两种情况：元素对象的销毁 vs 底层内存的释放

1. 元素对象的销毁：立即发生

原来的5个int元素会被立即销毁（内置类型的析构是空操作，但逻辑上这些元素已被清理）。如果vector中存储的是自定义类型对象，这些对象的析构函数会被调用，对象持有的资源（如堆内存、文件句柄）会被释放。

2. 底层内存的释放：不一定立即发生（但会被管理）

vector的底层是动态分配的连续数组（堆内存），这部分内存的释放规则是：

• 赋值时，如果v1的当前capacity ≥ v2的size（比如v1原来的capacity=5，v2的size=2），vector为了性能优化（避免频繁的内存分配/释放），会保留原有底层内存，不会立即释放多余的空间（即capacity仍可能是5）。
• 这些未释放的内存属于vector的管理范围，后续可以被重用（比如v1后续添加元素时，直接使用这部分内存，无需重新分配）。
• 当vector被析构时（比如离开作用域），其底层所有分配的内存会被全部释放；也可以主动调用v1.shrink_to_fit()（C++11起），请求vector将capacity缩减到与size匹配（这是一个请求而非强制，但主流编译器如GCC/Clang/MSVC都会处理）。

三、是否有内存泄漏风险？

没有。

内存泄漏的定义是：程序中动态分配的内存不再被使用，且无法被回收。而vector遵循RAII（资源获取即初始化）原则，其底层内存的分配和释放由容器自动管理：

1. 赋值时，原来的内存即使没有立即释放，也仍被vector的内部指针指向，属于vector的管理范围，并非“无法回收”；
2. 当vector对象（v1）的生命周期结束（比如离开作用域），其析构函数会调用分配器（allocator）的deallocate方法，释放所有底层内存；
3. 即使是自定义类型，只要析构函数正确实现，也不会出现资源泄漏。

唯一可能的泄漏场景：如果手动用new创建vector对象（如vector<int>* v1 = new vector<int>{1,2,3,4,5};），但忘记用delete销毁，此时会导致vector的底层内存泄漏。但问题中是栈上的vector对象，生命周期由编译器自动管理，不会出现这种情况。

补充：验证代码

#include<iostream>#include<vector>usingnamespacestd;intmain(){vector<int>v1={1,2,3,4,5};vector<int>v2={5,6};cout<<"赋值前：v1.size="<<v1.size()<<", v1.capacity="<<v1.capacity()<<endl;// size=5, capacity=5（多数实现）v1=v2;cout<<"赋值后：v1.size="<<v1.size()<<", v1.capacity="<<v1.capacity()<<endl;// size=2, capacity=5（多数实现）v1.shrink_to_fit();// 主动请求缩容cout<<"缩容后：v1.size="<<v1.size()<<", v1.capacity="<<v1.capacity()<<endl;// size=2, capacity=2（多数实现）return0;}

总结

1. 赋值后v1.size()是2；
2. 原来的元素对象会立即销毁，底层内存不一定立即释放，但会被vector管理；
3. 无内存泄漏风险，vector的RAII机制保证了内存的自动回收。