为何编译器在不符合条件时仍生成默认移动构造函数？

这个问题挺常见的，我来拆解几个最可能的原因，帮你定位问题：

1. 编译器的非标准扩展行为 #

很多主流编译器（比如GCC、Clang）为了提升代码性能，会在C++11标准之外提供扩展——即使你的类存在用户声明的拷贝构造、析构等函数，编译器仍会尝试生成移动构造函数。比如，如果你显式声明了析构函数，但没有手动定义移动构造，GCC在默认编译选项下可能还是会偷偷生成一个，这是编译器为了优化做的“越界”操作，并不完全符合N3337的要求。

你可以试试加上严格标准编译选项（比如-std=c++11 -pedantic-errors），这时候编译器应该会按照N3337的规则来，不会生成不符合条件的移动构造。

2. 对“用户声明的函数”理解有误 #

N3337里说的“用户声明的拷贝构造/赋值、移动赋值、析构”有明确的范围，不是所有看起来像的函数都算：

• 模板函数不算：如果你写的是一个模板版的拷贝构造（比如template <typename T> X(const T&)），这不属于标准中提到的“用户声明的拷贝构造函数”，所以不会阻止隐式移动构造的生成。
• = default属于用户声明：别被误导，X(const X&) = default;属于用户显式声明的拷贝构造，按照标准是会阻止隐式移动构造的。但如果你的代码里是编译器自动生成的拷贝构造（你没写任何拷贝相关代码），那自然不算用户声明的。

3. 混淆了C++版本的规则差异 #

N3337是C11的草案，后续的C14、C17对隐式移动的规则做了调整。比如C17中，当类有用户声明的拷贝构造但没有移动构造时，编译器会隐式将移动构造定义为删除状态（而不是完全不声明）；再比如C++20进一步放宽了某些场景下的隐式移动条件。

如果你用的编译器默认是C++17或更高版本，那它的行为本来就和N3337不一样，自然会出现“不符合N3337却生成移动构造”的情况。

4. 误把RVO/NRVO当成了移动构造的调用 #

有时候你看到代码里的对象“被移动”，其实根本没用到移动构造——编译器做了返回值优化（RVO）或具名返回值优化（NRVO），直接在目标地址构造对象，跳过了拷贝/移动的步骤。这种情况下，即使没有移动构造，代码也能正常运行，你可能会误以为编译器生成了移动构造。

你可以通过禁用优化（比如-O0）或者添加-fno-elide-constructors选项来关闭RVO，这时候就能真正看到是否有移动构造被调用了。

5. 代码中实际上满足N3337的条件 #

可能你误以为自己声明了某个阻止移动构造的函数，但实际没有。比如：

• 你完全没写析构函数，那编译器生成的析构不算用户声明的；
• 你写的拷贝赋值运算符是针对其他类型的，不是X& operator=(const X&)，那也不算标准中提到的“用户声明的拷贝赋值运算符”。

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