为什么显式专业化和部分专业化之间的语法存在差异？

Question

示例：

template <typename T, typename U>
struct A {
    void Print() {}
};

template <>
void A<int, float>::Print() {} // Okay                   

template <typename T>
void A<T, char>::Print() {} // Will produce error

问题：

我知道您必须在上面的代码中定义类模板部分特化才能使其工作，并且我还从标准中知道 类模板部分特化的成员与主模板 (§ 14.5.5.3)。但是，为什么显式特化和部分特化之间的语法存在差异？

Answer 1

您不能部分地专门化函数模板，而只能完全地专门化。

第一个实例利用了类模板的成员函数本身就是函数模板这一事实，因此限制适用于它们。

当您部分特化类模板时，您将拥有一个全新的类模板，您必须重新定义它。

Answer 2

template <typename T>
void A<T, char>::Print() {} // Will produce error

您正在：

1. 重新定义一个函数（在声明 void Print() {} 时它已经被定义，您会看到有 {}.
2. 以及一个模板参数列表与声明不匹配： templatevoid Print()

事实上，即使在声明函数时没有定义该函数，仍然会出现错误；你的声明和定义不匹配，编译器不会能够找到原始模板的定义或专用模板的声明与

结构相关的函数的专用模板函数也必须具有专用结构，此代码有效：

template <typename T, typename U>
struct A {
    void Print() {}
};

template <>
void A<int, float>::Print() {} // Okay                   


template <typename T>
struct A<T,char>
{
    void Print();
};

template <typename T>
void A<T,char>::Print() {}

因为模板函数已在中声明。它是模板结构。