C++ extern template显式实例化用法及示例代码疑问

1. extern template struct A<int>;的作用与疑问解答 #

• 该语句不会阻止A<int>类型对象的定义：extern template的作用仅为阻止编译器在当前编译单元内对A<int>执行隐式实例化，不会限制你声明、定义A<int>类型的变量。编译器会默认A<int>的完整实例化代码存在于其他编译单元，当前单元只需留空等链接阶段从外部查找对应符号即可。
• 它的核心用途是减少重复编译：避免多个编译单元用到同一种模板实例时，每个单元都生成一份重复的实例化代码，降低编译耗时和目标文件体积。

2. 被#if 0包裹的A<int>::foo()定义的作用 #

这是A<int>类的foo成员函数的显式特化实现，它完全不会抵消extern template的效果：

• extern template仅阻止编译器自动生成的隐式实例化代码，你手动编写的显式特化代码不受该关键字限制，会正常参与编译链接。
• 该特化版本的优先级高于通用模板的foo实现，只要该段代码生效，所有A<int>调用foo都会走这个返回val+1的逻辑，也就是示例注释里输出fI=6的原因。

3. 示例完整运行逻辑说明 #

情况1：保留#if 0，即注释掉显式特化的foo #

1. extern template struct A<int>;生效，编译器不会在当前编译单元隐式生成A<int>的任何成员函数的实例化代码，包括通用模板里的A<int>::foo()。
2. 没有手动提供的A<int>::foo实现，也没有编译器自动生成的通用版本实现。
3. 链接阶段处理main里的y.foo()调用时，找不到A<int>::foo的符号定义，直接报链接错误，和书籍描述一致。

情况2：改为#if 1，即启用显式特化的foo #

1. extern template依然阻止了通用模板对A<int>的隐式实例化，但你手动提供了A<int>::foo的显式实现，链接时可以找到该符号。
2. A<double>没有被extern template限制，编译器会正常隐式实例化A<double>和对应的foo函数，返回传入的初始值5，所以输出fD=5。
3. A<int>的foo调用你写的特化版本，返回5+1=6，所以最终输出为fD=5,fI=6，符合预期。

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