общий класс специализации для шаблона

Question

позволяет сказать, у меня есть шаблонный класс

template <typename T> 
struct Widget 
{ 
    //generalized implementation 
} 

, но я хотел бы полностью специализироваться .. для шаблона, который принял параметр?

template <> 
struct Widget< TemplateThatAcceptsParameter<N> > 
{ 
     //implementation for Widget for TemplateThatAcceptsParameterN 
     //which takes parameter N 
} 

Как один идти об этом?

Answer 1

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

template <typename T> 
struct Widget 
{ 
    //generalized implementation 
}; 

template <typename N> 
struct Widget< TemplateThatAcceptsParameter<N> > 
{ 
    //implementation for Widget for TemplateThatAcceptsParameterN 
    //which takes parameter N 
}; 

Он работает так же, как обычные специализации, но имеет дополнительный аргумент шаблона.

Answer 2

template < typename N > 
struct Widget< template_thing<N> > 
{ 
    ... 
};