Підготовка до std :: iterator Не підтримується

З 21 березня ^ст на стандартах комітет проголосував затвердити Deprecation з std::iteratorзапропонованих в P0174 :

Довга послідовність недійсних аргументів набагато менш зрозуміла для читача, ніж просто надання очікуваних typedefs у самому визначенні класу, що є підходом поточного робочого проекту, дотримуючись шаблону, встановленого вc ++ 14

Раніше c ++ 17спадщину від std::iteratorзаохочувалося видалити теді з ітератора зразка реалізації. Але для припинення існування потрібно одне з таких речей:

1. Тепер шаблон ітератора повинен включати всі необхідні typedefs
2. Тепер потрібно використовувати алгоритми, що працюють з ітераторами auto а не залежати від ітератора для оголошення типів
3. Локі Астарі припустив, що std::iterator_traitsможе бути оновлений до роботи без успадкування відstd::iterator

Чи може хтось пояснити мені, на який із цих варіантів мені слід розраховувати, оскільки я розробляю власні ітератори, орієнтуючись на c ++ 17 сумісність?

Обговорювані альтернативи зрозумілі, але я вважаю, що потрібен приклад коду.

З огляду на те, що не буде мови, що замінює мову, і не покладаючись на boost або на власну версію базового класу ітератора, наступний код, який std::iteratorбуде використано, буде закріплений за кодом нижче.

С std::iterator

template<long FROM, long TO>
class Range {
public:
    // member typedefs provided through inheriting from std::iterator
    class iterator: public std::iterator<
                        std::forward_iterator_tag, // iterator_category
                        long,                      // value_type
                        long,                      // difference_type
                        const long*,               // pointer
                        const long&                // reference
                                      >{
        long num = FROM;
    public:
        iterator(long _num = 0) : num(_num) {}
        iterator& operator++() {num = TO >= FROM ? num + 1: num - 1; return *this;}
        iterator operator++(int) {iterator retval = *this; ++(*this); return retval;}
        bool operator==(iterator other) const {return num == other.num;}
        bool operator!=(iterator other) const {return !(*this == other);}
        long operator*() {return num;}
    };
    iterator begin() {return FROM;}
    iterator end() {return TO >= FROM? TO+1 : TO-1;}
};

(Код з http://en.cppreference.com/w/cpp/iterator/iterator з оригінального дозволу автора).

Без std::iterator

template<long FROM, long TO>
class Range {
public:
    class iterator {
        long num = FROM;
    public:
        iterator(long _num = 0) : num(_num) {}
        iterator& operator++() {num = TO >= FROM ? num + 1: num - 1; return *this;}
        iterator operator++(int) {iterator retval = *this; ++(*this); return retval;}
        bool operator==(iterator other) const {return num == other.num;}
        bool operator!=(iterator other) const {return !(*this == other);}
        long operator*() {return num;}
        // iterator traits
        using difference_type = long;
        using value_type = long;
        using pointer = const long*;
        using reference = const long&;
        using iterator_category = std::forward_iterator_tag;
    };
    iterator begin() {return FROM;}
    iterator end() {return TO >= FROM? TO+1 : TO-1;}
};

Варіант 3 - це суворо більш набрана версія Варіанту 1, оскільки вам доведеться писати все те саме, typedefsале додатково обгортання iterator_traits<X>.

Варіант 2 є нежиттєздатним рішенням. Ви можете вивести деякі типи (наприклад reference, просто decltype(*it)), але не можете вивести iterator_category. Ви не можете розрізнити input_iterator_tagі forward_iterator_tagпросто за наявністю операцій, оскільки ви не можете рефлексивно перевірити, чи відповідає ітератор гарантії багатопрохідності. Крім того, ви не можете по-справжньому розрізнити їх, і output_iterator_tagякщо ітератор видає змінне посилання. Їх потрібно буде десь прямо вказати.

Це залишає Варіант 1. Здогадуємось, нам слід просто звикнути писати весь шаблон. По-перше, я вітаю наших нових володарів зап’ястного тунелю.