隐式模板实例化为何丢弃const引用？如何解决链接错误？

问题重现 #

代码如下：

#include<string>
#include<cstdint>
using namespace std;

class A {
public:
    template<typename T> void DoSomething(uint32_t index, T arg);
};

template<>
void A::DoSomething(uint32_t index,const string &arg) {

}

void Run(A &a, const string &str) {
    a.DoSomething(0, str);
    a.DoSomething<const string &>(0, str);
}

int main() {
    A a;
    Run(a, "HelloWorld");
    return 0;
}

编译时出现链接错误：

undefined reference to void A::DoSomething<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >(unsigned int, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >)

错误原因 #

1. 模板参数推导规则导致类型不匹配
   原模板的函数参数是值传递形式（T arg），当传入const string&类型的实参时，编译器会自动忽略实参的引用和const限定符，推导模板参数T为string，而非const string&。此时编译器需要实例化A::DoSomething<string>，但你仅提供了T=const string&的特化版本，缺失的实例化代码触发了链接错误。

2. 显式特化写法不明确
   你编写的特化代码未显式指定模板参数，编译器无法准确识别这是针对T=const string&的特化。正确的显式特化必须明确标注模板参数列表。

修复方案 #

方案一：针对推导后的T=string编写特化 #

修改特化代码，明确指定模板参数为string：

template<>
void A::DoSomething<string>(uint32_t index, string arg) {
    // 在这里实现业务逻辑
}

此时调用a.DoSomething(0, str)会匹配该特化版本；显式指定const string&的调用也可正常工作（若保留原有特化）。

方案二：修改原模板参数为引用类型，保留const和引用信息 #

将原模板的函数参数改为引用传递，避免推导时丢失限定符：

class A {
public:
    // 改为const引用传递，保留实参的const属性
    template<typename T> void DoSomething(uint32_t index, const T& arg);
};

// 特化T=string的版本，参数类型自然匹配const string&
template<>
void A::DoSomething<string>(uint32_t index, const string &arg) {
    // 实现逻辑
}

此时调用a.DoSomething(0, str)会推导T=string并匹配特化；显式指定const string&的调用也能正常匹配。

方案三：显式指定特化的模板参数为const string& #

若需保留原模板的值传递参数，可修改特化代码并补充T=string的特化：

template<>
void A::DoSomething<const string&>(uint32_t index, const string &arg) {
    // 实现逻辑
}

// 补充T=string的特化，解决a.DoSomething(0, str)的调用问题
template<>
void A::DoSomething<string>(uint32_t index, string arg) {
    // 实现逻辑
}

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