迭代器的平等

Iterator equality

本文关键字：迭代器      更新时间：2023-10-16

我正在创建一个实现双链表的容器类。

template <class T>
class dl_list {
public:
    class link {
    public:
        T* data;
        link *prev, *next;
    };
    class iterator {
        link* node;
    public:
        link* get_node() { return node; }
        // ++, --, * operators, etc.
    };
    // other stuff
};

很整洁，我玩得很开心。但我遇到的一个问题是，当我为迭代器类型定义相等操作符时，我必须进行模板特化。

template <class T>
bool operator==(typename dl_list<T>::iterator& lhv, typename dl_list<T>::iterator rhv) {
    return lhv.get_node() == rhv.get_node();
}

不行，我必须这样专门化:

bool operator==(typename dl_list<int>::iterator& lhv, typename dl_list<int>::iterator rhv) {
    return lhv.get_node() == rhv.get_node();
}

表示我想使用它的所有类型，这显然很烦人。我该怎么解决这个问题?

使其成为iterator类的成员:

bool operator==( const interator& other ) const
{
    return node == other.node;
}

你不能。编译器不能知道某个T是另一个U的嵌套类型。考虑

template<> class dl_list<float> {
public:
    typedef dl_list<int>::iterator iterator;
};

必须直接将迭代器类型作为模板形参，或者将其定义为迭代器类的成员，或者在dl_list之外定义迭代器类，并在dl_list中为其定义一个typedef。

最简单的方法是在迭代器类中定义操作符:

class iterator
{
  public:
    ...
    friend bool operator==(iterator& lhs, iterator& rhs)
    {
        return lhs.get_node() == rhs.get_node();
    }
};

(这里有点代码味道-我希望get_node()有一个const版本，允许operator==接受const引用的参数…)

相关文章：