C++转换构造函数在隐式转换传参时的工作机制

转换构造函数核心规则 #

• 转换构造函数是单参数构造函数（其余参数带默认值的单可传参构造函数也符合要求）的特殊能力：当代码上下文需要某个类类型的对象，但传入的值类型和该构造函数的入参类型匹配时，编译器会自动调用该构造函数，完成从入参类型到目标类类型的隐式转换。
• 若构造函数被explicit关键字修饰，会禁止上述隐式转换，必须显式书写类型转换语句才能调用该构造函数完成类型转换。

示例中output(120)的执行逻辑 #

你提到的两种执行路径描述不存在语义冲突，只是观察角度不同：

• 从C++标准定义的程序可观测行为层面，执行流程为：
  1. 编译器检查到output函数形参类型为const myClass&，传入实参为int类型的120，类型不匹配；
  2. 编译器查找可行的隐式转换规则，发现myClass存在入参为int的转换构造函数，符合转换要求；
  3. 隐式调用myClass(int i)，用实参120构造一个myClass类型的临时对象；
  4. 将该临时对象绑定到const引用形参rhs上，执行output函数体逻辑；
  5. 函数调用表达式结束后，生成的临时对象自动析构。
• 从编译器实际生成的机器指令层面，默认开启优化的编译器会做拷贝消除优化，直接在形参对应的内存位置调用myClass(int i)完成对象构造，不会额外生成独立的临时对象再做拷贝传参。这种优化不会改变程序的可观测行为，你可以在构造函数、拷贝构造函数中添加打印语句验证：整个调用流程中myClass(int i)只会触发一次，不会有多余的构造函数调用。

注意：如果output的形参不是const左值引用，而是写成非const的myClass& rhs，output(120)会直接编译报错——C++语法规定非const左值引用不能绑定到临时对象上。

可直接运行的验证代码 #

#include <iostream>
using namespace std;

class myClass
{
public:
   myClass(int i)
   {
      a = i;
      cout << "调用myClass(int)转换构造函数，a值为：" << a << endl;
   }
   int getA() const
   {
      return a;
   }
private:
   int a;
};

void output(const myClass& rhs)
{
    cout << "rhs.getA(): " << rhs.getA() << endl;
}

int main()
{
   output(120);
   return 0;
}

运行后输出为：

调用myClass(int)转换构造函数，a值为：120
rhs.getA(): 120

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