问题描述
我似乎无法解决此问题。我已经实现了一个模板化的前向迭代器，我还想在我的 ForwardList 类中将它用作 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 类中使用别名的方式：
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()”迭代器，因为找不到该函数。我必须改为传递“list.cbegin()”。
如果有人能帮助了解问题所在，那就太棒了。
解决方法
下面使您的 forward_iterator<const T> 指向 Node<const T>，而 forward_iterator<T> 将指向 Node<T>。无论 Node<T> 是否为 T 本身，两者都应指向 const：
template<typename T>
class forward_iterator {
private:
Node<T>* m_iterator;
我发现将迭代器创建为容器类模板内的类模板更容易，以便原始 T 可用。如果你想在类之外做，你可以在你的迭代器模板中添加一个模板参数：
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 } {}
...
并在容器类模板中：
template<typename Type>
class ForwardList {
public:
...
using iterator = forward_iterator<value_type,value_type>;
using const_iterator = forward_iterator<value_type,const value_type>;
通过将节点和迭代器移动到容器类中。做对了就更容易了。 Demo