Неверные векторные итераторы

std::vector итераторы могут быть реализованы как указатели. Следствием этого является то, что если вы добавите элементы в вектор, незавершенные итераторы, очевидно, станут недействительными, потому что в общем случае векторные данные должны быть перераспределены.

Первое предположение относительно точных правил будет заключаться в том, что разрешенные операции точно такие же, как и для указателей, например. не разыменовывайте недопустимый итератор до тех пор, пока ему не будет переназначено допустимое значение, но это не совсем так, потому что реализация Microsoft в режиме отладки иногда будет вызывать исключение, если вы, например. вычесть векторные итераторы, указывающие на разные блоки данных (что, конечно, полезно для отладки).

Является ли дополнение к правилам указателя чем-то вроде «не вычитать итераторы из разных блоков данных» или «не выполнять никаких арифметических действий с недопустимым итератором, пока ему не будет переназначено действительное значение» или что-то еще?

Например, допустима ли следующая программа (которая работает как на Microsoft C++, так и на GCC)?

#include <algorithm>
#include <iostream>
#include <vector>

using std::cout;
using std::ostream;
using std::vector;

template<class T> ostream& operator<<(ostream& os, vector<T>& v) {
    os << '[';
    bool c = 0;
    for (auto a: v) {
        if (c)
            os << ", ";
        c = 1;
        os << a;
    }
    return os << ']';
}

void f(vector<int>& v, vector<int>::iterator& i) {
    *i = 10;
    for (int j = 0; j < 10; j++)
        v.insert(begin(v), j);
    i = begin(v)+5;
}

int main() {
    vector<int> v;
    for (int i = 0; i < 10; i++)
        v.push_back(i);
    auto i = begin(v)+5;
    f(v, i);
    i[1] = 11;
    cout << v << '\n';
    return 0;
}