调用方法时出现诡异的C++隐式构造函数调用问题

为什么会出现这种情况？ #

C++中，不带默认参数的单参数构造函数会被编译器认定为转换构造函数，它允许编译器自动将构造函数参数类型的对象，隐式转换为该类的实例。

在你的代码里：

• 调用m(0)时，编译器自动用0构造一个临时C对象，再传给m；
• 调用m(0.123)时，编译器先把double类型的0.123截断转为int类型的0，再用这个值构造临时C对象，因此也能通过编译；
• 传入字符串""时，const char*无法隐式转换为int，编译器尝试构造C对象失败，抛出错误——这也侧面证明了编译器一直在尝试用传入参数隐式构造C实例。

能否禁用这种隐式转换行为？ #

完全可以，给构造函数加上explicit关键字即可，它会禁止编译器自动进行隐式转换，必须显式构造C对象才能传入函数。

修改后的C类代码：

class C {
public:
  const int value;
  explicit C(int value) : value(value) {} // 添加explicit关键字
};

此时再调用m(0)或m(0.123)，编译器会直接报错，提示无法将int/double转换为C类型。

如何确保方法m仅接收C类实例？ #

最直接有效的方式就是给C的构造函数加上explicit关键字，从根源上阻断隐式转换。

另外，也可以将m的参数改为const C& parameter（const引用类型），这能优化临时对象的创建，但核心还是靠explicit禁止隐式转换。只有传入C类的实例（包括显式构造的临时对象，比如m(C(0))）时，才能成功调用m。

验证错误示例 #

给构造函数加上explicit后，调用m(0)会得到类似如下的编译错误：

test.cpp: In function ‘int main()’:
test.cpp:11:5: error: could not convert ‘0’ from ‘int’ to ‘C’
   11 |   m(0);
      |     ^
      |     |
      |     int

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