不能仅靠 std::is_move_constructible_v 判断移动是否真实发生，因其只检测语法可行性，不验证函数体是否执行资源转移、是否被删除或是否退化为拷贝。
不能靠 std::is_move_constructible_v 或 std::is_move_assignable_v 单独下结论 —— 它们只检查语法可行性，不保证移动操作真的发生资源转移。
为什么 std::is_move_constructible_v<T> 不够用
这个类型特征只判断 T 是否能通过 T(std::declval<T&&>()) 语法构造，即：是否存在可调用的移动构造函数签名。但它完全不管函数体里干了什么：
- 可能只是调用了拷贝构造（比如用户误写、或编译器合成的“伪移动”）
- 可能移动构造函数被声明为
delete，但特征仍返回true（C++ 标准允许这种“可调用但不可用”的情况） - 可能移动构造函数存在，但内部是深拷贝 +
noexcept声明，语义上仍是拷贝
真正要查的是移动构造函数是否被定义且非 deleted
你需要确认三点：该类是否有用户声明的移动构造函数、是否未被显式删除、且编译器没因规则抑制合成。实操建议如下：
- 用
std::is_move_constructible_v<T>和std::is_trivially_move_constructible_v<T>对比：若前者true而后者false，说明移动构造非平凡，大概率是你写的或编译器合成的（但需进一步验证） - 检查类定义：是否有
T(T&&)声明？是否带= delete？是否被隐式抑制（例如你写了自定义析构函数但没写移动构造）？ - 最可靠方式是写一个最小测试：在 constexpr 上下文中尝试移动构造，看是否触发你预期的行为（如指针偷取、
_data置空），而不是静默退化为拷贝
运行时怎么观察移动是否真发生了
编译期类型特征无法告诉你“这次调用到底走的是移动还是拷贝”，得靠运行时行为验证：
立即学习“C++免费学习笔记（深入）”；
- 在移动构造函数里加日志（
std::cout << "move ctor\n";）或断点，确保它被调用 - 检查资源指针：移动后源对象的
_data是否为nullptr？目标对象是否持有原地址？ - 避免常见干扰：确保没开启 RVO/NRVO（如在函数返回时直接
return T{...}），否则连构造函数都不会进 - 禁用优化编译（
-O0）再测试，防止编译器把移动优化掉或内联混淆调用栈
真正难的不是“有没有移动构造函数”，而是“它是否按你设想的方式工作”——尤其是当类有继承、模板推导或 ADL 参与时，重载决议可能绕过你的移动函数，悄悄退回到拷贝路径。这时候光看类型特征毫无意义。
