Явная специализация шаблона функции для полностью специализированного шаблона класса

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 

Здесь я m пытается специализировать 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>(); 
}