4

我正在大学学习 OOP 课程（C++ 是基础语言）。我的任务是实现自己的链表模板容器类。我几乎完全做到了，但遇到了问题。众所周知，STL 提供iterator和const_iterator类用于通过列表进行迭代。它们的实现几乎相同，主要区别在于迭代器的方法返回引用，而 const_iterator 的方法——常量引用。我遵循https://stackoverflow.com/a/3582733/2108548并创建了单独的模板类ListIterator。然后我用typedefclassesIterator和ConstIteratorclass声明List。

我得到了这样的东西：

template<typename T>
class ListNode
{
public:
    ListNode(T *node_value = nullptr, ListNode *node_prev = nullptr, ListNode *node_next = nullptr):
        value(node_value), prev(node_prev), next(node_next) { }

    T *value;
    ListNode *prev, *next;
};

template<typename T>
class ListIterator
{
    typedef ListNode<T> Node;

public:
    ListIterator();
    ListIterator(Node *node);
    ListIterator(ListIterator const &other);
    ListIterator &operator++();
// ...
    Node *i;
};

template<typename T>
class List: public Container
{
    typedef ListIterator<T> Iterator;
    typedef ListIterator<T const> ConstIterator;
// ...
    Iterator begin() const
    {
        return Iterator(m_first->next);
    }
    ConstIterator const_begin() const
    {
        return ConstIterator(begin());
    }
// ...
};

在我决定制作 "copy-constructor" Iterator->之前，一切都很好ConstIterator。所以我需要构造函数方法来获取ListIterator<T>（T数据类名称在哪里）并创建新的对象类型ListIterator<T const>。但实际上ConstIterator的构造函数是T const作为模板参数获取的，所以我需要删除const构造函数的参数。我找到了执行此操作的标题type_traits。所以我写了“复制构造函数”： typedef typename std::remove_cv::type NoConstT; ListIterator(ListIterator const &other);

但它不起作用！请求 const_begin() 后出现此错误：

List<int> list1;
list1 << 1 << 2 << 3;
int i = *list1.const_begin(); 

error: 'ListIterator<T>::ListIterator(const ListIterator<typename std::remove_cv<_Tp>::type>&) [with T = int; typename std::remove_cv<_Tp>::type = int]' cannot be overloaded with 'ListIterator<T>::ListIterator(const ListIterator<T>&) [with T = int; ListIterator<T> = ListIterator<int>]'

但这还不是全部。为了实现我的目标，我也必须转换ListNode<T>为ListNode<T const>。但是我还有一个问题：每个列表节点都包含指向前一个和下一个节点的指针，如果我尝试在节点的构造函数中初始化它们，我将得到递归。当然，我可以创建函数来处理通过迭代将所有ListNode<T>节点转换为。ListNode<T const>但我不喜欢这个解决方案：它有巨大的开销！

我问了我的老师这个问题。他愣了几分钟没看懂，等他明白了才说：“初级！” ——“但我坚持了 3-4 个小时！” — “如果是这样，请丢弃 const 迭代器并在没有它们的情况下完成列表容器。我需要时间来理解您的代码”（正如您所见，我的代码在我看来非常简单）。据我了解，他不知道这个问题的答案。但我真的很想知道怎么做！我怎么解决这个问题？

抱歉有很多错误——我不是以英语为母语的人。

4

1 回答 1

3

您确实可以使用<type_traits>，只是不像您描述的那样。一种方法是始终从相同类型声明构造函数，并enable_if仅在模板参数确实不是常量时有条件地从非常量声明一个构造函数。并且 node 应该总是非常量，你可以用remove_const.

#include <type_traits>

template<typename T>
class ListNode
{
   //...   
};

template<typename T>
class ListIterator
{
    typedef ListNode<typename std::remove_const<T>::type> Node;

public:
    ListIterator() {}
    ListIterator(Node*) {}
    ListIterator(ListIterator const&) {}
    template <typename U>
    ListIterator(ListIterator<U> const&, typename std::enable_if<!std::is_const<U>()>::type* = nullptr) {}
};

template<typename T>
class List
{
public:
    typedef ListIterator<T> Iterator;
    typedef ListIterator<T const> ConstIterator;
// ...
    Iterator begin()
    {
        return Iterator(/*...*/);
    }
    ConstIterator const_begin() const
    {
        return ConstIterator(/*...*/);
    }
// ...
};

int main() {
    List<int> list;
    List<int>::ConstIterator ci = list.const_begin(); 
    List<int>::Iterator i = list.begin(); 
    ci = i; // works fine as expected
    i = ci; // fails as expected
    i = i;  // works fine as expected
    ci = ci;  // works fine as expected
    return 0;
}
于 2013-04-04T17:03:47.780 回答