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

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> >
{
  ...
};