一个空的vector执行pop_back操作会发生什么？

由于之前看STL源码剖析的时候，发现所执行的操作如下：

只是简单的将末尾的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 */

该源码的意思就是，在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);
      }

结果也是一样的，pop_back一个空的vector会破坏整个vector对象，具体的作用就是finish迭代器失效。但有趣的是，下面的代码可以运行：

 vec.push_back(0);
  vec.pop_back();
  vec.pop_back();
  vec[0] = 1;
  cout << vec[0];

原因就是，push_back插入对象是 分为申请空间和构造对象两步，pop_back的destroy只有析构对象的作用，没有deallocate的回收空间的作用。所以，pop_back之后，空间是没有释放的，vec[0]能够执行赋值行为并输出，但这个时候因为finish迭代器的损毁，vec已经不能执行push_back操作了。另外提一下，destroy函数在析构对象的时候，做了进一步的判断，如果该对象存在有效的析构函数，则调用改析构函数析构之，否则什么都不做，比如int类型的对象。

总的来说，pop_back的准确调用需要程序员来保证，在执行pop_back时候最好能预先做一些判断。