std::is_nothrow_move_assignable 是类型特征，用于编译期判断类型 T 的移动赋值运算符是否声明为 noexcept；它只检验接口契约而非实际行为，影响标准库容器（如 vector）是否选择移动而非拷贝。
std::is_nothrow_move_assignable 是什么，能用来判断什么
std::is_nothrow_move_assignable 是一个类型特征（type trait），用于在编译期判断某个类型 T 的移动赋值运算符（operator=）是否被声明为 noexcept。它不检查该运算符是否存在，也不检查是否真的“能移动”——只看它是否明确标记为不抛异常。
常见误解是以为它能验证移动操作“安全执行”，其实它只反映接口契约：如果返回 true，说明标准库（比如 std::vector 扩容时）可能选择调用移动而非拷贝；若为 false，某些容器操作会退回到拷贝路径，影响性能但不会崩溃。
怎么写代码判断一个类是否满足 std::is_nothrow_move_assignable
直接使用 std::is_nothrow_move_assignable_v<t></t>（C++17 起推荐）或 std::is_nothrow_move_assignable<t>::value</t>：
struct Good {
Good& operator=(Good&&) noexcept { return *this; }
};
struct Bad {
Bad& operator=(Bad&&) { throw 42; } // 未声明 noexcept
};
static_assert(std::is_nothrow_move_assignable_v<Good>); // ✅ 通过
static_assert(!std::is_nothrow_move_assignable_v<Bad>); // ✅ 通过
- 必须用
static_assert或constexpr if在编译期使用，运行时无法获取 - 对内置类型（如
int、指针）和多数标准容器（如std::string、std::vector）通常返回true，前提是其元素类型也满足 - 如果类没有显式定义移动赋值，编译器可能合成一个 —— 合成版本是否
noexcept取决于其所有成员/基类的移动赋值是否都noexcept
为什么明明写了 noexcept 却 still false？常见踩坑点
最常遇到的是“看似加了 noexcept，但 trait 返回 false”。原因往往藏在细节里：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 移动赋值函数被声明为
private或deleted：trait 要求该函数在当前上下文 可访问且可用，否则视为不满足 - 类中有成员变量或基类的移动赋值不是
noexcept：即使你写了noexcept，编译器合成的或你手动写的函数若调用了非noexcept成员，整个函数就隐式失去noexcept强保证（除非你显式加noexcept(true)并确保无误） - 写成了
noexcept(false)或noexcept(expr)且表达式结果为false：trait 只认确定不抛的承诺，noexcept(false)明确否定，自然返回false - 模板类未实例化：对模板名（如
MyVec<T>）直接查 trait 无效，必须给出具体实例（如MyVec<int>）
和 std::is_move_assignable 的区别在哪
std::is_move_assignable 只关心“能否写出 a = std::move(b) 这样的表达式”，即移动赋值运算符是否可访问、是否匹配签名；而 std::is_nothrow_move_assignable 是它的加强版约束，额外要求该运算符带 noexcept。
换句话说：std::is_nothrow_move_assignable_v<T> 为 true ⇒ std::is_move_assignable_v<T> 必为 true；但反过来不成立。
实际工程中，如果你在写泛型容器或算法，并希望依赖移动提升性能，应该同时检查二者：先确保可移动，再确认是否可无异常移动。否则，仅靠 is_move_assignable 不足以触发 std::vector 的移动重分配逻辑。
真正难的不是写对这个 trait，而是让整个移动赋值链路上每个环节都保持 noexcept —— 成员、基类、自定义资源释放逻辑，漏掉任意一环，is_nothrow_move_assignable 就会悄悄变 false。
