Допустим, есть шаблонный класс обобщенной полилинии:
| Код |
template <class _Tp, template<class,class> class _Cont = std::vector, class _Alloc = std::allocator<_Tp> >
class poly_base: public _Cont <_Tp, _Alloc>
{
...
};
|
Здесь _Tp - тип вершины, а _Cont - контейнер, в котором вершины хранятся, по умолчанию - вектор.
Дальше, объявляем специальный контейнер:
| Код |
template <class _Vert, class _Alloc = std::allocator<_Vert> >
class CVcdPolyRef
{
...
};
|
и объявляем специализированный шаблон полилинии с этим контейнером:
| Код |
template <class _Vert>
class CVcdPolyBase: public poly_base <_Vert, CVcdPolyRef>
{
};
|
Пока все хорошо. Траблы начинаются, когда (внутри объявления класса) я пытаюся написать
typedef poly_base <_Vert, CVcdPolyRef> base_class;
На эту строку компилятор ругается так:
error C3200: 'CVcdPolyRef<_Vert,_Alloc>' : invalid template argument for template parameter '_Cont', expected a class template
Можно подумать, я ему не template подсовываю...
В 2003 это все нормально компилируется и работает...
Вопрос, как обойти. base_class нужен для 2 вещей: во-первых, объявить в классе производные типы (там их море). Но здесь я выкрутилась.
А вот как вызвать конструктор базового класса из конструктора шаблона CVcdPolyBase (если мне нужен конструктор с параметром)?
Прямая подстановка вместо base_class - poly_base <_Vert, CVcdPolyRef> - не катит - та же ошибка C3200.
Понятно, что base_class, который я пытаюсь объявить, не совсем тип, а все-таки шаблон. В 2008 ужесточили синтаксис, подогнав ближе к стандарту, тоже понятно. Но что делать-то в данной ситуации? Есть идеи?
Т.е. я, конечно, выкрутилась, но очень через ж... Хотелось бы понять, как правильно. |
