C++调用函数模板实例化的int版foo为何无法链接到普通foo(int)实现？

根本原因 #

你遇到的问题核心是：通过模板实例化得到的函数，和同名同参数列表的普通非模板函数，是两个完全独立的函数实体，链接器无法将二者绑定，具体逻辑如下：

• 你在file1.cpp中调用foo<int>(1)时，编译器是基于你声明的模板template<typename T> void foo(T)，生成了一个模板特化的函数声明template<> void foo<int>(int)，这个函数和你在file2.cpp中定义的普通函数void foo(int)不属于同一个实体。
• C++编译阶段会对所有函数名做名字修饰（Name Mangling）处理，普通函数void foo(int)的修饰后符号名，和模板特化生成的void foo<int>(int)的修饰后符号名完全不同，链接器处理file1的调用时，只会查找模板特化对应的符号，自然匹配不到file2里的普通函数符号，就会报未定义引用错误。

可行的解决方案 #

如果你要让file1的模板调用能匹配到file2的实现，可选择以下任意一种方案：

1. 直接在file2.cpp中定义模板的显式特化

// file2.cpp 调整为如下代码
template <typename T>
void foo(T); // 必须先声明模板本身，才能定义其特化版本

template<>
void foo<int>(int param)
{
    // 你的实现逻辑
}

2. 复用已有的普通函数实现，新增模板特化做转发

// file2.cpp
// 原有普通函数保留
void foo(int param)
{
    // 实现逻辑
}

template <typename T>
void foo(T);

// 新增int类型的模板特化，转发调用普通函数
template<>
void foo<int>(int param)
{
    foo(param);
}

3. 如果你没有必须拆分定义的特殊要求，更常规的C++模板用法是将模板的完整定义放在头文件中，所有用到该模板的编译单元都引入这个头文件，编译器会自动完成实例化，不需要跨编译单元处理链接问题。

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