C++运算符参数类型转换失效：explicit构造器为何不触发隐式转换？

定义了包含多个explicit构造函数的VarDbl类，并重载了+运算符：

class VarDbl {
    ...
    explicit VarDbl(double value, double uncertainty);
    explicit VarDbl(double value);
    explicit VarDbl(long long value) noexcept;
    explicit VarDbl(long value) noexcept : VarDbl((long long) value) {}
    explicit VarDbl(int value) noexcept : VarDbl((long long) value) {}
    ...
    VarDbl operator+(const VarDbl other) const;
    ...
};

由于类对象易于拷贝，运算符参数使用const VarDbl other而非引用。测试时执行以下代码：

VarDbl v1(1, sqrt(2));
VarDbl v = v1 + 2;

GCC报错：

no match for 'operator+' (operand types are 'VarDbl' and 'int')
[{
    "resource": "/c:/Users/Cheng/OneDrive/Documents/Proj/VarianceArithemtic/Cpp/TestVarDbl.cpp",
    "owner": "makefile-tools",
    "severity": 8,
    "message": "no match for 'operator+' (operand types are 'VarDbl' and 'int')",
    "source": "gcc",
    "startLineNumber": 185,
    "startColumn": 19,
    "endLineNumber": 185,
    "endColumn": 19
}]

疑惑点：按照理解，int应该通过explicit VarDbl(int value)构造函数生成临时对象，但实际未触发，请问原因是什么？

问题出在explicit关键字的作用上——被explicit修饰的构造函数会禁止隐式转换，这和你的预期完全相反。

C++中，当你尝试执行v1 + 2时，编译器需要把int类型的2转换为VarDbl类型，才能匹配operator+(const VarDbl)。但explicit构造函数只能用于直接初始化（比如VarDbl a(2);），不能用于这种隐式的类型转换场景（包括运算符重载时的参数自动转换）。

解决方法可以选以下几种：

• 移除对应构造函数的explicit修饰：比如把explicit VarDbl(int value)改成VarDbl(int value)，这样编译器就能自动把int隐式转换为VarDbl。
• 提供全局的operator+重载：比如定义VarDbl operator+(const VarDbl& lhs, int rhs)，内部手动调用构造函数转换后再执行加法。
• 显式转换：在代码里手动把int转成VarDbl，比如VarDbl v = v1 + VarDbl(2);。

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