C++右值引用模板方法特化后不生效的原因及解决方法

1. 转发引用推导导致签名不匹配
   你定义的模板参数T&&属于转发引用（万能引用），当传入左值int val、std::string s时，根据引用折叠规则，T会被推导为int&和std::string&，最终通用模板实例化出的签名是void PutIntoStream(int& input)和void PutIntoStream(std::string& input)。而你写的特化版本签名是const int&和const std::string&，重载决议时非const左值引用的匹配优先级更高，所以会优先选择通用模板的实例，而非特化版本。
2. 特化声明不可见
   C++要求函数模板的显式特化声明必须对调用处可见，你将特化实现放在.cpp文件中，其他编译单元包含.hpp头文件时完全感知不到特化的存在，只会按照通用模板逻辑进行实例化，自然无法匹配到特化版本。

更推荐使用重载代替函数模板特化，函数重载的匹配规则比特化更直观，不易出错：

• 第一步：在.hpp的Wrapper类定义中添加重载函数：

class Wrapper {
 public:
     template <typename T>
     void PutIntoStream(T &&input);
     // 直接添加普通成员函数重载，不需要template<>标记
     void PutIntoStream(const int &input);
     void PutIntoStream(const std::string &input);
};
// 通用模板实现建议放在头文件中，避免其他类型调用出现链接错误
template <typename T>
void Wrapper::PutIntoStream(T &&input) {/*implementation*/}

• 第二步：把两个重载的实现保留在.cpp文件中即可，重载函数的优先级高于模板实例，调用时会优先匹配符合参数类型的重载版本。

如果必须使用显式特化，需要做两处修改：

• 在.hpp头文件的类定义外，添加特化的声明，让调用处可以感知到特化存在：

// 头文件中添加特化声明
template<>
void Wrapper::PutIntoStream(const int &input);
template<>
void Wrapper::PutIntoStream(const std::string &input);

• 调整特化签名匹配转发引用的推导规则，或者调用时给参数加上const修饰，比如PutIntoStream(std::as_const(val))，确保推导的类型和特化类型匹配。

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