Developing.ru

Ах, не смейтесь, конечно логично! Прям стыдно, что так просто разрешаются мои проблемки. :) Обещаю впредь больше думать, прежде чем спрашивать. Но вы тут так все всё знаете, соблазн велик, когда что-то не получается.

Логично :)

template <class Der>
class Base{
};

template <class C>
class Derived: public Base< Derived<C> >{
};

Спасибо, нашёл подсказку в atlvcl.h
Правильно вот так:
[code]template <class Der>
class Base{
};

template <class C>
class Derived: public Base< Derived<C> >{
};[/code]

В шаблонах ATL такие конструкции повсеместно используются.

template <class Der>
class Base{
	// объект хранит операции над данными наследников, класс которых передаётся переменной <Der>
};

// описываю один из шаблонов наследников класса Base:

template <class C>                 
class Derived: public Base<Derived>{       
	// ...
};

template <class Der>
class Base{
	// объект хранит операции над данными наследников, класс которых передаётся переменной <Der>
};

// описываю один из наследников класса Base:

class Derived: public Base<Derived>{       
	// ...
};

Вопрос по конструкции типа:

[code]template <class Der>
class Base{
// объект хранит операции над данными наследников, класс которых передаётся переменной <Der>
};

// описываю один из шаблонов наследников класса Base:

template <class C>
class Derived: public Base<Derived>{
// ...
};[/code]
Может, есть у кого-нибудь опыт практического использования таких конструкций?

Дело в том, что у меня это не компилируется, с жалобой "Cannot generate template specialization from Base<Der>"

Вроде бы должна работать, но что не так?

Например, вот так работает:

[code]template <class Der>
class Base{
// объект хранит операции над данными наследников, класс которых передаётся переменной <Der>
};

// описываю один из наследников класса Base:

class Derived: public Base<Derived>{
// ...
};[/code]

Но нужно, чтоб непременно класс-наследник был также шаблоном (поскольку это класс-контейнер элементов неизвестного наперёд типа).