Как специализировать функции члена шаблона в классе шаблона (уже задано)?

Question

Например:

template<unsigned number> 
struct A 
{ 
    template<class T> 
    static void Fun() 
    {} 
}; 

template<> 
struct A<1> 
{ 
    template<class T> 
    static void Fun() 
    { 
     /* some code here. */ 
    } 
}; 

И специализироваться A < 1> :: Fun()

template<> 
template<> 
void A<1>::Fun<int>() 
{ 
    /* some code here. */ 
} 

не похоже на работу. Как это сделать? Благодарю.

Answer 1

Явная специализация шаблона класса похожа на обычный класс (он полностью инстанцирован, поэтому он не является параметрическим типом). Таким образом, вам не нужно внешнее template<>:

// template<> <== NOT NEEDED: A<1> is just like a regular class 
template<> // <== NEEDED to explicitly specialize member function template Fun() 
void A<1>::Fun<int>() 
{ 
    /* some code here. */ 
} 

Аналогично, если ваша функция член Fun не шаблон функции, но регулярная функция, вам не нужно будет никакого template<> вообще:

template<> 
struct A<1> 
{ 
    void Fun(); 
}; 

void A<1>::Fun() 
{ 
    /* some code here. */ 
}