итерация унаследованных объектов

[Mayor]

итерация унаследованных объектов

тренируюсь объединять наследование и шаблоны на примере итератора:

есть итератор в котором содержится ссылка на объект, далее попытался разделить логику связывания объектов и данные объектов в 2х независимых классах

застрял на проблемме перехода к следуеющему объекту через iterator++

если использую в итераторе указатель на объект с данными, то он не может перейти к следующему объекту

если использую в итераторе указатель на объект связывания, то итератор не может выводить данные

как этот круг можно решить?

[Алексей++]

пример проблемы в студию

[Mayor]

Код:

struct slink {
	slink* next;
	slink(slink* p=0):next(p) {}
};

struct lint: public slink {
	int i;
	//bool operator==(const lint& l) { return i==l.i;}
	//bool operator!=(const lint& l) { return i!=l.i;}
};

template<class T> class intrusive_list {
	T *head;
	T *last;
	size_t s;
	public:
	class iterator {
		T* p;
		public:
		iterator(T* pp):p(pp) {}
		iterator& operator++(int ) { 
			p=p->next;
			return *this;
		}
		T& operator*() { return *p; }

проблемма в p=p.next или Т* p

[Алексей++]

твой код неполный (вернее, пару фигурных скобок не хватает) - расставил по наитию, это компилируется. А вопрос я так и не понял ))

Код:

template<class T> class intrusive_list
{
	T *head;
	T *last;
	size_t s;

	public:

	class iterator
	{
		T* p;

		public:
		iterator(T* pp):p(pp)
		{
		}

		iterator& operator++(int )
		{ 
			p=p->next;
			return *this;
		}

		T& operator*()
		{
			return *p;
		}
	};

};

вопрос уточни ?

[Алексей++]

а самое главное - покажи, когда это что то не работает - не в описании шаблона, а в примере использования

[Mayor]

вопрос уточни ?

конструкция вида:
/* derived type */ p = /* base type */ p->next; // не будет компилироваться при первой же интстанциации шаблона

   intrusive_list<lint> l;
   intrusive_list<lint>::iterator b=l.begin();
   b++;

едниственное, что пришло в голову:
p=static_cast<derived*>(p->next);

[Алексей++]

ну только так и можно вроде

p=(derived*)(p->next);

[Mayor]

(derived*) сишный анахронизм или как там его, в с++ вроде его употреблять лишний раз не рекомендуется, тк он приравнен к reinterpret_cast

[Алексей++]

чушь, применяю и буду применяь ) А эти корявки не запоминаются и некрасивые

[Антон (LogRus)]

поддерживаю, в коем-то веке
но про другим причинам сишный синтаксис тяжело искать в коде.