成员函数的模板专业化

Question

我最近发现了C ++中的template specialization 。

template <typename T>
void    fct(void) {}

template <>
void    fct<int>(void) {}

int main(void) {
  fct<int>();
  return 0;
}

我想对类中的成员函数使用模板专门化。

class   MyClass {
  public:
    template <typename T>
    static void fct(void) {}

    template <>
    static void   fct<int>(void) {}
};

int     main(void) {
  MyClass::fct<int>();

  return 0;
}

不幸的是，使用g++编译会给我以下错误：

error: explicit specialization in non-namespace scope ‘struct MyClass’
error: template-id ‘toto<int>’ in declaration of primary template

我已经注意到，进行模板专门化可以在主作用域或名称空间中工作，而不能在结构或类中工作。

我在stackoverflow上找到了一些有关使用命名空间的内容，例如以下代码：

namespace myNameSpace {
  template <typename T>
  void fct(void) {}

  template <>
  void fct<int>(void) {}
}

class   MyClass {
  public:
    template <typename T>
    static void fct(void) {
      myNameSpace::fct<T>();
    }
};

int     main(void) {
  MyClass::fct<int>();

  return 0;
}

我究竟做错了什么？ 是否可以使用成员函数进行模板专业化？ 如果不是，解决此问题的最佳方法是什么？ 有没有比使用名称空间更好的方法呢？

Answer 1

在类定义之后编写专长：

class MyClass
{
public:
    template <typename T>
    static void fct(void) {}
};

template <>
void MyClass::fct<int>() {}