std :: vector :: erase with equal arguments

Question

Безопасно ли вызывать итерационные методы, такие как стирание контейнера STL (переопределение с использованием 2 итераторов), например. в моем случае std::vector::erase(), причем оба аргумента: vec.end()? Я сделал эксперимент, и похоже, что вызов просто ничего не делает, но я хочу быть уверенным, что могу безопасно его использовать в коде, иначе мне нужно проверить мои итераторы и избежать erase(), если они равны.

Answer 1

С ++ Стандартный (n3337), 23.2.3, последовательности контейнеров, Таблица (требования 'контейнера последовательности) 100 - строка a.erase(q1,q2):

Эффекты: Стирание элементы в диапазоне [q1,q2).

Это значит, что a.erase(q,q) безопасен, потому что он ничего не делает.

Ответ Локи Астари на this SO question содержит список черновиков стандарта C++. К сожалению, официальная копия недоступна, поэтому я использую n3337, который, кажется, ближе всего к C++ 11.

Answer 2

Это безопасно; он эффективный no-op, потому что end() -> end() - это диапазон, который пуст.