单参数变量模板特化是否会触发实例化？

你的理解确实存在偏差，核心问题出在显式特化和显式实例化的定义冲突上：

• template<> int var<int> = 3; 是变量模板的显式特化，它本身就是一个完整的定义——你在这里直接给var<int>赋值，编译器会为这个特化版本生成一个全局符号。
• template int var<int>; 是显式实例化指令，它命令编译器强制生成var<int>的实例。但此时编译器已经有了var<int>的显式特化版本，所以它会基于这个特化版本再生成一次定义，最终导致同一个符号在目标文件中被定义了两次，链接器自然报错。

同理，var<double>的情况完全一致：显式特化已经定义了该变量，显式实例化又重复生成了一次定义，触发链接错误。

解决方法非常直接：显式特化和显式实例化二选一即可，无需同时书写。

• 若要使用自定义的特化值，只保留显式特化即可（特化本身就是合法定义）；
• 若要使用模板的默认定义并强制实例化，删除显式特化，只保留显式实例化指令。

举两个正确的写法示例：

1. 仅保留显式特化：

// A1.cpp
template<> int var<int> = 3;

2. 仅保留显式实例化（使用模板默认值2）：

// A1.cpp
template int var<int>;

这样目标文件中只会存在一个var<int>的定义，链接就能正常完成。

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