Это незаконно? - программирование

Для личного проекта я реализую свой собственный libstdС++. Понемногу я добился неплохих успехов. Обычно я использую примеры из http://www.cplusplus.com/reference/ для некоторых основных тестовых примеров, чтобы убедиться, что у меня есть очевидная функциональность, работающая как ожидалось.

Сегодня я столкнулся с проблемой с std::basic_string::replace, в частности, с версиями на основе итератора, используя пример, скопированный дословно из сайта (http://www.cplusplus.com/reference/string/string/replace/) (Я добавил комментарий, чтобы указать на соответствующие строки):

// replacing in a string
#include <iostream>
#include <string>
using namespace std;

int main ()
{
  string base="this is a test string.";
  string str2="n example";
  string str3="sample phrase";
  string str4="useful.";

  // function versions used in the same order as described above:

  // Using positions:                 0123456789*123456789*12345
  string str=base;                // "this is a test string."
  str.replace(9,5,str2);          // "this is an example string."
  str.replace(19,6,str3,7,6);     // "this is an example phrase."
  str.replace(8,10,"just all",6); // "this is just a phrase."
  str.replace(8,6,"a short");     // "this is a short phrase."
  str.replace(22,1,3,'!');        // "this is a short phrase!!!"

  // Using iterators:                      0123456789*123456789*
  string::iterator it = str.begin();   //  ^
  str.replace(it,str.end()-3,str3);    // "sample phrase!!!"

  // *** this next line and most that follow are illegal right? ***

  str.replace(it,it+6,"replace it",7); // "replace phrase!!!"
  it+=8;                               //          ^
  str.replace(it,it+6,"is cool");      // "replace is cool!!!"
  str.replace(it+4,str.end()-4,4,'o'); // "replace is cooool!!!"
  it+=3;                               //             ^
  str.replace(it,str.end(),str4.begin(),str4.end());
                                       // "replace is useful."
  cout << str << endl;
  return 0;
}

В моей версии замена реализована в терминах временной строки, которую я создаю, затем подкачки с *this. Это явно аннулирует любые итераторы. Правильно ли, что этот пример недействителен? потому что он хранит итераторы, выполняет замену, а затем снова использует итераторы?

Моя копия стандарта (ISO 14882: 2003 - 21.3p5) гласит:

Ссылки, указатели и итераторы ссылаясь на элементы Последовательность basic_string может быть аннулированных следующим использованием этого объекта basic_string:
- As an argument to non-member functions swap() (21.3.7.8), 
  operator>>() (21.3.7.9), and getline() (21.3.7.9).
- As an argument to basic_string::swap().
- Calling data() and c_str() member functions.
- Calling non-const member functions, except operator[](), at(),
  begin(), rbegin(),
  end(), and rend().
- Subsequent to any of the above uses except the forms of insert() and
  erase() which return iterators,
  the first call to non-const member functions operator[](), at(), begin(),
  rbegin(), end(), or rend().

Кажется, что запись о не-константных функциях-членах охватывает это. Так что, если я что-то не хватает, тогда этот код использует недействительные итераторы? Конечно, этот код отлично работает с gcc libstdС++, но мы все знаем, что ничего не доказывает в отношении соответствия стандартам.

Ответ 1