类模板

类模板定义一族类。

语法

解释

类模板实例化

类模板自身并不是类型、对象或任何其他实体。不会从从仅含模板定义的源文件生成任何代码。必须实例化模板以令任何代码出现：必须提供模板实参，使得编译器能生成实际的类（或从函数模板生成函数）。

显式实例化

显式实例化定义强制实例化其所指代的 class、struct 或 union。它可以出现在程序中模板定义后的任何位置。而对于给定的实参列表，只允许它在整个程序中出现一次，不要求诊断。

类、函数、变量和成员模板的特化，可以从其模板显式实例化。成员函数、成员类和类模板的静态数据成员，可以从其成员定义显式实例化。

显式实例化只能出现于该模板的外围命名空间，除非使用有限定标识：

namespace N {
  template<class T> class Y { void mf() { } }; // 模板定义
}
// template class Y<int>; // 错误：类模板 Y 在全局命名空间不可见
using N::Y;
// template class Y<int>; // 错误：显式实例化模板的命名空间外
template class N::Y<char*>;      // OK：显式实例化
template void N::Y<double>::mf(); // OK：显式实例化

若同一组模板实参的显式特化出现于显式实例化之前，则显式实例化无效果。

当显式实例化函数模板、变量模板、类模板的成员函数或静态数据成员，或成员函数模板时，仅要求其声明可见。类模板、类模板的成员类或成员类模板的显式实例化之前，必须出现其完整定义，除非之前已经出现了拥有相同模板实参的显式特化。

若以显式实例化定义来对函数模板、变量模板、成员函数模板或类模板的成员函数或静态数据成员进行显式实例化，则其模板定义必须存在于同一翻译单元中。

当显式实例化指名某个类模板特化时，对于其每个未在当前翻译单元中之前已经显式特化的非继承且非模板成员，它同时作为其同种显式实例化（声明或定义）。若此显式实例化是定义，则仅对于在此点已被定义的成员，它也是显式实例化定义。

显式实例化定义忽略成员访问说明符：形参类型和返回类型可为 private。

隐式实例化

当代码在要求完整定义的类型的语境中涉指某个模板时，或当类型的完整性对代码有影响，而这个特定类型尚未被显式实例化时，发生隐式实例化。例如当构造此类型的对象之时，但不包括构造指向此类型的指针之时。

这也适用于类模板的成员：除非成员在程序中被使用，否则并不会实例化它，并且不要求其有定义。

template<class T> struct Z {
    void f() {}
    void g(); // 并不定义
}; // 模板定义
template struct Z<double>; // 显式实例化 Z<double>
Z<int> a; // 隐式实例化 Z<int>
Z<char>* p; // 此处不实例化任何内容
p->f(); // 隐式实例化 Z<char> 而 Z<char>::f() 出现于此。
// 并不需要且始终不实例化 Z<char>::g()：不必对其进行定义

若类模板已经声明但尚未定义，则其实例化在实例化点将产生不完整的类类型：

template<class T> class X; // 声明，非定义
X<char> ch;                // 错误：不完整类型 X<char>

参阅

• 模板形参与实参允许模板被参数化
• 函数模板声明声明函数模板
• 模板特化针对特定的类型定义既存的模板
• 形参包允许在模板中使用类型的列表 (C++11 起)