std::is_nothrow_assignable_v<T, U>仅依据赋值运算符是否显式声明为无参noexcept来返回true，不检查实现、不调用函数、不验证成员行为；它只反映作者承诺，不保证运行时不抛异常。
std::is_nothrow_assignable 只看声明，不看实现
它返回 true 的唯一依据是：目标类型的赋值运算符是否**显式声明为 noexcept**（无参数形式）。哪怕函数体里写了 throw，只要声明了 noexcept，trait 就信；反之，哪怕函数空着、什么都没做，没写 noexcept，trait 就返回 false。
这意味着它不构造对象、不调用函数、不跟踪成员行为——纯粹查语法树上的声明。你不能靠它判断“这段赋值运行起来会不会崩”，只能知道“作者有没有承诺不抛异常”。
-
noexcept(true)或noexcept(false)不影响结果，std::is_nothrow_assignable只识别无参noexcept - 对
int、double等内置类型恒为true，因为它们的赋值是平凡且编译器硬编码为无异常的 - 若类未显式定义
operator=，结果取决于编译器是否给默认生成的拷贝/移动赋值加noexcept：C++11 默认不加，C++17 起对 trivial 类型自动加
让 is_nothrow_assignable 返回 true 的硬性条件
光在自己的 operator= 上写 noexcept 不够。这个承诺必须能“立得住”——编译器会检查整个调用链是否满足约束，否则直接编译失败，而不是 trait 返回 false。
- 所有非静态成员变量的赋值操作都必须是
noexcept（即它们各自的operator=也得标noexcept） - 基类的赋值运算符也必须是
noexcept；如果基类没标，你无法通过子类声明“绕过”这一限制 - 若使用了模板参数（如容器类中的
T），则T本身也需满足std::is_nothrow_assignable_v<t const t></t>，否则实例化失败
例如：std::vector<T> 通常不是 noexcept 可赋值的，除非 T 的赋值不抛异常，且其分配器的复制/赋值也不抛异常。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
和 is_copy_assignable、is_trivially_assignable 的关键区别
这三个 trait 完全正交，各自回答不同问题，混用会导致逻辑错误。
-
std::is_copy_assignable_v<T>：只问“有没有可访问的拷贝赋值函数”，不管它是否抛异常 -
std::is_trivially_assignable_v<T, U>：只问“能不能用memcpy级别操作完成赋值”，要求类型是 trivial 的，不涉及任何用户定义逻辑 -
std::is_nothrow_assignable_v<T, U>：只问“这个赋值操作是否被声明为noexcept”，哪怕它内部调用了可能抛异常的成员函数（只要你没声明错）
典型反例：std::string 是 is_copy_assignable 为 true、is_trivially_assignable 为 false、is_nothrow_assignable 通常也为 false（因内存分配可能抛 std::bad_alloc）。
实际用在哪？别在运行时查，要在编译期卡住
它几乎从不用于运行时分支判断，而是配合 static_assert 或 requires 在模板中强制约束类型安全。
- RAII 类模板中，若资源释放依赖赋值后状态重建，应要求
T满足std::is_nothrow_assignable_v<T&, const T&>，否则异常途中析构可能泄漏 - 标准容器扩容时是否启用移动而非复制，就依赖
std::is_nothrow_move_assignable这类 trait；你自定义容器也该照此设计 - 泛型算法中交换或重排元素前，可用
std::is_nothrow_swappable_v<T>配合它一起验证强异常安全性
最易忽略的一点：它不递归验证嵌套调用的实际行为。你写了 noexcept，编译器就信；但若某个成员赋值实际抛了异常，程序仍会调用 std::terminate——trait 不负责兜底，只负责把“承诺”显式暴露出来供你决策。
