C++17中重载函数调用的二义性错误问题

你遇到的这个二义性错误其实是C++17重载决议规则里一个容易踩的小坑，咱们一步步拆解原因和解决办法。

首先看你的调用代码：foo(Myclass{})，这里的Myclass{}是一个临时对象（属于prvalue右值），你本来预期它会匹配到接受Myclass&&的重载，但编译器却认为两个foo重载的匹配优先级完全相同，没法做出选择，所以抛出了歧义错误。

为什么会出现歧义？ #

咱们分别看两个重载的匹配逻辑：

• 对于void foo(Myclass mc)（按值传递的版本）：当你把临时对象传给按值参数时，编译器可以通过移动构造（因为临时对象是右值）来初始化mc。在重载决议的规则里，实参（Myclass类型的右值）到参数（Myclass）的转换属于身份转换——简单说就是类型完全匹配，属于最高优先级的精确匹配。
• 对于void foo(Myclass&& mcrr)（右值引用版本）：临时对象是Myclass类型的右值，直接绑定到右值引用参数，这同样属于身份转换，也是最高优先级的精确匹配。

因为两个重载的匹配等级完全一致，编译器没有理由偏向任何一个，所以就报出了“调用模糊”的错误。

怎么解决这个问题？ #

根据你的需求，这里有几个实用的方案：

• 方案一：修改按值传递的重载为const左值引用
  如果你希望临时对象优先匹配右值引用版本，可以把第一个重载改成接受const Myclass&。此时临时对象绑定到const左值引用虽然可行，但匹配优先级低于直接绑定到右值引用，编译器会自动选中右值引用版本：

  class Myclass{
  public:
      Myclass() { std::cout << "ctor\n"; }
      Myclass(const Myclass&) { std::cout << "copy ctor\n"; }
      Myclass(Myclass&&) { std::cout << "move ctor\n"; }
      int x;
  };
  
  void foo(const Myclass& mc) { // 修改为const左值引用
      std::cout << "void foo(const Myclass& mc)\n";
  }
  
  void foo(Myclass&& mcrr) {
      std::cout << "void foo(Myclass&& mcrr)\n";
  }
  
  int main() {
      foo(Myclass{}); // 现在会调用右值引用版本
  }
  

• 方案二：只保留按值传递的重载
  如果你想让同一个函数处理左值和右值（同时享受移动语义的优化），可以直接删掉右值引用的重载。因为临时对象会触发移动构造来初始化按值参数，左值会触发拷贝构造，这样既简洁又能利用移动语义提升性能：

  class Myclass{
  public:
      Myclass() { std::cout << "ctor\n"; }
      Myclass(const Myclass&) { std::cout << "copy ctor\n"; }
      Myclass(Myclass&&) { std::cout << "move ctor\n"; }
      int x;
  };
  
  void foo(Myclass mc) { // 只保留这个重载
      std::cout << "void foo(Myclass mc)\n";
  }
  
  int main() {
      foo(Myclass{}); // 会调用move ctor初始化mc，然后执行函数逻辑
  }
  

• 方案三：用SFINAE限制重载范围（进阶）
  如果必须保留两个重载且需要更精细的控制，可以用std::enable_if等工具来区分适用场景，但这个方案相对复杂，一般只有在特殊需求下才需要使用。

备注：内容来源于stack exchange，提问作者kaernk