Обращения к вложенному параметру шаблона

Question

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

template<template<class TParamPayload> class TMsg> 
class ParameterBasedFilter : public IMsgFilter 
{ 
public: 
    typedef TMsg<TParamPayload> ExpectedMessage; 
    typedef TParamPayload::otherType SomeOtherType; 
}; 

А вот использование (я хочу передать только один аргумент шаблона, без запятой)

ParameterBasedFilter<SomeMessage<SomePayload>> filter; 

Существует ошибка в ParameterBasedFilter:

error: 'TParamPayload' was not declared in this scope 
typedef TMsg<TParamPayload> ExpectedMessage; 
      ^

Возможно ли вообще получить тип вложенного шаблона? Я знаю, что ниже код будет работать

template<class TParamPayload, template<class> class TMsg> 
class ParameterBasedFilter : public IMsgFilter 
{ 
public: 
    typedef TMsg<TParamPayload> ExpectedMessage; 
    typedef TParamPayload::otherType SomeOtherType; 
}; 

, но тогда я должен пройти 2-х типов для аргументов шаблона:

ParameterBasedFilter<SomePayload, SomeMessage<SomePayload>> filter; 

и это выглядит странно, потому что SomePayload используется дважды.

Answer 1

Возможно, вы ищете частичную специализацию? Это позволило бы оригинальный синтаксис, упомянутый в вашем вопросе:

template <typename> class ParameterBasedFilter; 

template <template<class> class TMsg, typename TParamPayload> 
class ParameterBasedFilter<TMsg<TParamPayload>> : public IMsgFilter 
{ 
public: 
    typedef TMsg<TParamPayload> ExpectedMessage; 
    typedef TParamPayload::otherType SomeOtherType; 
}; 

Способ применения прост:

ParameterBasedFilter<SomeMessage<SomePayload>> filter; 

Answer 2

Нет, вы не можете. Однако вы будете должны пройти

ParameterBasedFilter<SomePayload, SomeMessage> filter; 

SomePayload не будет использоваться дважды. Кроме того, вы должны использовать typename, когда доступ к otherType

typedef typename TParamPayload::otherType SomeOtherType;