如何在不修改第三方模板函数的前提下解决toString重载歧义？

场景还原 #

第三方库提供了如下模板函数（无法修改其签名）：

template<typename T>
std::string toString(const T& value) {
    std::cout << "Called 'unspecialized' toString" << std::endl;
    return std::to_string(value);
}

我们的内部类型自带toString方法，例如：

struct Foo {
    std::string toString() const {
        return "Foo";
    }
};

理想行为是：调用toString时，若类型自身有toString方法则优先调用该方法。尝试用SFINAE实现这一逻辑：

template<typename T, typename Enable = decltype(std::declval<T>().toString())>
std::string toString(const T& value) {
    std::cout << "Called 'specialized' toString" << std::endl;
    return value.toString();
}

但调用自定义类型时出现编译歧义：

int main() {
    toString(5); // 正常运行
    toString(Foo{}); // 编译错误：调用重载的'toString(Foo)'存在歧义
}

解决方案（C++20 概念约束） #

使用C++20的Concept约束实现优先级更高的重载，这是唯一无需修改第三方库函数签名的方案：

首先定义一个检查类型是否拥有合法toString方法的Concept：

#include <concepts>
#include <string>

template<typename T>
concept HasToString = requires(const T& t) {
    { t.toString() } -> std::convertible_to<std::string>;
};

然后基于该Concept实现重载：

template<HasToString T>
std::string toString(const T& value) {
    std::cout << "Called 'specialized' toString" << std::endl;
    return value.toString();
}

原理说明 #

C++20中，带有Concept约束的模板重载比无约束的模板重载具有更高的匹配优先级。当传入的类型满足HasToString约束时，编译器会优先选择这个重载版本，彻底避免和第三方库的无约束模板产生歧义。

补充背景 #

这个问题实际对应Google Test中的PrintTo函数场景：该函数用于单元测试中的值打印，逻辑是优先寻找特定类型的重载，未找到则使用默认非特化实现（直接输出字节）。

这属于Google Test的一个已知局限性，相关问题目前仍处于开放状态。

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