为何编译器会报重载toStr(const A&)调用存在歧义？

问题背景 #

传入经static_cast<const A&>转换后的对象调用toStr，编译器却报重载歧义错误。错误提示显示调用toStr(const A&)存在歧义，但看起来只有一个匹配的函数签名，对此感到困惑。

代码示例 #

#include <stdio.h>
#include <ranges>
#include <vector>
#include <string>
#include <iostream>

using namespace std;
template<class T>
string toStr(const T& obj)
{
    return obj.toStr();
}

template<class T>
string toStr(T val)
{
    return std::to_string(val);
}
struct A
{
  string toStr(){return "A";}  
};
int main()
{
    A a;

    cout << toStr(static_cast<const A&>(a)) << '\n';

    return 0;
}

编译错误信息 #

main.cpp: In function ‘int main()’: main.cpp:35:18: error: call of overloaded ‘toStr(const A&)’ is ambiguous
35 | cout << toStr(static_cast<const A&>(a)) << '\n';
| ~^~~~~~~~~~~~~~~~~~~~~~
main.cpp:17:8: note: candidate: ‘std::string toStr(const T&) [with T = A; std::string = std::__cxx11::basic_string]’
17 | string toStr(const T& obj)
| ^~~~~
main.cpp:23:8: note: candidate: ‘std::string toStr(T) [with T = A; std::string = std::__cxx11::basic_string]’
23 | string toStr(T val)
| ^~~~~

问题解析 #

歧义产生的核心原因 #

编译器在模板参数推导时，两个模板函数都能生成可行的实例：

• 第一个模板toStr(const T&)：推导T=A，生成的函数签名为string toStr(const A&)，和传入的const A&参数完全匹配。
• 第二个模板toStr(T val)：编译器可以将const A&类型的实参通过拷贝初始化绑定到T类型的形参，此时推导T=A，生成的函数签名为string toStr(A)。虽然这个调用需要执行一次拷贝，但在函数重载决议中，它和第一个模板生成的函数没有明确的优先级差异——两者都属于“可行函数”，编译器无法判定哪一个是更优匹配，因此触发歧义错误。

为什么会误解只有一个匹配签名？ #

错误提示里的call of overloaded ‘toStr(const A&)’指的是你调用时传入的参数类型，并非说只有一个函数签名是这个。实际上两个模板都生成了符合调用条件的函数实例，只是第一个的形参是const A&，第二个是A，而const A&可以隐式转换为A，导致两个函数都满足调用要求。

隐藏的额外问题 #

即使解决了歧义，第一个模板里的obj.toStr()也会编译失败——因为obj是const A&类型，但A::toStr()不是const成员函数，无法在const对象上调用。需要修改A的成员函数为const版本：

struct A
{
  string toStr() const {return "A";}  
};

消除歧义的方法 #

有几种可行的解决方式：

• 显式指定模板参数：调用时写成toStr<const A>(static_cast<const A&>(a))，强制编译器选择第一个模板。
• 通过SFINAE限制第二个模板的适用范围：让它只针对支持std::to_string的算术类型生效，避免对自定义类型A生成实例：

  #include <type_traits>
  
  template<class T, std::enable_if_t<std::is_arithmetic_v<T>, bool> = true>
  string toStr(T val)
  {
      return std::to_string(val);
  }
  

• 调整函数重载逻辑：比如将值传递的版本改为非const引用（需结合实际需求），或给其中一个模板添加更严格的约束，让编译器能区分优先级。

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