最直接办法是定义带日志的自定义类并显式声明移动构造函数；需禁用拷贝以避免退化，且参数必须为右值引用T&&。
用自定义类加日志观察移动构造是否触发
最直接的办法是写一个带日志输出的类，重载移动构造函数，在里面打日志或设断点。C++标准不提供运行时反射机制，无法像 Python 那样查 __moved__ 标志，只能靠行为观测。
关键点在于：移动构造函数必须显式声明（哪怕用 = default），且参数类型必须是右值引用 T&&；同时要禁用拷贝（否则编译器可能退化为拷贝构造）。
struct TestObj {
TestObj() { std::cout << "default ctor\n"; }
TestObj(const TestObj&) { std::cout << "copy ctor\n"; }
TestObj(TestObj&&) noexcept { std::cout << "move ctor\n"; }
TestObj& operator=(const TestObj&) { return *this; }
TestObj& operator=(TestObj&&) noexcept { return *this; }
};
- 必须加
noexcept，否则某些容器（如std::vector扩容）可能拒绝调用移动构造而改用拷贝 - 不要只依赖
= default，除非你确认基类/成员都支持移动；默认生成的移动构造可能被隐式删除 - 如果看到 “copy ctor” 而非 “move ctor”，大概率是传入的是左值（比如命名变量）、或未满足移动条件（如含非移动成员）
检查 std::move 是否真产生右值引用
std::move 本身不移动任何东西，它只是类型转换工具：把左值强制转成右值引用，让后续重载决议能选中移动构造函数。但能否真正触发移动，取决于接收方是否定义了对应移动构造函数，以及调用上下文是否允许。
- 对一个已命名变量调用
std::move(x)后传入，只是“允许”移动，不是“保证”移动；若目标没有移动构造，仍会退回到拷贝构造 - 临时对象（如
TestObj{}）本身就是纯右值，无需std::move就可能触发移动（如返回局部对象时的 NRVO 或移动优化） - 在函数参数为
TestObj&&时，传入std::move(x)是常见正确用法；但传入x（无 move）则匹配const TestObj&或拷贝构造，不会移动
用 std::is_move_constructible 检查编译期可行性
这个 trait 只能告诉你类型「是否支持」移动构造，不能告诉你某次调用「实际发生」了移动。但它能快速排除根本性问题：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
static_assert(std::is_move_constructible_v<TestObj>, "TestObj must be move constructible");
- 如果断言失败，说明移动构造函数被隐式删除（例如含 const 成员、不可移动基类、或移动构造被显式
= delete） - 即使 trait 为 true，运行时是否真的调用移动构造，仍需靠日志或调试器验证
- 注意
std::is_trivially_move_constructible和std::is_nothrow_move_constructible是更严格的子集，分别检查是否平凡移动、是否不抛异常
调试器里看汇编或单步进移动构造函数
当不确定编译器是否优化掉移动（如 RVO、NRVO、复制消除），或者想确认某行代码是否真的进了你的移动构造函数，最可靠的方式是打断点或看反汇编。
- 在移动构造函数第一行设断点，运行时没命中，说明该次构造根本没走这条路——可能是被优化跳过，也可能是重载决议选了别的函数
- 开启
-O0编译（关闭优化）可避免 RVO 干扰观测；但要注意，有些移动语义（如容器内部）在-O0下反而因内联缺失表现不同 - Clang/GCC 下可用
-fno-elide-constructors强制禁用复制/移动省略，让移动构造一定可见
真正难判断的不是“有没有定义移动构造”，而是“在特定上下文下是否被选中并执行”。日志 + 断点 + 编译选项组合，比任何静态分析都管用。别信直觉，以调试器看到的调用栈为准。
