为何C++17中已声明删除的拷贝构造函数未被强制生效?
导致编译行为变化的C++17规则
该现象是C++17引入的**强制复制消除(mandatory copy elision)**特性导致的:
- C++14及更早版本中,复制消除属于编译器可选优化,规则要求:即使编译器实际优化掉了拷贝/移动构造的调用,代码也必须提供可用的(未删除、可访问)拷贝/移动构造函数,否则直接编译报错。你的示例代码中拷贝构造被显式删除,因此符合旧标准的报错逻辑。
- C++17及之后版本中,对于「用同类型纯右值初始化对象」的场景(如示例中的
A a = A(),右侧A()是纯右值,和左侧变量类型完全匹配),复制消除是语言层面强制要求的行为,不需要再检查拷贝/移动构造函数是否可用,因此代码可以正常编译通过。
恢复C++14及之前语义的方法
你可以通过以下方式实现需求:
- 编译时指定旧标准版本
这是最直接的方案,给编译器传入C++14或更早的标准参数,编译器就会完全沿用旧规则进行检查:- GCC/Clang 编译时添加参数:
-std=c++14 - MSVC 编译时添加参数:
/std:c++14
使用上述参数编译你的示例代码时,会和C++14环境一样触发如下编译错误:
- GCC/Clang 编译时添加参数:
main2.cpp:7:7: error: call to deleted constructor of 'A' A a = A(); ^ ~~~ main2.cpp:3:5: note: 'A' has been explicitly marked deleted here A(const A&) = delete; ^
如果希望在任意C标准版本下都让A a = A()触发编译错误,目前无法通过修改类定义实现——因为C17的强制复制消除是语言层面的硬性规则,该场景下完全不会调用也不会检查拷贝/移动构造函数。如果你需要代码的编译行为和C++14完全对齐,最稳妥的方案始终是编译时指定旧标准。
内容的提问来源于stack exchange,提问作者Simeon
相关产品推荐
相关产品推荐

