完全专业化的类模板的函数模板的显式专业化

Question

我正在尝试在类模板的特化中特化一个函数，但找不到正确的语法：

template< typename T >
struct Foo {};

template<>
struct Foo< int >
{
  template< typename T >
  void fn();
};

template<> template<>
void Foo< int >::fn< char >() {} // error: too many template-parameter-lists

在这里，我尝试将fn 专门用于char，它位于Foo 的内部，专门用于int。但是编译器不喜欢我写的东西。那么正确的语法应该是什么？

Answer 1

您不必说自己专精两次。

你只是在这里专门一个函数模板

template<> void Foo<int>::fn<char>() {}

Live On Coliru

template< typename T >
struct Foo {};

template<>
struct Foo< int >
{
  template< typename T >
  void fn();
};

template<> void Foo<int>::fn<char>() {}

int main() {
    Foo<int> f;
    f.fn<char>();
}