Полиморфизм и итерация по пользовательских контейнерах. Начнем?

Question

[Karponter]

Имеется пользовательский контейнер по принципу linked list. Связанные между собой узлы.
Стоит задача: подключить к нему итератор.
Класс итератора структуры я наследую от двунаправленного итератора по узлам.
Идея моя в том, чтобы переопределить операторы * и -> таким образом, чтобы они возвращали не конкретный итерируемый узел дерева, а данные, которые хранятся в узле. Иными словами - завуалировать использование структуры узлов и полностью скрыть их от внешнего использования.
Ясное дело, попросту переопределить оператор мне не разрешают, в виду конфликта типов.

template class MyIterator : std::iterator <std::bidirectional_iterator_tag, MyQueueNode<T>> {};

MyIterator подтягивает из std::iterator определенные в нем операторы (* и ->), которые возвращают тип MyQueueNode (что логично, ведь для отслеживания связей между узлами нужно итерироватся по самих узлах а не по данных, которые в них хранятся). Мне же нужно написать для MyIterator операторы (* и ->), которые будут возвращать тип T, на что компилятор говорит "прости, бро, конфликт возвращаемых типов".

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

Comments

[Станислав Макаров]

> Класс итератора структуры я наследую от двунаправленного итератора по узлам.
О каком классе идет речь и что вы планируете поиметь с этого наследования?

[Karponter]

Станислав Макаров: создаю класс MyIterator в котором и определяю поведение операторов для моей структуры. Наследуюсь от STL итератора с тегом bidirectional_iterator_tag и типом узла.

[Станислав Макаров]

Karponter если вы про std::iterator en.cppreference.com/w/cpp/iterator/iterator , то тогда я не понимаю, о каких унаследованных операторах идет речь (там только вложенные типы определяются), и о каком конфликте типов.

[Karponter]

Станислав Макаров: upd, а то комментарии урезает.

Answer 1

[MiiNiPaa]

1) Унаследовались от std::iterator вы неверно. Второй параметр это тип который должен получится после разыменования. Если оператор * возвращает Т, то ставьте Т параметром.

2)

MyIterator подтягивает из std::iterator определенные в нем операторы (* и ->),

Какие определённые операторы? std::iterator определяет несколько алиасов типов, вот и всё.

Вам нужно:
а) Хранить в итераторе указатель на ноду.
б) Операторы ++ и -- переводят указатель на следующую/предыдущую ноду
в) Операторы * и -> обращаются к данным в текущей ноде.

Как-то так:

template <typename T>
struct Node
{
    T data;
    Node* next;
    Node* prev;
};

template <typename T>
class list_iterator : public std::iterator<std::bidirectional_iterator_tag, T> 
{
    private:
    
    Node<T>* current;
    
    public:
    
    list_iterator& operator++()
    {
        current = current->next;
        return *this;
    }
    
    T& operator*()
    {
        return current->data;   
    }
};

Comments

[Karponter]

>> Хранить в итераторе указатель на ноду.
Вот она, истина. Спасибо! ^_^

[Станислав Макаров]

Karponter начали с конфликта типов и каких-то несуществующих унаследованных операторов, закончили на том, что нужно хранить указатель на ноду :D. Ну вы и задаете вопросы))