一个空的vector执行pop_back操作会发生什么?
2015-07-23 20:54
253 查看
由于之前看STL源码剖析的时候,发现所执行的操作如下:
只是简单的将末尾的finish迭代器减1后destroy。这让人产生一个疑问:假如这个vector为空了,finish=start了,finish再减1不就不在vector的内存控制范围了么。于是,我打算看一下vs2013编译器和g++编译器的源码。
vs2013的编译器源码如下:
该源码的意思就是,在debug模式下运行,是会检测vector是否empty的,但在release模式下不会检测。经过测试,debug下pop_back一个空的vector会报错,但release没有,但是release下面,pop_back后这个vector基本上就废了,你不能再push_back了,会报错。因为pop_back显然已经将vector的对象的结构破坏。
在g++编译器下测试,其源码如下:
结果也是一样的,pop_back一个空的vector会破坏整个vector对象,具体的作用就是finish迭代器失效。但有趣的是,下面的代码可以运行:
原因就是,push_back插入对象是 分为申请空间和构造对象两步,pop_back的destroy只有析构对象的作用,没有deallocate的回收空间的作用。所以,pop_back之后,空间是没有释放的,vec[0]能够执行赋值行为并输出,但这个时候因为finish迭代器的损毁,vec已经不能执行push_back操作了。另外提一下,destroy函数在析构对象的时候,做了进一步的判断,如果该对象存在有效的析构函数,则调用改析构函数析构之,否则什么都不做,比如int类型的对象。
总的来说,pop_back的准确调用需要程序员来保证,在执行pop_back时候最好能预先做一些判断。
只是简单的将末尾的finish迭代器减1后destroy。这让人产生一个疑问:假如这个vector为空了,finish=start了,finish再减1不就不在vector的内存控制范围了么。于是,我打算看一下vs2013编译器和g++编译器的源码。
vs2013的编译器源码如下:
#if _ITERATOR_DEBUG_LEVEL == 2 void pop_back() { // erase element at end if (empty()) _DEBUG_ERROR("vector empty before pop"); else { // erase last element _Orphan_range(this->_Mylast - 1, this->_Mylast); this->_Getal().destroy(this->_Mylast - 1); --this->_Mylast; } } #else /* _ITERATOR_DEBUG_LEVEL == 2 */ void pop_back() { // erase element at end this->_Getal().destroy(this->_Mylast - 1); --this->_Mylast; } #endif /* _ITERATOR_DEBUG_LEVEL == 2 */</span>
该源码的意思就是,在debug模式下运行,是会检测vector是否empty的,但在release模式下不会检测。经过测试,debug下pop_back一个空的vector会报错,但release没有,但是release下面,pop_back后这个vector基本上就废了,你不能再push_back了,会报错。因为pop_back显然已经将vector的对象的结构破坏。
在g++编译器下测试,其源码如下:
void pop_back() _GLIBCXX_NOEXCEPT { --this->_M_impl._M_finish; _Alloc_traits::destroy(this->_M_impl, this->_M_impl._M_finish); }</span>
结果也是一样的,pop_back一个空的vector会破坏整个vector对象,具体的作用就是finish迭代器失效。但有趣的是,下面的代码可以运行:
vec.push_back(0); vec.pop_back(); vec.pop_back(); vec[0] = 1; cout << vec[0];</span>
原因就是,push_back插入对象是 分为申请空间和构造对象两步,pop_back的destroy只有析构对象的作用,没有deallocate的回收空间的作用。所以,pop_back之后,空间是没有释放的,vec[0]能够执行赋值行为并输出,但这个时候因为finish迭代器的损毁,vec已经不能执行push_back操作了。另外提一下,destroy函数在析构对象的时候,做了进一步的判断,如果该对象存在有效的析构函数,则调用改析构函数析构之,否则什么都不做,比如int类型的对象。
总的来说,pop_back的准确调用需要程序员来保证,在执行pop_back时候最好能预先做一些判断。
相关文章推荐
- 使用C++实现JNI接口需要注意的事项
- 关于指针的一些事情
- c++ primer 第五版 笔记前言
- share_ptr的几个注意点
- Lua中调用C++函数示例
- Lua教程(一):在C++中嵌入Lua脚本
- Lua教程(二):C++和Lua相互传递数据示例
- C++联合体转换成C#结构的实现方法
- C++编写简单的打靶游戏
- C++ 自定义控件的移植问题
- C++变位词问题分析
- C/C++数据对齐详细解析
- C++基于栈实现铁轨问题
- C++中引用的使用总结
- 使用Lua来扩展C++程序的方法
- C++中调用Lua函数实例
- Lua和C++的通信流程代码实例
- C与C++之间相互调用实例方法讲解
- C++ Custom Control控件向父窗体发送对应的消息
- C++中拷贝构造函数的应用详解