итераторов удовлетворение

Question

Рассмотрим следующий класс:

template <class T> 
struct X { 
    T& operator*() & { return t; } 
    T& operator*() && = delete; 
    X& operator++() { return *this; } 
    T t; 
}; 

Удовлетворяет ли этот класс требованиям концепции итератор стандарта C++? Объект данного класса является инкрементным и разыменованным. Но разыменование объекта rvalue запрещено.

int main() { 
    X<int> x; 
    *x; // ok 
    *X<int>(); // fail. But is it really necessary for Iterator by Standard? 
} 

Answer 1

При строгом чтении стандарта; [iterator.iterators]/2 (§24.2.2/2) делает намек на тип X квалификационный как итератор;

... a и b обозначают значения типа X или const X

... r обозначает значение X& ...

A Тип X удовлетворяет требованиям итератора, если:

• X удовлетворяет требованиям CopyConstructible, CopyAssignable, a nd Destructible требования ([utility.arg.requirements]) и lvalues ​​типа X являются заменяемыми ([swappable.requirements]), и

• выражения в таблице (ниже) действительны и имеют указанную семантику.

  • *r (r является разыменовываемым)
  • ++r (возвращает X&)

Учитывая код;

template <class T> 
struct X { 
    T& operator*() & { return t; } 
    T& operator*() && = delete; 
    X& operator++() { return *this; } 
    T t; 
}; 
int main() 
{ 
    X<int> x; 
    ++x; 
    int i = *x; 
    X<int> y(x); 
    using std::swap; 
    std::swap(x, y); 
} 

Конечно, похоже, удовлетворяет этим требованиям.

Тем не менее, история продолжается, итератора Концепция, как определено выше, не указан в качестве одного из итератора категорий в стандартном §24.2.1/2;

Настоящий стандарт определяет пять категорий итераторов, в соответствии с операциями, определенными на них: итераторы ввода, вывода итераторы, форвардные итераторов, двунаправленные итераторы и случайные итераторы доступа ...

Все они определяют операция *a and *r++, для которой тип X не скомпилирован;

int j = *x++; // fails to compile even with the inclusion of the post increment operator 
const X<int> xc {}; 
int ic = *x1; // no const overloads 

Для итератора, который будет использоваться в пределах одной из определенных категорий, она должна включать в себя дополнительные элементы для де ссылок const ценности, lvalues ​​и rvalues, почтовое приращение и т.д. В spirit of the standard;

Итераторы - это обобщение указателей, которые позволяют программе на С ++ работать с различными структурами данных (контейнерами) единообразно.

Руководство здесь для перегруженных членов и операторов является то, что они могут/должны быть добавлены для обеспечения соблюдения и оптимизации (если это возможно) реализацию семантики обобщенной указателю - не запретить семантику; ограничение семантики может иметь непреднамеренные последствия.

Answer 2

Ну, стандарт ничего не знаю о rvalue ссылочных итераторах не говорит. И даже не распознал итераторы, чьи члены перегружены их ссылочными типами. Но ваш код кажется приемлемым будет iterator *, потому что в определении требований к итератору ...

Цитируя раздел 24.2.2 последнего C++14 standard draft, (курсив мой)

24.2.2.2: тип X удовлетворяет требованиям Iterator, если:

- X удовлетворяет CopyConstructible, CopyAssignable и разрушаемых требования (17.6.3.1) и lvalues ​​ типа X является заменой (17.6.3.2), и

- выражения в таблице 106 являются действительными и имеют указанную семантику.

• * г: г разыменовываемое

• ++ г: г incrementable

Кроме этого, нет никаких дополнительных ограничений на итератора.

---

* Из причины, предполагая, что полученному в результате X<typename ...> удовлетворяет первое условие перечисленного