C++模板重载决议：如何实现std::string与任意类型的foo函数重载

• 你编写的通用模板使用的是转发引用（万能引用）T&&，当传入std::string右值时，模板会推导出T = std::string，最终实例化出的函数签名为foo(std::string&&)。
• 根据C++重载决议规则，非const右值参数绑定到非const右值引用的匹配优先级，高于绑定到const左值引用的优先级。因此这个模板实例化出的函数会比专门编写的foo(const std::string&)更匹配，抢走调用权，最终出现不符合预期的调用结果。

核心是通过SFINAE机制把所有std::string相关的类型从通用模板的重载集合中排除：

• 传入所有std::string类型参数时，编译器只能匹配专门的std::string重载。
• 其他非std::string类型的参数，才会触发通用模板版本。

代码实现（分语言版本） #

C++20及以上（Concept约束，写法最简洁） #

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

// 专门处理std::string的重载，可匹配所有值类别、所有cv限定的std::string参数
void foo(const std::string& str) {
  std::cout << "string version called" << std::endl;
}

// 通用模板：加约束，仅当参数decay后不是std::string时才参与重载
template<class T>
requires (!std::is_same_v<std::decay_t<T>, std::string>)
void foo(T&& str) {
  std::cout << "template version called" << std::endl;
}

int main() {
    foo(std::string{"hello"}); // 输出：string version called
    std::string s{"world"};
    foo(s); // 输出：string version called
    foo("hello"); // 输出：template version called（const char*非std::string）
    foo(123); // 输出：template version called（int非std::string）
    return 0;
}

C++17及以前（SFINAE模板参数实现约束） #

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

void foo(const std::string& str) {
  std::cout << "string version called" << std::endl;
}

// 模板参数中加入enable_if判断，排除std::string类型
template<class T,
         typename = std::enable_if_t<!std::is_same_v<std::decay_t<T>, std::string>>
        >
void foo(T&& str) {
  std::cout << "template version called" << std::endl;
}

• 这里使用std::decay_t处理参数类型，是为了去掉引用、const/volatile限定，不管传入的是左值、右值、const/非const的std::string，都会被正确排除出通用模板的重载范围，不会出现漏判。
• 不需要修改专门重载的签名，const std::string&的签名本身就可以绑定所有类型的std::string参数，只要模板端不再抢匹配，重载决议就会正确走到专门版本。
• 如果需要把所有可以隐式转换为std::string的类型也归到string版本的处理范围，只需要把约束判断从std::is_same_v替换为std::is_convertible_v即可。

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