Почему стирание не поддерживает обратные итераторы?

Я полагаю, что количество дополнительных перегрузок, которые необходимо добавить в стандартную библиотеку, делает это неподобающей задачей, когда в этом нет необходимости.

Конечно, самый элегантный обходной путь вряд ли будет выразительным:

container.erase((it+1).base());

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

Если вы обнаружите, что часто его используете, вы можете самостоятельно обернуть более общее решение:

template <typename ReverseIterator>
auto AsForwardIterator(ReverseIterator rit)
{
    std::advance(rit, 1);
    return rit.base();
}

Тогда это просто:

container.erase(AsForwardIterator(it));

И, откровенно говоря, простота этого кажется стоящей того, чтобы не иметь всех этих перегрузок в каждом контейнере.

Я не могу ответить на вопрос «почему», но чтобы ответить на вопрос «как», вы должны вызвать base() на своем итераторе. Он вернет правильный итератор вперед.

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

1, 2, 3, 4, 5

И у вас есть reverse_iterator rit, который при разыменовании дает вам 3, тогда *(rit.base) будет равно 4. Чтобы понять почему, просто вспомните, что в обычных итераторах begin() разыменовывается, а end() нет. В обратных итераторах свойство должно быть таким же — rbegin() должно быть разыменуемо, а rend() — нет, т. е. должно указывать за начало контейнера.

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