[C++] Использование типа из класса потомка, Рекурсивные шаблоны Опции

[smalcom]

Хотел использовать следующую конструкцию(вариант 1)

Код

template<typename TDerived>
class CBase
{
public:

    typename TDerived::DesiredType foo()
    {
    }
};

template<typename TDesiredType>
class CDerived : public CBase<CDerived<TDesiredType> >
{
public:

    typedef TDesiredType DesiredType;
};

CDerived<uint8_t> derived;

Основное желание - использовать в CBase тип из CDerived, переданный параметром шаблона - TDesiredType
Но компилятор не разделил мои желания и сказал:

error: no type named 'DesiredType' in 'class Driver::CDerived<unsigned char>'

Переделал под более простой вариант 2. Но пропала элегантность:

Код

template<typename TDerived, typename TDesiredType>
class CBase
{
public:

    TDesiredType foo()
    {
    }
};

template<typename TDesiredType>
class CDerived : public CBase<CDerived<TDesiredType>, TDesiredType>
{
};

CDerived<uint8_t> derived;

Есть ли способ использовать вариант 1?

[smalcom]

Вобщем, так как я хотел не получится. Так как надо указывать TDerived вместе с параметрами, тогда тип будет виден.Но в данном случае это глупо, используется при других способах проектирования.
Всё это блуждание побудило меня пересмотреть моё видение дерева классов, сделал немного по-другому.

[CrimsonPig]

Вобщем, так как я хотел не получится. Так как надо указывать TDerived вместе с параметрами, тогда тип будет виден.Но в данном случае это глупо, используется при других способах проектирования.
Всё это блуждание побудило меня пересмотреть моё видение дерева классов, сделал немного по-другому.

Борьба с парадигмами программирования окончилась победой парадигм
Паттерн да, интересный, но использовать надо с оглядкой..