Контейнеры C++98 определяют два типа итераторов: ::iterators и ::const_iterators. В общем, вот так:
struct vec{
iterator begin() ;
const_iterator begin() const;
};
В С++ 11 эта часть дизайна кажется неизменной. Вопрос в том, для согласованности и практических целей имеет ли смысл добавить также ::move_iterators? или это излишество.
Я могу представить, что элементы контейнера rvalue могут быть перемещены, если это возможно.
class vec{
iterator begin() &;
const_iterator begin() const&;
move_iterator begin() &&;
};
Если я правильно понимаю, в простых случаях это можно реализовать так:
auto vec::begin() &&{return std::make_move_iterator(this->begin());}
Конечно, обычный итератор можно преобразовать в итератор перемещения (с помощью std::make_move_iterator), однако для этого используется общий код.
Например, с итератором перемещения это было бы очень элегантно реализовано без условий, зависящих от того, является ли аргумент lvalue или rvalue.
template<class Container, class T = Container::value_type>
void transport_first(Container&& c, std::vector<T>& v){
v.emplace_back(*std::forward<Container>(c).begin());
}
Обратите внимание, что этот код не будет иметь ненужных копий, если это возможно. Как это можно реализовать без move_iterators, сгенерированного begin.
Я также понимаю, что этот вопрос относится практически к любому средству доступа к контейнеру, например, operator[], front() и back().
template<class Value>
class vec{
using value_type = Value;
using reference = Value&;
using const_reference = Value const&;
using rvalue_reference = Value&&; // NEW!
reference front() &{...}
rvalue_reference front() &&{...} // NEW!
const_reference front() const&{...}
};
Возможно, контейнеры должны были быть переработаны с нуля в C++11. Их дизайн показывает свой возраст.
Есть предложение автоматически вывести (decl) тип (*this), в основном имея всю соответствующую перегрузку begin (и других функций-членов) бесплатно.
