使用std::vector 的陷阱

最新推荐文章于 2024-02-28 10:31:43 发布
原创 最新推荐文章于 2024-02-28 10:31:43 发布 · 4.9k 阅读 · 1 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#vector #list

本文深入探讨了在使用C++标准库中的vector容器时可能出现的一个陷阱，特别是当试图在中间删除元素时，如何避免可能引发的问题，通过增加自定义的拷贝构造函数或使用智能指针来确保资源安全。

内容摘要 因为vector不象list,vector始终要保持一个完整的内存结构(因为就是一个数组),这样才可以让values[1]这样的方式正确运行. 但是,如果要在vector中间删掉一个成员的话,vector是这样做的, 先把该成员后面的一个成员,一直到最后一个成员往前一位置拷贝,这样需要删除的成员已经被后面的覆盖了, 然后再删除最后一个成员,这样,vector又能保持一段完整的内存结构了


在使用std的容器的时候,不少人喜欢用vector, 因为比起list,更省空间,而且可以根据index直接读取某个值,而不用一个个枚举来取.

但是,std::vector确实有一些值得注意的陷阱, 这里先说其中一个, 请看以下代码.

std::vector< int >  values;

values.push_back(1);

values.push_back(2);

values.push_back(3);

values.erase(values.begin() + 1);

乍看之下,这几行简单的代码没什么 问题. 实际执行起来, 还是没什么问题 , 但却有一个陷阱. 由于例子里面用的是int的vector,所以这样做没有任何问题, 但,假如不是一个int, 而是一个类,一个结构体,类或结构体里面还有指针, 那就很可能出问题了. why?

因为vector不象list,vector始终要保持一个完整的内存结构(因为就是一个数组),这样才可以让values[1]这样的方式正确运行. 但是,如果要在vector中间删掉一个成员的话,vector是这样做的, 先把该成员后面的一个成员,一直到最后一个成员往前一位置拷贝,这样需要删除的成员已经被后面的覆盖了, 然后再删除最后一个成员,这样,vector又能保持一段完整的内存结构了.  注意,因为最后一个成员会被删除,而如果这个成员里面有一个成员变量是指针, 那析构函数很有可能会把这个指针指向的地方释放掉!  这样,即使最后一个成员被复制了一份 到倒数第2的位置,也因为在他本身被删除的时候,把倒数第2个(也就是它的复制) 的指针成员所指向的地方给释放了! 如图：

                      

解决的办法也很简单, 最少有2种. 1,  增加作为vector类型的类的拷贝构造函数, 因为vector在erase的时候会发生一次拷贝,让拷贝构造函数不单单是复制指针,还把指针所指向的内容给拷贝一份,这样就不会导致被最后一个成员释放的时候一起释放掉了. 2, 如果有引用记数的话,如智能指针, 就不会被释放掉了。不过如果一般编码里面不需要用到引用记数的话,还是方法1比较简便.


