模板的總類專門化

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