std::is_nothrow_move_assignable 是编译期类型特征，静态判断类型移动赋值操作符是否声明为 noexcept，仅检查声明而非实现，反映接口承诺而非实际行为。
std::is_nothrow_move_assignable 是什么，能信吗
它是个编译期类型特征（type trait），用来静态判断某个类型的移动赋值操作符是否被声明为 noexcept。注意：它只看声明，不验证实现——哪怕你写了 T& operator=(T&&) noexcept { throw 1; }，std::is_nothrow_move_assignable_v<t></t> 仍是 true。
所以它反映的是“接口承诺”，不是“实际行为”。标准库容器（如 std::vector）在 realloc 时依赖这个特征决定是否用移动而非拷贝——如果误标为 noexcept，可能导致异常抛出时资源泄漏或未定义行为。
怎么正确使用它做编译期断言
最常见用途是在模板中约束类型，防止用户传入不满足移动安全要求的类。比如实现一个仅接受可无异常移动赋值类型的容器适配器：
template <typename T>
class SafeBuffer {
static_assert(std::is_nothrow_move_assignable_v<T>,
"T must have noexcept move assignment");
// ...
};
关键点：
立即学习“C++免费学习笔记（深入）”；
- 必须用
std::is_nothrow_move_assignable_v<T>（C++17 起的变量模板），别写std::is_nothrow_move_assignable<T>::value - 检查的是
T& operator=(T&&)，不是移动构造函数——后者对应std::is_nothrow_move_constructible - 若
T没显式定义移动赋值，编译器可能合成一个；合成版本是否noexcept取决于其所有成员和基类的移动赋值是否都noexcept
为什么有时候返回 false，但你明明写了 noexcept
常见原因有这几个：
- 类中有成员变量的移动赋值不是
noexcept（例如某个成员是std::vector<T>，而T的移动赋值可能抛异常） - 基类的移动赋值没声明
noexcept - 你写了
operator=(T&&) noexcept，但同时存在非noexcept的拷贝赋值重载，导致移动赋值被隐式删除（此时特征返回false） - 类模板实例化时，模板参数本身不满足条件（比如
SafeBuffer<std::string>在旧 libstdc++ 中可能失败，因早期 string 移动赋值未标记noexcept）
调试建议：逐层检查成员/基类，用 static_assert 分段验证，例如：
static_assert(std::is_nothrow_move_assignable_v<MemberType>);
和 std::move_if_noexcept 的关系
std::move_if_noexcept 内部就依赖 std::is_nothrow_move_assignable（以及构造版本）。它在容器扩容等场景下，自动选择调用移动还是拷贝：
- 如果类型可无异常移动赋值（且可无异常移动构造），返回
std::move(x) - 否则返回
x（即左值引用，触发拷贝）
这意味着：你不能只靠 std::move_if_noexcept 来“兜底”——如果移动赋值本应 noexcept 却没标，std::move_if_noexcept 就会退化成拷贝，性能掉一截，而且你可能根本没意识到。
真正要控制行为的地方，是定义类时主动加 noexcept，并用 std::is_nothrow_move_assignable 验证它是否生效——而不是等运行时出问题才回头查。
