Блог

В следующем шаблоне класса мы можем специализировать элемент Foo::Bar() для определенного типа, скажем T = int :

 template <typename T>
class Foo
{
public:
    void Bar()
    {
       std::cout << "generic Bar()" << std::endl;
    }
};

template<>
void Foo<int>::Bar()
{
    std::cout << "specialized Bar()" << std::endl;
}

int main()
{
    Foo<char> generic_foo;
    Foo<int> specialized_foo;

    generic_foo.Bar();
    specialized_foo.Bar();

    return 0;
}
  

Как мы можем сделать то же самое, если класс Foo имеет несколько параметров шаблона:

 template <typename T, int N>
class Foo
{
public:
    void Bar()
    {
       std::cout << "generic Bar()" << std::endl;
    }
};

// How can we specialize Foo::Bar() for T = int?

int main()
{
    Foo<char, 0> generic_foo;
    Foo<int, 0> specialized_foo;

    generic_foo.Bar();
    specialized_foo.Bar();

    return 0;
}
  

Я попробовал несколько альтернатив специализации Foo::Bar() для T = int , в том числе:

 template<int N>
void Foo<int, N>::Bar()
{
    std::cout << "specialized Bar()" << std::endl;
}
  

но компилятор отказался от них всех.

Нет частичной специализации функций шаблона. Вы должны специализироваться class .

 template<int N>
class Foo<int, N>
{
public:
   void Bar()
   {
      std::cout << "specialized Bar()" << std::endl;
   }
};