wangxfvc
关注
C++老手都可能搞错：std::vector＜std::vector＜int＞＞的致命性能陷阱
weixin_45715405的博客
08-11 155
C++标准库提供了多种容器类型，但实际工程中常需组合使用这些容器来构建复杂数据结构。本文探讨了三种核心的容器组合模式：容器嵌套、异构存储和元素迁移。通过实例分析了std::vector<std::vector<int>>实现二维矩阵和std::vector<std::list<int>>实现图邻接表的应用，并深入讨论了其内存布局和性能特点。针对C++容器的同质性限制，介绍了C++17引入的std::variant和std::any来实现类型安全的异构容器。这些
C++中的移动语义：深入理解std::move和移动构造函数，释放性能潜力
一个被知识诅咒的人
10-31 1121
C++11引入的移动语义为程序优化带来了深远的影响。传统的复制操作在处理大对象时，可能导致不必要的资源浪费，而移动语义通过移动构造函数和移动赋值运算符有效地解决了这一问题，减少了内存拷贝和资源占用，提升了程序的运行效率。本篇文章详细介绍了C++中的移动语义，深入解析 `std::move`、移动构造函数和移动赋值运算符的原理及实现方式，并通过示例代码展示如何在实际开发中应用移动语义来优化程序性能。此外，文章还将探讨一些常见的误区和优化策略，帮助开发者更好地掌握这一强大的特性，写出更加高效的C++程序。
使用vector遇到的坑，与c++版本有关
一只懒虫的博客
01-18 3008
文章目录遇到的问题 遇到的问题 先上代码： void UserList::RemoveItem( unsigned int userid ) { std::vector&lt;ZOOM_SDK_NAMESPACE::IUserInfo*&gt;::iterator it; for (it = m_user_list.begin();it != m_user_list.end(); ++it) ...
vector的erase函数的陷阱
inoobkk的博客
07-02 297
在下面的代码中，我试图用erase删除vector中的所有值为偶数的元素。根据c++primer 11，erase的返回值是指向被删除元素之后元素的迭代器。根据我的想法，我认为既然是删除一个元素，那么该被删除元素之后的所有元素都会往前移动一个位置，因此在删除该元素后，指向该被删除元素的迭代其器变成指向下一个元素的迭代器，但是却出现了错误。晚上的解答是使用erase(p)之后，p变为无效状态。 #include <iostream> #include <string> #incl.
vector使用中可能出现的一个陷阱
大智_Unity探路者
12-28 1004
今天写了一些小东西，由于平时习惯用vector，在存储一个数据时就用了vector，并且类中的一个指针成员保存了这个vector其中的一个数据。运行时发现有些指针会指向垃圾值，赶紧看了下代码有没有内存溢出的地方，经过调试发现是vector搞的。        Vector在内存空间上是连续空间，当你不断push_back时，可能会由于空间不足而去重新开辟空间，导致原有的空间释放，则原来保存的指针
c++ vector 的坑
dat1842的博客
09-22 1819
一个空的vector执行pop_back操作会发生什么 由于之前看STL源码剖析的时候，发现所执行的操作如下： 只是简单的将末尾的finish迭代器减1后destroy。这让人产生一个疑问：假如这个vector为空了，finish=start了，finish再减1不就不在vector的内存控制范围了么。于是，我打算看一下vs2013编译器和g++编译器的源码。 vs2013的...
Error 19 error C2678: binary '==' : no operator found which takes a left-hand operand of type 'std::_Vector_iterator<std::_Vector_val<std::_Simple_types<std::pair<std::string,GROUPINFO>>>>' (or there is no acceptable conversion) d:\kingtrader1605\trunk_kt\cheerfox\selfselstockdata.cpp 736 1 CheerFox (cheerfox\CheerFox)
最新发布
06-05
**方案 3：使用结构化绑定（C++17+）** ```cpp auto it = std::find_if(data.begin(), data.end(), [targetID=42](const auto& item) { auto& [key, value] = item; // 解构pair return key == targetID; } ); `...
std::vector<json> itemsVector = jsonObject.at("items");会报错“std::vector<nlohmann::json_abi_v3_11_2::basic_json<std::map,std::vector,std::string,bool,int64_t,uint64_t,double,std::allocator,nlohmann::json_abi_v3_11_2::adl_serializer,std::vector<uint8_t,std::allocator<uint8_t>>,void>,std::allocator<nlohmann::json_abi_v3_11_2::basic_json<std::map,std::vector,std::string,bool,int64_t,uint64_t,double,std::allocator,nlohmann::json_abi_v3_11_2::adl_serializer,std::vector<uint8_t,std::allocator<uint8_t>>,void>>> NluModelModule::replace_ner_result(std::vector<nlohmann::json_abi_v3_11_2::basic_json<std::map,std::vector,std::string,bool,int64_t,uint64_t,double,std::allocator,nlohmann::json_abi_v3_11_2::adl_serializer,std::vector<uint8_t,std::allocator<uint8_t>>,void>,std::allocator<nlohmann::json_abi_v3_11_2::basic_json<std::map,std::vector,std::string,bool,int64_t,uint64_t,double,std::allocator,nlohmann::json_abi_v3_11_2::adl_serializer,std::vector<uint8_t,std::allocator<uint8_t>>,void>>> &,const
04-26
当使用 Nlohmann 的 JSON 库时，如果尝试将 `jsonObject.at("items")` 赋值给一个 `std::vector<json>` 变量而出现编译或运行时错误，通常是因为以下几个原因之一： #### 原因分析 1. **字段类型不匹配** 如果 ...
solution.cpp:12:80: error: no matching function for call to 'std::vector<bool>::vector(int, std::vector<bool>)' vector<vector<bool>>drawmap=vector<vector<bool>(100,vector<bool>(100,false));
05-16
上述解决方案展示了如何正确处理涉及 `std::vector<bool>` 的常见陷阱，并提供了几种实用技巧来规避潜在问题。需要注意的是，尽管 `std::vector<bool>` 提供了一些性能优势，但在某些场景下也可能引入额外复杂度。...
C++ vector使用的坑
weixin_45483780的博客
07-31 478
这是因为vectorsize_type是一个unsignedint，无符号的整数是>=0的，所以上面的循环条件永远为true。程序一直循环，产生随机数，直至崩溃。
std::vector中的陷阱
Zippo's Sky
03-15 6019
自从上次经历了sort的死循环之后，让我觉得有必要重新审视一下STL的容器。vector是STL中最普通的一个容器，也是用的最多的一个容器。当我阅读vector的源码后，还是发现有很多陷阱，这些陷阱稍不留神也许就会让你的程序死的很难看。 一.增加元素时的陷阱vector中常用的增加元素的方法是pushBack和insert。大家先看看这样一段程序： int _tmain(int
C++之vector原理解析以及坑点
zengkui198513的博客
02-28 491
resize()方法,resize的效果就是会有一个初始值,并且空间大小是自己定义的,若resize比你原来的空间大,剩下的空间会有一个初始值填补.vector的底层原理是数组,只不过是在数组的基础上多加了几个指针.请看详细的定义.数组的有点就是支持随机访问,但是增删都效率不高.首先vector需要一个泛型来表示容器装入的数据类型.然后迭代器(iterator)其实是(T*).这个泛型指针的别名.这是是我们扩容的时候采用的memcpy是浅拷贝,把它换成深拷贝就行啦.这是对于几个指针的直观表示。
vector的陷阱-最常见的错误-
weifc-wei 的博客
06-21 504
vector的陷阱 #include <string> #include <iostream> #include <vector> using namespace std; class Man { public: Man() { this->count = 0; } void play() { count += 10; cout<<"I am playing"<<endl; } int getDrinkCou
C++容易犯的九个陷阱（代码版本）
叶
02-06 1221
自己也算入行一年了，遇到不少坑，结合网上博客以及自己复现，总结有以下几个容易出错的点。
C++11风格的vector循环小坑注意
IT旅途
05-16 1253
C++11新引入了类似如下分隔的遍历方式 for(auto iter : vectorTemp) 使用的时候需要注意iter变量是否需要加上引用，不然可能导致程序执行的效果不符合自己的预期。例子如下 typedef std::map<int, int> MAP_TEST_TEMP; typedef std::vec...
c++ vector的size()返回值是unsigned int
十早韦的博客
03-02 1844
今天刷题是遇到的问题，代码语句是这个样子： while(i<nums.size()-2) 因为nums.size()返回的的是一个无符号整型变量，如果返回值为0的话，减去1就会变成一个很大的正数。 具体有多大呢？我在LeetCode的编译环境下面测试了一下 vector<int> s; cout<<s.size()-1; 得到的结果：184467440737095...
Vector的Size一个坑点
yxpandjay的博客
09-23 3017
Vector.size的返回值为无符号整型   for(int i=0;i&lt;= (src.size()-3);i++){        //TODO }   这里的src.size()若一开始为2,则 src.size()-3并不是想象中的-1， 而是一个很大的无符号数...
关于vector的size()的使用问题
热门推荐
jfkidear的专栏
03-10 1万+
vector vec; for (int i = 0; i ｛ vec[i] ｝ 这里会有个隐藏问题，当vec的size为0时，因为size（）函数的返回值是无符号整型，这时vec.size() - 1是一个正数，导致vec[i]的访问越界
std::vector能否自动释放
03-14
<think>嗯，用户之前问过关于静态数组的内存释放问题，现在接着问std::vector能否自动释放。这说明他们可能在处理C++中的内存管理，特别是想了解如何避免手动释放带来的麻烦。 首先，我需要确认用户对std::vector的理解程度。他们可能已经知道vector是动态数组的替代品，但不确定其内存管理机制。用户可能关心是否用了vector之后就不需要手动delete，或者是否会有内存泄漏的风险。 接下来，我要明确回答：是的，std::vector能自动释放内存。但需要详细说明原理，比如RAII机制，以及vector在析构时如何自动释放其内部分配的堆内存。这可能包括生命周期管理，比如当vector离开作用域时，析构函数被调用，内部内存被释放。 另外，用户可能有更深层的疑问，比如在类成员中使用vector是否需要额外处理，或者当vector作为返回值时内存如何管理。需要举例说明这些情况，比如函数返回vector时不会出现悬空指针，因为vector管理自己的内存。 还要对比传统数组和vector的区别，强调自动释放的优势，比如避免内存泄漏和悬空指针的问题。可能提到现代C++的最佳实践，推荐使用vector而不是手动管理内存。 还要注意可能的特殊情况，比如使用指针的vector时是否需要手动释放元素，这时候需要说明如果存储的是原始指针，用户仍需自己管理，但可以用智能指针来避免。这也是用户可能遇到的陷阱，需要提前指出。 最后，总结vector的自动释放机制，强调RAII的重要性，并给出使用建议，确保用户理解如何正确利用vector来简化内存管理。</think>在 C++ 中，`std::vector` **可以自动释放内存**，这是其核心设计特性之一。以下是详细解析： --- ### **一、自动释放的原理** `std::vector` 通过 **RAII（资源获取即初始化）** 机制管理内存： 1. **构造函数**：在创建时分配内存（若指定大小）。 2. **析构函数**：在对象生命周期结束时（如离开作用域、被销毁时）**自动释放所有已分配的内存**。 3. **无需手动干预**：开发者不需要显式调用 `delete` 或 `delete[]`。 #### 示例代码： ```cpp #include <vector> void example() { std::vector<int> vec(1000); // 分配 1000 个 int 的内存 // 使用 vec... } // 函数结束时，vec 的析构函数自动释放内存 ✅ ``` --- ### **二、与其他数据结构的对比** | 特性 | `std::vector` | 原始动态数组 (`new[]`) | 静态数组 (`int[100]`) | |---------------------|---------------------|------------------------|-----------------------| | **内存释放方式** | 自动 | 需手动 `delete[]` | 自动（栈/数据段） | | **内存泄漏风险** | 无 | 高 | 无 | | **跨作用域安全性** | 安全（可复制/移动） | 需谨慎传递指针 | 局部作用域失效 | --- ### **三、关键场景验证** #### 场景1：函数返回 `std::vector` ```cpp std::vector<int> createVector() { std::vector<int> vec{1, 2, 3}; return vec; // 返回值优化（RVO）直接转移所有权，无内存泄漏 ✅ } // 调用 auto result = createVector(); // result 独立管理内存，原 vec 内存已自动释放 ``` #### 场景2：动态扩容 ```cpp std::vector<int> vec; for (int i = 0; i < 10000; ++i) { vec.push_back(i); // 可能触发多次扩容（旧内存自动释放）✅ } // 最终 vec 析构时释放最后一次分配的内存 ``` --- ### **四、手动干预释放的场景** 尽管 `std::vector` 自动管理内存，但可通过以下方法**主动释放或缩减内存**： 1. **清空内容并释放内存**： ```cpp std::vector<int> vec(1000); vec.clear(); // 清空元素（size=0，但 capacity 可能不变） vec.shrink_to_fit(); // 请求释放未使用的内存（capacity → size） ``` 2. **交换技巧强制释放**： ```cpp std::vector<int> vec(1000); std::vector<int>().swap(vec); // 用空 vector 交换，强制释放 vec 的内存 ``` --- ### **五、特殊注意事项** 1. **存储指针时的责任**： ```cpp std::vector<MyClass*> ptrVec; ptrVec.push_back(new MyClass()); // 必须手动释放每个指针！❌ for (auto ptr : ptrVec) delete ptr; ``` - 建议改用 `std::vector<std::unique_ptr<MyClass>>` 实现自动释放 ✅ 2. **嵌套容器**： ```cpp std::vector<std::vector<int>> matrix; matrix.push_back(std::vector<int>(100)); // 外层 vector 析构时，会自动释放所有内层 vector 的内存 ✅ ``` --- ### **六、底层内存布局** ```cpp std::vector<int> vec(3); ``` - 堆内存分配示例： ``` [ 元素1 | 元素2 | 元素3 | ...未使用的预留空间... ] ↑ 由 vector 内部指针管理 ``` - 析构时自动调用 `delete[]` 释放整个内存块。 --- **总结**： `std::vector` **完全自动释放内存**，其设计目标正是为了替代手动内存管理。在以下场景中可放心依赖其自动释放特性： - 局部作用域内定义的 vector - 类成员变量中的 vector - 函数返回值或参数传递的 vector 只有当 vector 存储**原始指针**时，才需要额外处理指针指向的内存（此时应优先使用智能指针）。
评论 3
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值