Question

据我所知，迭代器是一种为客户端提供接口的机制，用于观察/迭代/传递自定义集合的内容，而不会破坏信息隐藏原则。 STL容器具有自己的迭代器，因此我们可以在它们上使用for ( : )和for_each循环而没有任何问题。

我的问题最初是：为什么要继承std::iterator？与以下示例相比，它提供了哪些附加功能：

SimpleArray.h

class SimpleArray
{
    int *arr;
    int n;
public:
    explicit SimpleArray(int = 1);
    ~SimpleArray();

    friend ostream& operator<<(ostream&, const SimpleArray&);
    friend istream& operator>>(istream&, SimpleArray&);

    // encapsulated "iterator"
    class Observer
    {
        int *p;
    public:
        Observer(int *value = nullptr) : p(value) {}
        Observer& operator++() { p++; return *this; }
        Observer operator++(int) { int *temp = p; p++; return Observer(temp); }
        bool operator==(Observer other) const { return p == other.p; }
        bool operator!=(Observer other) const { return p != other.p; }
        int& operator*() const { return *p; }
    };

    Observer begin() { return Observer(arr); }
    Observer end() { return Observer(arr + n - 1); }
};

Source.cpp

int main()
{
    SimpleArray array(5);
    cin >> array;

    for (int item : array)
    {
        cout << item << " ";
    }

    cin.ignore();
    cin.get();
}

输入

1 2 3 4 5

begin()和end()函数是公共的，Observer封装了循环运行所需的所有操作符。编译的代码。

输出

1 2 3 4 5

尝试使用std::for_each

后

std::for_each(array.begin(), array.end(), [](int item) { cout << item << " "; });

我遇到了一些编译器错误：

C2062: type 'unknown-type' unexpected   Observer
C2938: '_Iter_cat_t<SimpleArray::Observer>' : Failed to specialize alias template
C2794: 'iterator_category': is not a member of any direct or indirect base class of 'std::iterator_traits<_InIt>'

在阅读了for_each之后，我发现它的类型参数必须满足一些要求，简而言之 - 就是迭代器。

我现在的问题是：为什么这个功能（以及其他许多其他功能）以强制执行此标准的方式设计，如果创建提供迭代功能的常规类相当容易？

Answer 1

std::iterator提供的唯一内容是成员类型iterator_category，value_type，difference_type，pointer和reference，它们是定义的从您提供的模板参数。它没有任何其他成员。您可以自己定义这些成员类型。

真正的答案是，你根本不需要继承std::iterator而且它并没有给你任何真正的优势。就C ++而言，如果它看起来像迭代器，那么它就是一个迭代器。您只需要确保您的迭代器类型遵循此处概述的概念：https://en.cppreference.com/w/cpp/named_req/Iterator

std::iterator在C ++ 17中被弃用，因为它的相对无用。

为什么（必须）从std :: iterator继承？

1 个答案: