当没有重新分配时，vec.end() 的迭代器在 vec.push_back() 之后是否仍然有效

Question

此示例代码有效吗？

#include<vector>
using namespace std;

int main() {
  vector<int> vec(10); // create with 10 elements
  vec.reserve(100);    // set capacity to 100
  vector<int>::iterator iter = vec.end(); // points 1 past vec[9]

  vec.push_back( 777 );

  bool is_this_valid_and_true =  *iter == vec[10]; // ?

  // VS2010 runtime error in debug build:
  // Expression: vector iterator not dereferencable
  // Works in release build

  iter = vec.end() + 1; // points 2 past vec[10]?
  vec.push_back( 888 );
  vec.push_back( 999 );

  is_this_valid_and_true =  *iter == vec[12]; // ?
}

VS2010的错误可能和这个bug有关。

如果我设置命令行选项/D_HAS_ITERATOR_DEBUGGING=0 或设置

#define _HAS_ITERATOR_DEBUGGING 0
#include<vector>

没有错误。

编辑：

根据答案，我认为这段代码应该会导致错误。编译器中没有错误。它只在发布模式下工作，因为迭代器被实现为指针。

Answer 1

23.2.4.3/1：

如果新大小为 大于旧容量。如果不 重新分配发生时，所有 迭代器和引用之前 插入点保持有效。如果 引发异常 复制构造函数或赋值 T 的运算符没有效果。

所以不，end() 不必在push_back 之后有效。引用与vector.insert相关，push_back定义为insert

Answer 2

您将迭代器视为指针。

迭代器可以使用指针作为实现细节，但它们不是实际的指针。

因此：

iter = vec.end() + 1; // This is not valid.

不存在两个元素通过数据末尾的事情。

vec.end() 返回一个迭代器，当递减是对最后一个元素的引用（假设有元素）。而在递增时引用最后一个元素的迭代器等价于 end() 返回的迭代器。

// Note: Assuming vector iterators were not invalidated after an insert anyway.
//       But for arguments sake lets play this out.
//
vector<int>::iterator iter = vec.end(); // points 1 past vec[9]
vec.push_back( 777 );
bool is_this_valid_and_true =  *iter == vec[10]; // Not valid.
                                                 // This is the end() iterator
                                                 // de-referencing it is UB

但是取消引用 end() 表示的迭代器是未定义的 behavior() （即使您有保留空间）（实现可能不使用指针。例如，一些 DeBug STL 实现将在迭代器代码）。