c++外部模板

在C++98/03语言标准中，对于源代码中出现的每一处模板实例化，编译器都需要去做实例化的工作；而在链接时，链接器还需要移除重复的实例化代码。显然，让编译器每次都去进行重复的实例化工作显然是不必要的，并且连接器也因此受累。
在现实编码世界里，一个软件的实现可能会在很多代码块中使用同一种类型去实例化同一个模板。此时，如果能够让编译器避免此类重复的实例化工作，那么可以大大提供编译器的工作效率。因此，人们迫切需要一种手段（一种声明方式）来告诉编译器“该处出现的模板实例化工作已在其它编译单元中完成，不再需要进行实例化”。
于是，一个新的语言特性————外部模板（Extern Template）————被纳入到C++0x标准中。
在C++98/03中，已经有一个叫做显示实例化（Explicit Instantiation）的语言特性，其目的是指示编译器立即进行模板实例化操作（即强制实例化）。而外部模板语法就是在显示实例化指令的语法基础上进行修改得到的：通过在显示实例化指令前添加前缀extern，从而得到外部模板的语法。
显示实例化语法：template class vector<MyClass>;
外部模板语法：extern template class vector<MyClass>;
一旦在一个编译单元中使用了外部模板声明（如extern template class vector<MyClass>;），那么编译器在编译该编译单元时，会跳过与该外部模板声明匹配的模板实例化（如vector<MyClass>）。
因此，在C++0x中，“模板的显示实例化指令、外部模板指令和使用”可以类比为“全局变量的定义、声明和使用”。区别仅在于，模板代表代码，而变量代表一段连续内存空间。
关于外部模板语法的一些约束：
1. 如果外部模板指令出现于一个编译单元中，那么与之对应的显示实例化必须出现于另一个编译单元中或者同一个编译单元的后续代码中。
2. 外部模板指令不能用于一个静态函数（即文件域函数），但可以用于类静态函数。（注：这一点是显而易见的，因为静态函数没有外部连接属性，不可能在本编译单元之外出现）。
3. 外部模板指令应用于类的成员，而不是类本身。（注：既然已经作用于类的所有成员了，也就相当于作用于类了）
4. 外部模板对于内联函数是否有用，没有明确规定，但鼓励编译器实现。

 

外部模板的使用实际依赖于C++98中一个已有的特性——显示实例化。例如：

template <typename T> void fun(T){}
显式实例化： template void fun<int>(int);
外部模板： extern template void fun<int>(int);
避免编译器进行重复的实例化，从而减少编译时间。

二 注意

《深入理解C++11》

如果外部模板声明出现于某个编译单元中，那么与之对应的显式实例化必须出现于另一个编译单元中或者同一个编译单元的后续代码中；
外部模板不能用于一个静态函数（没有外部链接属性），但可以用于类静态成员函数。

例子：

template.h

#include <iostream>
 
// 模板
 
// 类
template <typename T>
class A {};
 
// 静态成员方法
template <typename T>
class B {
 public:
  static void f_m(T t) {
    std::cout << "B::f_m t: " << t << std::endl;
  };
};
 
// 静态普通函数
template <typename T>
static void f1(T t) {
  std::cout << "static f1" << std::endl;
};
 
// 普通函数
template <typename T>
void f2(T t) {
  std::cout << "f2" << std::endl;
};

 

 template.cpp

#include "template.h"
 
// 实例化 
 
void f11() {
  A<int> a;
  f1(1);
  std::cout << "f3" << std::endl;
}
 
void f22() {
  f2(1);
  std::cout << "f22" << std::endl;
}
 
void fm() {
  B<int>::f_m(1);
  std::cout << "fm" << std::endl;
}

/

main.cpp

#include <iostream>
#include "template.h"
 
extern template class A<int>;
extern template void B<int>::f_m(int);
 
// extern template void f1<int>(int); error
 
extern template void f2<int>(int);
 
void f() {
  f2(1);
  std::cout << "f4" << std::endl;
}
 
int main() {
  f1(1);
  f();
  B<int>::f_m(1);
 
  getchar();
  return 0;
}