C++中explicit修饰拷贝构造函数的编译问题及版本差异

问题核心原因 #

你遇到的编译差异源于C14与C17在列表初始化规则上的不同：

• C++14及更早版本：当使用Pig{pig}这种单元素列表初始化同类型对象时，编译器会将其判定为拷贝初始化场景，而explicit修饰的拷贝构造函数无法在拷贝初始化中被调用。此时编译器会尝试匹配其他可用构造函数（即你的Pig(std::string)），进而试图将Pig对象转换为std::string，但不存在该隐式转换，因此报错。
• C++17及更高版本：标准调整了列表初始化逻辑，单元素同类型的列表初始化会被视为直接初始化，允许调用explicit修饰的拷贝构造函数，因此编译通过。

你尝试的show(Pig(pig))写法理论上属于直接初始化，在C14中应该可行，若编译失败可能是编译器解析干扰或编译命令未正确指定C14标准。

可行解决方案 #

以下几种写法可在C++14及更低版本中显式调用拷贝构造函数，确保编译通过：

方法1：使用static_cast显式转换 #

show(static_cast<Pig>(pig));

static_cast<Pig>(pig)会触发直接初始化逻辑，明确调用explicit修饰的拷贝构造函数。

方法2：显式传递const引用匹配拷贝构造签名 #

show(Pig(static_cast<const Pig&>(pig)));

通过将pig转换为const Pig&，直接匹配你定义的拷贝构造函数参数类型，避免编译器尝试其他构造函数。

方法3：明确绑定const引用后调用 #

如果Pig(pig)编译失败，可先将对象绑定为const引用，再触发拷贝构造：

int main() {
    Pig pig{std::string("hello")};
    const Pig& pig_const_ref = pig;
    show(Pig(pig_const_ref)); // 编译通过
    return 0;
}

内容的提问来源于stack exchange，提问作者Andrés