Итерационное равенство

Question

Я создаю контейнерный класс, который реализует двойной связанный список.

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(); 
} 

для каждого типа я хочу использовать его для, который является раздражающим по очевидным причинам. Как мне обойти это?

Answer 1

Сделать членом iterator класса:

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

Answer 2

Вы не можете. Компилятор не может знать, что некоторые T являются вложенными типами некоторых других U. Рассмотрим

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

Вы должны принять тип итератора непосредственно в качестве параметра шаблона, или определить его в качестве члена класса итератора, или определить внешний dl_list класса итератора и просто сделать ЬурейеЕ для него внутри dl_list.

Answer 3

Самый простой чистый способ определить оператор внутри класса итератора:

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

(бит кода запах здесь - я d ожидали get_node(), чтобы иметь версию const, позволяющую operator== принимать параметры по const справка ...)