Базовый класс «определение типов» в шаблонах ⇐ C++

[Anonymous]

При выполнении простого метапрограммирования я столкнулся со следующей досадной синтаксической проблемой.
Мне нужно получить некоторый шаблонный класс из другого шаблонного класса с довольно нетривиальным и длинным списком шаблонов. параметры. Мне также приходится обращаться к внутреннему типу, который был определен в базовом классе изнутри определения производного класса.
В дистиллированной форме это выглядит примерно так:

Код: Выделить всё

template
class A : public B
{
typedef B::SomeType MyType;
};

Определение длинного базового класса (

Код: Выделить всё

B

) вводится более одного раза. Обычно я набираю такой класс и использую его простой псевдоним «typedef-ed». Однако в случае наследования перед оператором наследования это делать негде, и его необходимо использовать хотя бы один раз в полной форме, что в некоторой степени противоречит цели typedef.
Есть ли какой-нибудь синтаксический трюк, который позволит мне определить базовый класс только один раз? Я думаю, что параметр шаблона по умолчанию не будет работать для пакета шаблонов и для спецификаций шаблонов в целом.

Подробнее здесь: https://stackoverflow.com/questions/793 ... -templates