带有模板参数的模板特化

Question

我最近开始学习 c++。而且我有时会与模板专业化混淆。有人能告诉我为什么以下 No(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) 处的模板特化没有隐式模板参数，因为类型名 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);
                          ^

恐怕我在问一个愚蠢的问题，但我真的很想知道错误的原因。我想知道 1 号和 3 号的类型名 T 是否相同。请告诉我他们。非常感谢。

Answer 1

(2)是写特化的方式。

(1) 和(3) 中的T 并不完全一样，你可以写（非专业化）：

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

而在 (1) 中是 T

或部分专业

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

这里 (1) 中的 T1 将是 std::vector<T3>。

Answer 2

代替

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

使用

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

我不确定使用 int 是故意还是疏忽。