模板类成员函数仅特化

Question

我正在阅读《模板完整指南》，其中内容如下：

它正在谈论类模板专业化。

虽然可以专门化一个成员函数 类模板，一旦你这样做了，你就不能再专门化 专门成员所属的整个类模板实例 到。

我实际上想知道这是怎么回事，因为你可以在没有任何成员函数的情况下专门化。是不是说不能进行仅包含一个成员函数的专业化，然后再进行另一个包含所有成员函数的专业化？

有人可以澄清一下吗？

Answer 1

我认为它指的是以下情况：

template <typename T>
struct base {
   void foo() { std::cout << "generic" << std::endl; }
   void bar() { std::cout << "bar" << std::endl; }
};
template <>
void base<int>::foo() // specialize only one member
{ 
   std::cout << "int" << std::endl; 
}
int main() {
   base<int> i;
   i.foo();         // int
   i.bar();         // bar
}

一旦完成，您就无法将完整模板专门化为任何其他东西，所以

template <>
struct base<int> {};  // error

Answer 2

我认为这意味着你可以：

• 专门化整个类和所有成员（数据和函数，静态与否，虚拟与否）都必须声明和定义，即使它们与非相同。专门化版本，

• 专门化一些函数成员，但是你不能专门化整个类（即所有成员的声明方式与非特化情况相同，您只需提供某些函数成员的实现）。

Answer 3

可以记住显式和隐式实例化以及类似以下的情况。

当一个类被显式实例化时（template class Class_Template;），泛型类的所有成员都将出现在实例化的类中。然而，假设通过提及类主体来描述类专业化。只有在专用类中显式定义的成员（无论是通用类中已经存在的成员还是新成员）才会出现在实例化类中。

假设（泛型类的）成员函数是通过特定范围的类特化来定义的，那么隐式实例化一个特化类，该类将以适当的特化方式具有这些函数以及泛型类中存在的所有其他成员。

在第二种情况下，由于专门化的类已被隐式实例化，因此我们以后无法通过显式实例化或通过提及类主体来定义具有相同专门化的类。为了添加特定于该专业的成员，可能需要执行后者。在这种情况下这是不可能的，因为编译器已经实例化了一个专门的类。

无论实例化类专业化的这些方式如何，用户始终可以自由地基于其他模板参数实例化其他专业化。