0

Доброго времени суток
Есть такой пример

#include <iostream>
#include <vector>
#include <iterator>
#include <algorithm>
using namespace std;

int main()
{
    istream_iterator<int> istrIt1(cin);
    istream_iterator<int> istrIt2;

    int arr[]={12,22,5,4,5,6};
    vector<int> v(arr,arr+6);
    min_element(istrIt1,istrIt2);

    return 0;
}

Можно ли в алгоритмах std::min_element и std::max_element использовать istream_iterator и везде ли это будет работать? Просто в стандарте написано, что они принимают forward iterator, а на практике оказывается, что и input iterator здесь отлично работает.

1 ответ 1

3

Согласно cppreference.com,

в отличие от InputIterator'а, ForwardIterator гарантирует валидность при использовании в многопроходных алгоритмах.

Если в вашей реализации STL min_element однопроходный, должно работать. Но гарантировать может только стандарт.


Как верно подсказывает @dzhioev, InputIterator имеет право инвалидировать уже «пройденные» итераторы. Но min_element возвращает итератор, который скорее всего есть копия входного итератора. Так что здесь могут быть проблемы.

С другой стороны, для персистентных структур (std::vector и т. п.) он этого скорее всего не делает, но гарантии снова-таки нет. Для cin вполне возможно, что использование istream_iterator'а есть undefined behaviour. Поэтому лучше для не надеяться на случай, а «материализовать» введённую последовательность.

Стандарт, 25.4.7/21 требует, чтобы входные параметры удовлетворяли требованиям ForwardIterator, но документация на VS 2013 непоследовательна: [1], [2].

Поэтому лучше делать так, как гарантировано работает по стандарту (тем более, это не так сложно).

2
  • 1
    Так min_element возвращает итератор указывающий на искомый элемент. А при инкременте input итератора могут быть инвалидированы его копии. Так что тут и с однопроходным алгоритмом проблемы могут быть.
    – dzhioev
    22 янв 2014 в 15:24
  • @dzhioev: Ох, и правда. Обновлю-ка я ответ. Спасибо! --- Обновил.
    – VladD
    22 янв 2014 в 16:08

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.