CD
мне кажется надо ковырять пропозалы для С++11 иначе мы тут погрязнем в очередном бессмысленном холиваре
вообще, идея очень нетривиальная, я не уверен, что мы её найдем
Size: a a a
2020 September 08
A
вот там прям такой же вопрос по поводу count_if и типа
и такой же сомнительный ответ про сферический длинный тип в вакууме
CD
мне кажется надо ковырять пропозалы для С++11 иначе мы тут погрязнем в очередном бессмысленном холиваре
между прочим, ложится очень клево
CD
std::advance будет принимать size_t для std::input_iterator_tag
CD
@antoshkka тут есть забавное мнение, что надо убрать ограничение signed на iterator_traits<X> :: difference_type
потому что это на самом деле distance_type, и для input_iterator он беззнаковый (он становится знаковым только на bidirectional, и требование signed должно быть указано для bidirectional)
потому что это на самом деле distance_type, и для input_iterator он беззнаковый (он становится знаковым только на bidirectional, и требование signed должно быть указано для bidirectional)
N
@antoshkka тут есть забавное мнение, что надо убрать ограничение signed на iterator_traits<X> :: difference_type
потому что это на самом деле distance_type, и для input_iterator он беззнаковый (он становится знаковым только на bidirectional, и требование signed должно быть указано для bidirectional)
потому что это на самом деле distance_type, и для input_iterator он беззнаковый (он становится знаковым только на bidirectional, и требование signed должно быть указано для bidirectional)
difference_type
Preconditions: there exists a value n of type difference_type such that
a + n == b.
b == a + (b - a).
Preconditions: there exists a value n of type difference_type such that
a + n == b.
b == a + (b - a).
SE
@antoshkka тут есть забавное мнение, что надо убрать ограничение signed на iterator_traits<X> :: difference_type
потому что это на самом деле distance_type, и для input_iterator он беззнаковый (он становится знаковым только на bidirectional, и требование signed должно быть указано для bidirectional)
потому что это на самом деле distance_type, и для input_iterator он беззнаковый (он становится знаковым только на bidirectional, и требование signed должно быть указано для bidirectional)
но его надо убрать для count_if только
SE
по вашему мнению
SE
иначе дистанс он сломает
CD
но его надо убрать для count_if только
везде. std::advance принимает беззнак. std::distance возвращает беззнак.
OZ
иначе дистанс он сломает
назад на нем идти нельзя, так что undefined behavior все равно вроде
SE
везде. std::advance принимает беззнак. std::distance возвращает беззнак.
и что делать когда ты делаешь distance(end, begin) ?
CD
и что делать когда ты делаешь distance(end, begin) ?
для input iterator это очевидно конец программы
SE
для input iterator это очевидно конец программы
схуяли
SE
это random_access
CD
схуяли
ну посмотри, как это сработает
N
и что делать когда ты делаешь distance(end, begin) ?
описано вот так
The value may be negative if random-access iterators are used and first is reachable from last
The value may be negative if random-access iterators are used and first is reachable from last
CD
это random_access
для input_iterator он беззнаковый
для bidirectional_iterator он знаковый
для bidirectional_iterator он знаковый