c++oding="utf-8" ?>
std::is_nothrow_move_constructible_v 是容器行为分水岭而非性能开关；不满足时 vector 扩容强制回退拷贝路径，移动构造函数完全不被调用。
std::is_nothrow_move_constructible_v 不是性能调优开关，而是容器行为分水岭——不满足它，std::vector 在扩容时会强制退回到拷贝路径，你写的移动构造函数根本不会被调用。
为什么 vector 扩容时根本不用你的移动构造函数
当 std::vector 容量不足、需要 realloc 时，它不是“优先尝试移动”，而是严格按编译期 trait 分支：只有 std::is_nothrow_move_constructible_v<t></t> 和 std::is_nothrow_move_assignable_v<t></t> 同时为 true，才会走 std::uninitialized_move 路径；否则直接 fallback 到 std::uninitialized_copy + 析构旧对象。
常见错误现象包括：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 插入 10 万次自定义对象后耗时翻三倍，
perf显示大量malloc和memcpy -
static_assert没报错，但valgrind --tool=memcheck显示内存分配次数远高于几何增长预期 - 类里只写了
T(T&&) = default;，却没意识到默认生成的移动构造函数不带noexcept
怎么让自定义类真正满足 nothrow move 构造
不是“不抛异常”就够，而是必须让编译器在编译期能静态确认它绝不会抛——这靠显式契约，不是运行时行为。
- 移动构造函数必须声明为
T(T&&) noexcept，不能只写T(T&&)或T(T&&) noexcept(true)（后者冗余，前者无效） - 所有非静态数据成员的移动构造也必须满足
std::is_nothrow_move_constructible_v<membertype></membertype>；例如std::string在 C++11+ 是，但某些自定义 allocator 的std::vector可能不是 - 基类的移动构造不自动继承
noexcept属性，子类必须重新声明并标注 - 若含
std::function、std::shared_ptr等间接依赖堆分配的成员，需查文档确认其移动是否真的noexcept（std::shared_ptr是，std::function通常不是）
如何在代码里主动验证和拦截问题
别等压测才发现性能掉坑——把检查嵌入编译期流程。
- 在类定义后立即加断言：
static_assert(std::is_nothrow_move_constructible_v<myclass>, "MyClass must be nothrow move constructible");</myclass> - 模板参数约束中使用：
template<typename t> requires std::is_nothrow_move_constructible_v<t> void process(std::vector<t>& v);</t></t></typename> - 对关键容器做预留 + 断言组合：
static_assert(std::is_nothrow_move_constructible_v<t>); std::vector<t> v; v.reserve(1000);</t></t>—— 这样能确保从初始化起就避开所有隐式扩容分支 - 注意 debug 模式下某些标准库（如 libstdc++）可能绕过该判断，务必在 release 构建下验证
容易被忽略的复合陷阱
即使每个成员都标了 noexcept，仍可能失败：
- 析构函数抛异常（C++11 起默认
noexcept，但显式写~T() throw()或未声明会破坏契约） - 移动赋值未同步标注
noexcept：vector 在push_back末尾元素时可能触发移动赋值而非移动构造 - 使用
= default时误以为编译器会推导noexcept：它只在所有成员移动都noexcept时才自动加，但这个推导不可靠，显式写= default noexcept才安全（C++20 起支持） - 第三方类型（如某个 JSON 库的
JsonValue）没文档说明是否noexcept，直接用就可能传染失效
最硬核的验证方式，永远是看 std::vector<t>::reserve</t> 是否触发了拷贝构造函数的调用——用 gdb 断在自定义类型的拷贝构造里，如果进了，说明 trait 没生效。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
