stl 迭代器的语法是如何实现的？

Question

我一直在业余时间编写一个库，以让自己更熟悉 C++ 和奇异值分解。我一直在致力于编写一个 Iterator 类，并且我完全有能力编写该功能，并且我已经为我自己的当前 MatrixIterator 类编写了功能。我猜测它涉及命名空间，因为：

vector<int>::iterator

似乎是命名空间向量的迭代器，但命名空间是我不熟悉的另一个主题。

我主要是问实现一个迭代器会涉及什么，以便可以以与 stl 迭代器类似的方式引用它。我也知道我可以使用 boost.iterators 或类似的东西来节省自己的大量工作，但我更感兴趣的是学习此类内容的所有细节。

Answer 1

通常它是容器内的嵌套类或通过 :: 访问的 typedef。

网络上有大量带有迭代器的类示例（我不建议研究 STL 实现，因为如果您第一次查看它，很难理解）。

您可以查看 STX Btree 实现来查看精心设计的迭代器示例。< /em>

Answer 2

vector 是一个 class 而不是 namespace （重要区别），其定义如下：

template<typename T>
class vector{
    public:
        typedef some_type iterator;
    ...
};

where some_type< /code> 也很可能是向量的友元，甚至是成员类

Answer 3

:: 运算符不仅可以访问名称空间，还可以访问名称空间。它还访问类的类型定义、静态成员、枚举等。

#include <iostream>

template <typename T>
class Foo
{
    public:
        static void write(T t)
        {
            std::cout << t << std::endl;
        }

        typedef T thing;
};

int main()
{
    Foo<int>::thing my_thing = 42;
    Foo<int>::write(my_thing);
}

Answer 4

不，这与命名空间无关。它只是类中的 typedef：

template <typename T>
class container
{
public:
    typedef ... iterator;
};

一旦有了迭代器类，就需要实现几个运算符。对于前向迭代器，这将是：

operator*();
operator++();
operator==(const TYPE &other);

如果您想要一个可以完全参与 STL 其余部分的迭代器，那么您还需要做其他事情，例如为其指定一个类别。