前向迭代器 - 常量版本问题

Question

我似乎无法解决这个问题。 我已经实现了一个模板化的前向迭代器，我还想在我的 ForwardList class 中将它用作 const_iterator。 到目前为止我尝试的是使用别名，并插入const作为模板参数，但它似乎不起作用。

这是我的前向迭代器：

    template<typename T>
    class forward_iterator {
    private:
        Node<T>* m_iterator;

    public:
        using value_type = T;
        using reference = T&;
        using pointer = value_type*;
        using iterator_category = std::forward_iterator_tag;
        using difference_type = std::ptrdiff_t;

        constexpr forward_iterator(Node<T>* forw_iter) : m_iterator{ forw_iter } {}

        constexpr Node<T>* getNodeAddress() const noexcept { return m_iterator; }
        constexpr Node<T>* getNodeNextAddress() const noexcept { return m_iterator->next; }
        constexpr reference operator*() const noexcept { return m_iterator->data; }
        constexpr pointer operator->() const noexcept { return m_iterator; }
        constexpr forward_iterator& operator++() noexcept {
            m_iterator = m_iterator->next;
            return *this;
        }
        constexpr forward_iterator operator++(int) noexcept {
            forward_iterator tmp(*this);
            m_iterator = m_iterator->next;
            return tmp;
        }
        constexpr friend bool operator== (const forward_iterator& first, const forward_iterator& second) noexcept { return (first.m_iterator == second.m_iterator); }
        constexpr friend bool operator!=(const forward_iterator& first, const forward_iterator& second) noexcept { return !(first.m_iterator == second.m_iterator); }
    };

这就是我在 ForwardList class 中使用别名的方式：

template<typename Type>
    class ForwardList {
    private:
        Node<Type>* m_head;
        Node<Type>* m_tail;
        std::size_t m_size{};       

    public:
        using value_type = Type;
        using size_type = std::size_t;
        using difference_type = std::ptrdiff_t;
        using reference = value_type&;
        using const_reference = const value_type&;
        using pointer = Type*;
        using const_pointer = const pointer;
        using iterator = forward_iterator<value_type>;
        using const_iterator = forward_iterator<const Type>;

这是节点结构：

    template<typename T>
    struct Node {
        T data;
        Node* next;
        Node() = default;
        constexpr explicit Node(const T& data)
            : data{ data } {}
    };

但是，当我使用 const_iterator 时出现错误。 例如：

constexpr const_iterator cbegin() const noexcept {
            return const_iterator(m_head);
        }

^ 在迭代器函数中，我得到“ Cannot convert from container::Node<Type> *const to container::forward_iterator<const Type> 。

另一个例子：

constexpr iterator emplace_after(const_iterator position, Args...args)

^ 在 emplace_after 中，我无法传入普通的“list.begin()”迭代器，因为找不到 function。 我必须改为通过“list.cbegin()”。

如果有人能帮助理解出了什么问题，那就太好了。

Answer 1

下面使您的forward_iterator<const T>指向Node<const T>而forward_iterator<T>将指向Node<T> 。 无论T本身是否为const ，两者都应指向Node<T> ：

template<typename T>
class forward_iterator {
private:
    Node<T>* m_iterator;

我发现将迭代器创建为容器 class 模板内的 class 模板更容易，以便原始T可用。 如果您想在 class 之外执行此操作，您可以在迭代器模板中添加一个模板参数：

template<typename OrigT, typename T>
class forward_iterator {
private:
    Node<OrigT>* m_iterator;

public:
    constexpr forward_iterator_impl(Node<OrigT>* forw_iter) : m_iterator{ forw_iter } {}
    ...

并在容器 class 模板中：

template<typename Type>
class ForwardList {
public:
    ...
    using iterator = forward_iterator<value_type, value_type>;
    using const_iterator = forward_iterator<value_type, const value_type>;

通过将节点和迭代器都移动到容器 class 中。 做对了就变得更容易了。 演示