std::is_nothrow_move_constructible 用于编译期判断类型是否能无异常移动构造，影响 vector 扩容时选移动或复制路径，需移动构造函数显式 noexcept 且所有成员均满足该特性。
一、理解 std::is_nothrow_move_constructible 的语义与作用
当需要在模板元编程中判断某类型是否能以不抛出异常的方式完成移动构造时，std::is_nothrow_move_constructible 提供了编译期的布尔常量。该特性依赖于类型的移动构造函数是否被显式标记为 noexcept 或隐式满足不抛出条件。若移动构造可能抛出异常，则其 value 成员为 false，这将直接影响容器（如 std::vector）在扩容时是否选择移动而非复制路径。
1、检查类型 T 是否拥有公有、非删除的移动构造函数。
2、确认该移动构造函数是否具有 noexcept 规格说明或可推导为不抛出。
3、若任一条件不满足，则 std::is_nothrow_move_constructible
立即学习“C++免费学习笔记（深入）”；
二、std::vector 扩容过程中对该特性的实际依赖路径
std::vector 在容量不足时执行 reallocate，其内部算法会依据元素类型的移动构造是否无异常来决策迁移策略：若 std::is_nothrow_move_constructible_v
1、触发 push_back 或 insert 导致 size() == capacity()。
2、分配新内存块并计算新容量（通常为 1.5 倍或 2 倍）。
3、根据 std::is_nothrow_move_constructible_v
三、验证类型是否满足该特性的编译期断言方法
可在模板约束或静态断言中直接使用该特性，确保关键数据结构在构建时即满足无异常移动要求。错误示例包括含有抛出析构函数的成员、未标记 noexcept 的自定义移动构造函数等。
1、在类定义后添加 static_assert(std::is_nothrow_move_constructible_v
2、在函数模板参数处使用 requires std::is_nothrow_move_constructible_v
3、通过 constexpr if 分支在函数体内差异化处理：if constexpr (std::is_nothrow_move_constructible_v
四、手动使自定义类型满足该特性的必要修改
若类型当前不满足 std::is_nothrow_move_constructible，需确保其移动构造函数明确声明为 noexcept，并且所有子对象的移动构造也满足相同条件。任何间接依赖的成员若含抛出操作（如抛出的移动构造、抛出的赋值运算符），都会导致整体失效。
1、为移动构造函数添加 noexcept 说明符：MyClass(MyClass&&) noexcept。
2、检查所有成员变量，确保其类型均满足 std::is_nothrow_move_constructible_v。
3、移除移动构造函数体中任何可能抛出的操作，例如 new 表达式（应改用 placement-new 配合已分配内存）、抛出的函数调用等。
五、常见 STL 容器与标准类型在此特性下的表现对比
内置类型（int、double 等）、std::unique_ptr、std::optional（含 trivial 类型）、std::string（libstdc++ 和 libc++ 中多数实现）通常满足该特性；而 std::shared_ptr（因控制块构造可能抛出 bad_alloc）、std::vector<:string>（若分配器非nothrow）则不一定满足。实际行为取决于具体标准库实现和编译器版本。
1、std::is_nothrow_move_constructible_v
2、std::is_nothrow_move_constructible_v<:string> 在 GCC 12+ 默认配置下返回 true。
3、std::is_nothrow_move_constructible_v<:shared_ptr>> 返回 false，因其控制块分配可能抛出 std::bad_alloc。
