C++函数模板特化报错：无匹配重载函数实例问题求解

问题根因 #

• 模板特化签名不匹配：需要特化的基础模板参数为const T1&、const T2&，但你编写的特化版本参数是值传递的std::string_view，签名完全不匹配，编译器无法找到对应的基础模板实例，触发报错。
• 字符串字面量匹配优先级异常：const char*类型的字符串字面量属于指针类型，和第二个const T1*重载是精确匹配，优先级远高于需要隐式转换为std::string_view的引用重载，就算特化写对也不会走到字符串拼接逻辑。
• 隐藏悬空风险：原有特化版本返回std::string_view，但实际返回的是临时std::string拼接后的结果，临时对象销毁后std::string_view会变成悬空引用，触发未定义行为。

修复方案 #

核心逻辑为两点：一是修正特化签名匹配基础模板，二是给指针重载加SFINAE约束，排除字符类型指针，避免字符串字面量误匹配指针重载，同时新增const char*重载直接处理字符串字面量，适配字符串字面量传入场景。

#include <type_traits>
#include <string>
#include <string_view>
#include <iostream>

// 基础版本：const引用参数
template <typename T1, typename T2>
decltype(auto) plus(const T1& a, const T2& b) {
    return a + b;
}

// 指针版本：增加类型约束，排除字符类指针，避免匹配字符串字面量
template <typename T1, typename T2>
std::enable_if_t<
    !std::is_same_v<std::remove_cv_t<T1>, char> &&
    !std::is_same_v<std::remove_cv_t<T1>, wchar_t> &&
    !std::is_same_v<std::remove_cv_t<T1>, char8_t> &&
    !std::is_same_v<std::remove_cv_t<T2>, char> &&
    !std::is_same_v<std::remove_cv_t<T2>, wchar_t> &&
    !std::is_same_v<std::remove_cv_t<T2>, char8_t>,
    decltype(auto)
> plus(const T1* a, const T2* b) {
    return *a + *b;
}

// 修正特化签名，匹配基础引用模板，返回std::string避免悬空
template <>
std::string plus<std::string_view, std::string_view>(const std::string_view& a, const std::string_view& b) {
    return std::string(a) + std::string(b);
}

// 新增const char*重载，直接处理字符串字面量
std::string plus(const char* a, const char* b) {
    return std::string(a) + std::string(b);
}

// 测试用例
int main() {
    // 普通数值测试
    int num1 = 1, num2 = 2;
    std::cout << plus(num1, num2) << std::endl; // 输出3，走基础引用版本
    std::cout << plus(&num1, &num2) << std::endl; // 输出3，走指针版本

    // 字符串测试
    std::string_view sv1 = "hello ", sv2 = "world";
    std::cout << plus(sv1, sv2) << std::endl; // 输出hello world，走string_view特化版本
    std::cout << plus("hello ", "world") << std::endl; // 输出hello world，走const char*重载
    return 0;
}

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