c++oding="utf-8" ?>
std::is_nothrow_move_constructible_v 必须为 true，因为 std::vector 扩容时以此为硬开关决定是否安全移动而非拷贝；若为 false，则强制深拷贝以保障异常安全，且该判定依赖显式 noexcept 声明、全调用链各环节（成员、基类、分配器）均满足，否则静默降级。
std::is_nothrow_move_constructible_v 为什么必须为 true 才算安全
它不是“建议启用”，而是 std::vector 扩容时决定能否跳过深拷贝的硬开关。只要 std::is_nothrow_move_constructible_v<t></t> 为 false，标准库就认定移动构造可能抛异常，从而强制走拷贝路径——这不是性能退化，是异常安全的底线要求。
常见错误现象：std::vector<myclass></myclass> 插入第 10001 个元素时卡顿、内存峰值翻倍、valgrind --tool=massif 显示大量重复分配。原因往往只是 MyClass(MyClass&&) 少写了 noexcept。
-
noexcept必须显式写在函数声明上，编译器不会推导（哪怕函数体空或只有一行指针交换） -
= default不等于noexcept：写成MyClass(MyClass&&) noexcept = default;才有效 - 该 trait 只检查移动构造函数是否声明为
noexcept，不看函数体；你 100% 确信它不抛异常也没用，没标就不算
自定义类怎么真正满足 nothrow 移动构造
不能只盯自己写的移动构造函数，整个调用链上的每个环节都得是 noexcept。一个成员抛异常，整条链就断掉。
- 所有数据成员的移动构造必须是
noexcept：比如std::string在 C++11 后通常满足，但某些老版本 libstdc++ 或带状态分配器的std::pmr::string可能不满足 - 基类的移动构造也得是
noexcept：派生类即使手动写了noexcept移动构造，若基类没标，std::is_nothrow_move_constructible_v<derived></derived>仍为false - 避免含非移动安全成员：如
std::mutex、未标记noexcept的自定义资源类、或std::vector<nonnothrowtype></nonnothrowtype> - 构造函数初始化列表里所有
std::move()调用，目标类型的移动构造都得是noexcept
如何验证你的类型是否真被识别为 nothrow 可移动
别靠猜，用编译期断言直接暴露问题。一旦失败，立刻定位到哪一环漏了 noexcept。
- 加静态断言：
static_assert(std::is_nothrow_move_constructible_v<myclass>, "MyClass must be nothrow move constructible");</myclass> - 同时检查移动赋值：
static_assert(std::is_nothrow_move_assignable_v<myclass>, "also need noexcept move assign");</myclass>——std::vector扩容实际需要两者都满足 - 在模板中做分支：
if constexpr (std::is_nothrow_move_constructible_v<t>) { /* move */ } else { /* copy */ }</t> - 用
clang++ -std=c++17 -stdlib=libc++测试：libc++ 对该 trait 的判定更严格一致，比某些 libstdc++ debug 模式更可信
reserve 能绕过这个检查吗
不能。reserve 只跳过内存分配，不跳过元素搬移逻辑。如果后续 push_back 触发扩容（比如 reserve 后又插入超量元素），仍会触发搬移，此时 std::is_nothrow_move_constructible_v<t></t> 是否为 true 决定走哪条路径。
-
reserve是配合手段，不是替代方案：它减少扩容次数，但每次扩容是否用移动，仍由该 trait 控制 - 在
reserve前加断言有意义：static_assert(std::is_nothrow_move_constructible_v<t>);</t>，说明你清楚预留空间后搬移仍是安全的 - 真正规避搬移的唯一办法是：不扩容。比如用
std::array或预分配固定大小的池，但这已脱离std::vector场景
复杂点在于，它是个全链路编译期判断：从你的类、到每个成员、再到它们的基类和分配器，任何一环没标 noexcept，整个类型就“不可信”。而标准库不会报运行时错，只会静默降级为拷贝——性能损失和异常状态风险都在暗处。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
