Я создал простой неизменяемый двунаправленный итератор:
#include <iostream>
#include <memory>
#include <iterator>
#include <vector>
#include <algorithm>
class my_iterator : public std::iterator<std::bidirectional_iterator_tag, int
//, std::ptrdiff_t, int*, int
> {
int d_val;
public:
my_iterator() : d_val(0) {}
my_iterator(int val) : d_val(val) {}
my_iterator operator--(int) { d_val--; return my_iterator(d_val + 1); }
my_iterator &operator--() { d_val--; return *this; }
my_iterator operator++(int) { d_val++; return my_iterator(d_val - 1); }
my_iterator &operator++() { d_val++; return *this; }
int operator*() const { return d_val; }
bool operator==(my_iterator const &o) { return d_val == o.d_val; }
bool operator!=(my_iterator const &o) { return d_val != o.d_val ; }
};
int main() {
std::reverse_iterator<my_iterator> reverse_it_begin(25);
std::reverse_iterator<my_iterator> reverse_it_end(12);
std::for_each(reverse_it_begin, reverse_it_end, [](int e){ std::cout << e << ' '; });
std::cout << '\n';
}
Итератор неизменяем, поскольку operator * () возвращает int вместо int ссылки. Насколько я понимаю, это возможно, поскольку независимо от того, соответствует ли итератор концепции BidirectionalIterator или концепции OutputIterator, ортогонален (возможны все 4 комбинации).
Однако приведенный ниже код приводит к ошибке времени компиляции, а именно:
/usr/include/c++/4.9/bits/stl_iterator.h:164:9: error: invalid initialization of non-const reference of type 'std::reverse_iterator<my_iterator>::reference {aka int&}' from an rvalue of type 'int'
Полный контекст:
In file included from /usr/include/c++/4.9/bits/stl_algobase.h:67:0,
from /usr/include/c++/4.9/bits/char_traits.h:39,
from /usr/include/c++/4.9/ios:40,
from /usr/include/c++/4.9/ostream:38,
from /usr/include/c++/4.9/iostream:39,
from prog.cpp:1:
/usr/include/c++/4.9/bits/stl_iterator.h: In instantiation of 'std::reverse_iterator<_Iterator>::reference std::reverse_iterator<_Iterator>::operator*() const [with _Iterator = my_iterator; std::reverse_iterator<_Iterator>::reference = int&]':
/usr/include/c++/4.9/bits/stl_algo.h:3755:6: required from '_Funct std::for_each(_IIter, _IIter, _Funct) [with _IIter = std::reverse_iterator<my_iterator>; _Funct = main()::<lambda(int)>]'
prog.cpp:30:86: required from here
/usr/include/c++/4.9/bits/stl_iterator.h:164:9: error: invalid initialization of non-const reference of type 'std::reverse_iterator<my_iterator>::reference {aka int&}' from an rvalue of type 'int'
return *--__tmp;
^
Success time: 0 mem
На страницах cppreference о reverse_iterator и for_each говорится, что оба нуждаются в BidirectionalIterator и InputIterator соответственно. Я думаю, что оба требования выполнены, однако stl по-прежнему присваивает ссылке разыменованное значение.
Почему stl for_each / reverse_iterator ожидает оператора T & * () на итераторе, который не должен быть OutputIterator?
PS: Прокомментированная строка может решить проблему, заявив, что ссылки должны храниться по значению, конечно, очень хакерски.
my_iterator
не удовлетворяет требованиям итератора, одним из которых является то, чтоoperator*
возвращает ссылку. - person Igor Tandetnik   schedule 20.02.2015