当没有迭代器失效时，这是否包括结束迭代器？

Question

A std::map s iterators stay valid when inserting elements, eg:

std::map<std::string,int> my_map;
my_map["foo"] = 1;
my_map["bar"] = 2;

auto it_foo = my_map.find("foo");
auto it_bar = my_map.find("bar"); 

my_map["foobar"] = 3;

after inserting another element (in the last line) the two iterators are still valid. How about the end ? For example:

auto it_end = my_map.find("something that isnt in the map");

my_map["barfoo"] = 4; // does not invalidate iterators

assert(it_end == my_map.end()); // ??

In other words: If a method does not invalidate iterators (other than those explicitly mentioned, as for example in case of map::erase ) does this mean that also the end is guaranteed to be the same before as after calling the method?

PS: I am aware that I could just try and see, but this wont tell me whether I can rely on this behaviour.

PPS: For example pushing into a std::vector invalidates all iterators, or only the end (when no reallocation took place), but in this case the docs explicitly mention the end . Following this reasoning, "no iterators are invalidated" should include end , but I am not 100% convinced ;)

Answer 1

N4140 23.2.4 Associative containers [associative.reqmts][ 1 ]

9 The insert and emplace members shall not affect the validity of iterators and references to the container, and the erase members shall invalidate only iterators and references to the erased elements.

Definitely the term iterators refers to all iterators including end .