如何解决Forward Iterator - Const 版本问题
我似乎无法解决此问题。我已经实现了一个模板化的前向迭代器,我还想在我的 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
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。