编译器仅在类无用户声明的移动/拷贝操作和析构函数、且所有成员及基类均可移动时隐式声明移动构造函数；否则被删除或不声明。
哪些条件下编译器会隐式声明移动构造函数
只有当类中没有用户声明任何移动操作（移动构造函数或移动赋值运算符），且所有非静态成员和基类都可移动时，C++11 及之后标准才可能隐式声明移动构造函数。
但注意：隐式声明 ≠ 隐式定义。编译器只在需要时（如 std::move 触发、返回局部对象等）才生成定义，且前提是该隐式声明未被删除。
- 若类声明了拷贝构造函数、拷贝赋值运算符、析构函数中的任一个（且未显式声明移动操作），编译器不会隐式声明移动构造函数（这是 C++11 的“移动操作抑制规则”）
- 若某个非静态成员类型没有移动构造函数（例如只有拷贝），即使其他条件满足，整个类的移动构造函数也会被隐式定义为
delete - 基类若不可移动（如其移动构造函数为
delete或未声明），派生类也不会获得隐式移动构造函数
如何判断你的类是否拥有隐式声明的移动构造函数
最可靠的方法是用 static_assert 检查 std::is_move_constructible_v，并结合编译器诊断：
struct S {
std::string s;
int x;
}; // 无用户定义的特殊成员 → 编译器隐式声明移动构造函数
static_assert(std::is_move_constructible_v); // ✅ 通过
如果出现类似错误：
立即学习“C++免费学习笔记（深入）”；
error: use of deleted function 'S::S(S&&)'
说明编译器确实隐式声明了它，但因某成员/基类不可移动而被自动设为 delete。
- 用
clang++ -std=c++17 -Xclang -ast-dump | grep "MoveConstructor"可查看 AST 中是否隐式声明 - GCC 不直接暴露隐式声明信息，但
-fno-elide-constructors+ 调试构造函数调用可间接验证 - 添加
= default显式请求（如S(S&&) = default;）能强制生成，并让错误更早暴露
为什么有时候明明没写移动构造函数，却无法 move
常见原因不是“没生成”，而是“被隐式定义为 delete”。典型场景包括：
- 类中含
const成员或引用成员：它们不能被修改，故移动构造函数无法为它们“掏空”原对象 - 某个成员类型只有拷贝构造函数（如老旧自定义类未加
T(T&&)），导致合成失败 - 显式删除了拷贝构造函数但没提供移动构造函数：
S(const S&) = delete;本身不阻止移动，但若同时存在用户定义析构函数，就会抑制隐式移动构造函数声明 - 继承链中某基类的移动构造函数是
private或delete，派生类无法访问
此时 std::move(x) 仍产生右值引用，但调用移动构造函数时触发 deleted 函数错误。
显式写 = default 和完全不写，行为有区别吗
有本质区别。不写时，是否隐式声明取决于上述严格规则；而写 T(T&&) = default; 是显式请求编译器合成，规则更宽松：
- 即使类有用户定义的析构函数，
= default仍可成功（只要成员/基类可移动） - 合成过程会检查每个子对象是否可移动；若不可，该
= default移动构造函数被定义为delete，但你明确知道这是你主动要求的 - 它让意图清晰，避免依赖隐式规则带来的不确定性，也方便后续加日志或断点调试
所以现代 C++ 实践中，只要类语义上支持移动，建议显式写 T(T&&) = default;，而不是赌编译器是否隐式声明。
真正容易被忽略的是：移动构造函数是否被隐式声明，不取决于你“有没有用到”，而取决于类定义本身的结构和成员类型是否满足一整套静默条件——哪怕你从没调用过 move，只要有一个成员拖后腿，它就无声无息地变成 delete。
