шаблон специализации с параметром шаблона

Question

Недавно я начал изучать C++. И я иногда путаюсь с типовой специализацией. Может ли кто-нибудь сказать мне причину, почему следующая типовая специализация в № (3) является незаконной?

template<typename T> // No (1) 
class ClassA { 
public: 
    ClassA(); 
    virtual ~ClassA(); 

    void func(void); 
}; 

template<> // No (2) 
void ClassA<int>::func(void) {} // Ok legal specialization 

template<typename T> // No (3) 
void ClassA<int>::func(void) {} // error by compiler 

Кажется, специализация шаблона в No (3) не имеет неявного параметра шаблона, потому что typename T является int. Но компилятор дает следующее сообщение об ошибке,

error: prototype for ‘void ClassA<int>::func()’ does not match any in class ‘ClassA<int>’ void ClassA<int>::func(void) { 
         ^

error: candidate is: void ClassA<T>::func() [with T = int] void func(void); 
         ^

Я боюсь, я задаю глупый вопрос, но я действительно хочу знать причину ошибки. И я удивляюсь, что typename Ts у No 1 и No3 такие же или нет. Пожалуйста, скажите мне их. Большое спасибо.

Answer 1

Вместо

template<typename T> 
void ClassA<int>::func(void) {} 

Использование

template<typename T> 
void ClassA<T>::func(void) {} 
     // ^^^ T, not it. 

Я не уверен, было ли использование int нарочно или это упущение.

Answer 2

(2) - способ написать специализацию.

T в (1) и (3) не являются на самом деле то же самое, вы можете написать (для не специализации):

template <typename U> 
void ClassA<U>::func(void) {} 

тогда как это было в (1)

или частичному специализируются T

template <typename T> 
void ClassA<std::vector<T>>::func(void) {} 

где здесь T1 в (1) будет std::vector<T3>.