类模板

< cpp‎ | language

类模板定义一族类。

语法

template < 形参列表 > 类声明 (1)
export template < 形参列表 > 类声明 (2) (C++11 前)

解释

类声明 - 类声明。所声明的类名成为模板名。
形参列表 - 非空的模板形参的逗号分隔列表,每项是非类型形参类型形参模板形参或任何这些形参的形参包之一。

export 是可选的修饰符,模板被导出(用于声明类模板时,它也声明其所有成员被导出)。对被导出模板进行实例化的文件不需要包含其定义:声明即已充分。export 的实现稀少,且在细节上不一致。

(C++11 前)

类模板实例化

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

显式实例化

template class|struct 模板名 < 实参列表 > ; (1)
extern template class|struct 模板名 < 实参列表 > ; (2) (C++11 起)
1) 显式实例化定义
2) 显式实例化声明

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

显式实例化声明(extern 模板)跳过隐式实例化步骤:本来会导致隐式实例化的代码,代之以使用别处提供的显式实例化定义(若这种实例化不存在,则导致连接错误)。这个机制可被用于,通过在除了一个文件以外的所有源文件中明确声明模板实例化,而在剩下的那个文件中明确定义它,来减少编译时间。

(C++11 起)

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

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

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++17 起)

参阅