Сохранение допустимости итераторов std::list посредством вставки

if (readpos == buf.begin())
{
    buf.insert(buf.end(), newdata.begin(), newdata.end());
    readpos = buf.begin();
}
else
{
    --readpos;
    buf.insert(buf.end(), newdata.begin(), newdata.end());
    ++readpos;
}

Не элегантно, но должно работать.

Из http://www.sgi.com/tech/stl/List.html

«Списки обладают тем важным свойством, что вставка и объединение не делают недействительными итераторы для элементов списка, и что даже удаление делает недействительными только те итераторы, которые указывают на удаляемые элементы».

Следовательно, readpos все еще должно быть действительным после вставки.

Тем не мение...

std::list< char > — очень неэффективный способ решения этой проблемы. Для каждого байта, который вы храните в std::list, требуется указатель для отслеживания байта, плюс размер структуры узла списка, обычно еще два указателя. Это как минимум 12 или 24 байта (32 или 64-битные) памяти, используемые для отслеживания одного байта данных.

std::deque< char>, вероятно, лучший контейнер для этого. Как и std::vector, он обеспечивает вставку с постоянным временем сзади, но также обеспечивает удаление с постоянным временем спереди. Наконец, например, std::vector std::deque — это контейнер с произвольным доступом, поэтому вы можете использовать смещения/индексы вместо итераторов. Эти три особенности делают его эффективным выбором.

Я действительно был тупым. Стандарт дает нам все необходимые инструменты. В частности, требования к контейнеру последовательности 23.2.3/9 гласят:

Итератор, возвращенный из a.insert(p, i, j), указывает на копию первого элемента, вставленного в a, или p, если i == j.

Далее в описании list::insert говорится (23.3.5.4/1):

Не влияет на достоверность итераторов и ссылок.

Так что на самом деле, если pos является моим текущим итератором внутри списка, который используется, я могу сказать:

auto it = buf.insert(buf.end(), newdata.begin(), newdata.end());

if (pos == buf.end()) { pos = it; }

Диапазон новых элементов в моем списке — [it, buf.end()), а диапазон еще не обработанных элементов — [pos, buf.end()). Это работает, потому что если pos было равно buf.end() до вставки, то оно остается равным и после вставки, поскольку вставка не делает недействительными любые итераторы, даже конец.

list<char> — очень неэффективный способ хранения строки. Она наверное в 10-20 раз больше самой строки, плюс вы гоняетесь за указателем за каждым символом...

Рассматривали ли вы вместо этого использование std::dequeue<char>?

[редактировать]

Чтобы ответить на ваш фактический вопрос, добавление и удаление элементов не делает недействительными итераторы в list... Но end() все равно будет end(). Таким образом, вам нужно будет проверить это как особый случай в точке, где вы вставляете новый элемент, чтобы обновить итератор readpos.