Что говорит стандарт С++ о std::vector <int> v1, v2; станд:: расстояние (v1.begin(), v2.begin())?

У меня есть этот код

#include <vector>
#include <iostream>

int main(int argc, char* argv[])
{
   std::vector<int> v1,v2;
   std::cout << std::distance(v1.begin(),v2.begin());
   return 0;
}

и он имеет ошибку, потому что не имеет смысла сравнивать итераторы двух разных векторов.

Я просмотрел N3376 в 24.4.4. Операции итератора на стр. 815:

template<class InputIterator>
typename iterator_traits<InputIterator>::difference_type
distance(InputIterator first, InputIterator last);
Требуется: Если InputIterator соответствует требованиям итератора произвольного доступа, last может достигать от first или first, должно быть достижимо от last; в противном случае last должно быть доступно из first.

Теперь я думаю, что Requires не выполняется.

Что должно произойти в этом случае стандартное состояние?

Ответ 1

[iterator.requirements.general]:

Итератор j называется достижимым из итератора i, если и только если существует конечная последовательность применений выражения ++iчто делает i == j.

Проблема заключается в том, что после того, как вы увеличили v1.begin() v1.size()-1 раз, следующая операция приращения вызывает поведение undefined, поэтому v2.begin() не может быть достигнуто с v1.begin(). Тот же аргумент делает v1.begin() недоступным из v2.begin().

В случае, если у вас возник вопрос: "Что произойдет, если условие в разделе Requires нарушено?", посмотрите [res.on.required]:

Нарушение предусловий, указанных в функциях. Требуется: абзац приводит к поведению undefined, если функции Броски: Параметр указывает на исключение исключения, когда предварительное условие нарушены.

Ответ 2

В некоторых реализациях std::distance первый итератор увеличивается до тех пор, пока не достигнет второго итератора. Итерации подсчитываются:

unsigned int counts = 0;
while (iter1 != iter2)
{
  ++counts;
  ++iter1;
}

Если итераторы указывают на контейнеры в разных адресных пространствах, цикл многих не заканчивается. Используя термины в стандарте, второй итератор недоступен.

Ответ 3

requires не выполняется, что означает, что код имеет поведение undefined: все может случиться.

Ответ 4

В этом случае будет поведение undefined. Поскольку last недоступен из first (возможно, несколько раз), увеличивая first.