不推荐使用std :: iterator的准备

3月21^日，标准委员会投票通过了弃用P0174中std::iterator提议的建议：

与读者typedef在类定义本身中简单地提供期望的s相比，冗长的void参数序列对读者而言并不十分清楚，这是当前工作草案采用的方法，遵循的c + + 14

之前 C ++ 17std::iterator鼓励从继承继承，以从迭代器样板实现中删除乏味。但是弃用将需要以下其中一项：

1. 迭代器样板现在将需要包含所有必需的typedefs
2. 使用迭代器的算法现在将需要使用auto而不是依赖迭代器来声明类型
3. Loki Astari建议在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但还要进行wrap iterator_traits<X>。

选项2不可行。您可以推断出某些类型（例如reference，只是decltype(*it)），但不能推断出iterator_category。你不能区分之间input_iterator_tag，并forward_iterator_tag通过简单地操作的存在，因为你不能本能如果迭代满足检查多遍的保证。此外，您无法真正区分这些内容以及output_iterator_tag迭代器是否产生可变引用。必须在某处显式提供它们。

剩下的就是选项1。猜猜我们应该习惯于编写所有样板文件。首先，我欢迎我们新的腕管霸王。