C++中template class显式实例化语句的作用是什么？

// valuetype for internalNode should be page id_t
template class BPlusTreeInternalPage<GenericKey<4>, page_id_t, GenericComparator<4>>;
template class BPlusTreeInternalPage<GenericKey<8>, page_id_t, GenericComparator<8>>;
template class BPlusTreeInternalPage<GenericKey<16>, page_id_t, GenericComparator<16>>;
template class BPlusTreeInternalPage<GenericKey<32>, page_id_t, GenericComparator<32>>;
template class BPlusTreeInternalPage<GenericKey<64>, page_id_t, GenericComparator<64>>;

我想知道这些以`template class`开头的语句有什么作用？我原本认为没有这些代码程序也能正常运行，但不确定是否正确，恳请解答！

---

# 解答

这些`template class`开头的语句是**C++显式模板实例化**，核心作用是提前生成指定模板参数组合的类代码，解决模板分离编译的问题。

- **模板编译的基本规则**：C++模板是“按需实例化”的——只有当代码实际用到某个模板的特定参数组合时，编译器才会生成对应的类和成员函数代码。但如果模板的实现（比如成员函数的定义）放在`.cpp`文件中而非头文件，其他文件使用该模板时，编译器看不到实现代码，无法生成实例，最终链接阶段会出现“未定义符号”的错误。

- **这个项目里的必要性**：该框架中`BPlusTreeInternalPage`的模板实现应该是放在`.cpp`文件中的。为了避免链接错误，框架提前显式实例化了项目中会用到的所有模板参数组合（即不同长度的`GenericKey`搭配`page_id_t`和对应比较器）。这样编译器在编译`b_plus_tree_internal_page.cpp`时就会生成这些实例的完整代码，其他文件使用这些实例时，链接器能顺利找到对应的符号。

- **去掉这些语句的后果**：如果你的代码用到了这些参数组合的`BPlusTreeInternalPage`，且模板实现不在头文件里，就会触发链接错误；只有当所有模板实现都放在头文件中时，编译器才能在使用实例的地方自动生成代码，程序才可能正常运行。

---

内容的提问来源于stack exchange，提问作者Zacchaeus