C++共享库中模板特化失效：调用特化函数未达预期

问题场景 #

在一个供外部项目调用的库中定义了模板函数及其特化版本，单独运行库中的测试代码时，模板特化符合预期；但将库编译为共享库后，外部项目调用时特化版本未生效，仍执行通用模板。已知把特化移到头文件能解决问题，但希望保留特化在单独的cpp文件中，求该现象的原因。

示例代码与步骤 #

lib.h

#include <iostream>

template <typename T>
void f(T t)
{
    std::cout << "generic template\n";
}

lib.cpp

#include "lib.h"

template <>
void f(int t)
{
    std::cout << "integer specialization\n";
}

// 单独运行时的测试main函数
int main()
{
    double d = 3.0;
    int i = 3;

    f(d);
    f(i);
}

单独运行输出

generic template
integer specialization

编译为共享库步骤（注释lib.cpp中的main函数）

g++ -fPIC -c -o lib.o lib.cpp
g++ -shared lib.o -o libLIB.so

main.cpp（外部项目代码）

#include "lib.h"

int main()
{
    double d = 3.0;
    int i = 3;
    f(d);
    f(i);
}

编译链接命令

g++ -L . main.cpp -lLIB

外部调用输出

generic template
generic template

原因解析 #

1. 编译期模板实例化机制
   C++模板是编译期实例化的：当外部项目编译main.cpp时，编译器只会看到lib.h里的通用模板定义，完全不知道共享库中存在f<int>的特化版本。因此编译器会自动实例化出通用版本的void f(int)，并嵌入到main.cpp生成的目标文件中。

2. 链接器符号解析优先级
   链接阶段会出现两个void f(int)符号：一个是main.cpp本地实例化的通用版本，另一个是共享库中的特化版本。根据链接规则，本地编译生成的符号会被优先选用，导致共享库中的特化版本被忽略。

3. C++标准的强制要求
   C++标准规定：若要使用模板特化，必须在使用该特化的代码之前声明特化。你的代码未在lib.h中声明f<int>的特化，编译器处理main.cpp时无法感知特化存在，只能实例化通用模板。

保留特化在cpp文件的解决方案 #

如果要继续将特化放在单独的cpp文件中，只需在lib.h中添加特化声明：

#include <iostream>

template <typename T>
void f(T t)
{
    std::cout << "generic template\n";
}

// 声明特化，告知编译器存在该版本
template <> void f(int);

这样main.cpp编译时，编译器会知道存在f<int>的特化，不会再实例化通用版本，而是直接链接共享库中的特化实现。

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