Почему итераторы в STL используют такой странный подход к индексации?

Здравствуйте. Вопросы касаются пока только последовательных контейнеров.

Почему при инициализации контейнера массивом из, например, 5 элементов, мы прибавляем к адресу массива во втором аргументе не 4, а 5? В первом аргументе содержится адрес первого элемента, сдвинулись 4 раза = получили все остальные, включая последний. Зачем делать ещё один лишний сдвиг и заходить за диапазон? Это касается и метода контейнера .end(), который возвращает значение итератора "последний элемент + 1".

1

Марауль, это же удобно. Допустим хотим взять и первые n чисел отсортировать.
std::sort(a.begin(), a.begin() + n);
удобнее чем
std::sort(a.begin(), a.begin() + n - 1);
Или например хотим отсортировать первую половину массива, а вторую не трогать.
std::sort(a.begin(), a.begin() + a.size() / 2); // и опять -1 не надо писать
Если привыкнуть к полуинтервалам, то это очень удобная штука.

1

Сообщение от Новичок удобнее чем std::sort(a.begin(), a.begin() + n - 1);

Для алгоритма, который понимает, что задано начало и количество нет вопросов с std::sort(a.begin(), n );
Это просто проще. Когда новичков (простите за тавтологию Новичок), учат передавать указатель на первый элемент массива и количество элементов, это именно оно. Функции не нужно знать истинного размера. У неё другая задача. Поэтому может и вылететь, конечно. Но если бы итератор имел размер (разделяемое данное) и свою текущую позицию - поле экземпляра, то не было бы вопросов ни к чему. Кроме действий юзера, конечно.
Но потери валидности итераторов можно было бы избежать в ряде случаев. То есть есть за что платить.

Добавлено через 8 минут

Сообщение от Undisputed Было бы лучше дать выбор пользователю как например в векторе при доступе к элементам. Хочешь быстро но с риском словить UB? Используй оператор [], иначе более безопасный но медленный at.

Undisputed, размер библиотечного файла vector больше от того что в нём присутствуют 2 варианта. Это потому, что ни чего не бывает бесплатно. Вопрос всегда в том, как оптимизировать цену, а это вопрос компромисса. Набор условий задачи против набора: ум, честь и совесть того кто решает задачу, плюс его величество случай. Вот и всё что определяет цену. На базаре всегда два дурака. Но задачи бывают и умные.

0

Ничего себе, какую крутую вы тут беседу развели! Жаль, что я пока ещё не всё понимаю)
TRam_, TheCalligrapher, Новичок, спасибо большое вам за разъяснения!! Вот стоило ведь мне догадаться о том, что такой подход прост и прекрасен, но я не догадался. Зато теперь я понимаю ещё одну вещь: если что-то кажется странным, то нужно просто посмотреть на это с другой стороны, расширить свой взгляд.
IGPIGP, спасибо за ваш ответ с философской ноткой! Мне сейчас пока не всё понятно, но я возьму сказанное Вами на заметку.

0

Сообщение от Марауль IGPIGP, спасибо за ваш ответ с философской ноткой! Мне сейчас пока не всё понятно, но я возьму сказанное Вами на заметку.

Мы даже до середины не дошли. Марауль, есть простая истина: обобщение необобщаемого это боль. Если говорить о контейнерах STL то некоторые обобщения противоестественны. Структуры произвольного и последовательного доступа сортируются по разному, например. Поиск в бинарных деревьях поиска (BST:set/map) идёт иначе чем в векторах или списках, хотя для упорядоченных векторов есть бинарные алгоритмы верхней/нижней границы... Но различия идут глубже. BST - контейнеры с не детерминированной структурой. То есть, на одном и том же наборе элементов взаимо размещение нодов (топология) зависит от порядка поступления данных. В числе следствий - тот простой факт, что описание положения нода в дереве - не тривиальная задача. Там много различий с такими зверями как вектор или список. Например, когда поиск в BST не удачен, то это значит мы достигли листа в какой-то ветке. То есть у дерева много хвостов, - это такой себе змей Горыныч наоборот. Но создатели библиотеки делают подстановку итератора на следующий за последним (по предикату) элементом. Таким образом, последовательное прохождение для всех контейнеров внешне вполне обобщаемо. Но это кажущееся благополучие.

Сообщение от Марауль Жаль, что я пока ещё не всё понимаю)

Главное, что вы можете задать глубокий вопрос. Остальное, - вопрос вашего упорства, времени и возможности его тратить на удивительный мир С++. Удачи)

0