std::is_nothrow_move_assignable 是编译期 trait，检查类型是否具有声明为 noexcept 的移动赋值运算符（或退而求其次的 noexcept 拷贝赋值），不验证实际行为，仅依赖声明和成员/基类约束。

std::is_nothrow_move_assignable 是什么，它检查什么 它检查一个类型是否支持不抛出异常的移动赋值操作。不是看“能不能移动赋值”，而是看 operator= 在移动语义下是否被声明为 noexcept。如果类型没有定义移动赋值运算符，就退而检查拷贝赋值是否 noexcept（但仅当移动不可用时）；如果连拷贝也没有，结果就是 false。 常见误解是以为它检测“是否存在移动赋值”——其实不是。std::is_move_assignable 才管存在性，std::is_nothrow_move_assignable 只关心异常规范。

比如 std::vector<int> 通常是 true，但 std::vector<std::string> 在某些标准库实现中可能为 false（因为其移动赋值可能调用分配器的 propagate_on_container_move_assignment 相关逻辑，而该路径未标记 noexcept）。

怎么写判断表达式，注意模板参数和求值时机 它是个变量模板（C++17 起），直接用类型名作为模板参数即可，不需要加 decltype 或括号：

• std::is_nothrow_move_assignable_v<MyType> —— 推荐，返回 bool 值
• std::is_nothrow_move_assignable<MyType>::value —— C++11/14 写法，等价但更啰嗦
• 不能写成 std::is_nothrow_move_assignable<MyType()> 或带实例的写法，它只接受类型，不接受表达式
• 不能在运行时用变量类型动态判断——它是编译期常量，类型必须在编译时确定

示例：

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>); // OK
static_assert(!std::is_nothrow_move_assignable_v<Bad>); // OK

为什么 std::string / std::vector 结果可能因标准库而异 这个 trait 的结果依赖于标准库实现细节，特别是容器内部移动赋值是否真正满足 noexcept。例如：

• libstdc++（GCC）中 std::string 移动赋值通常标记为 noexcept，所以返回 true
• libc++（Clang）中某些版本对 small-string 优化路径做了更保守的异常保证，可能让 std::is_nothrow_move_assignable_v<std::string> 为 false
• std::vector 是否 noexcept 还取决于其分配器类型：std::allocator 的移动赋值是 noexcept，但如果自定义分配器没声明 noexcept，整个 vector 的移动赋值就不是

所以别假设它在所有平台都一致。实际使用时，若用于 SFINAE 或 if constexpr 分支，务必在目标编译器上验证行为。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

它在 move-aware 容器优化中怎么用 典型场景是配合 std::move_if_noexcept 或手动选择移动/拷贝路径。例如实现一个泛型容器的 resize：

• 若 T 满足 std::is_nothrow_move_assignable_v<T>，可直接移动旧元素到新内存
• 否则，为安全起见应先拷贝再销毁（避免移动失败导致原数据丢失）
• 注意：仅检查移动赋值不够——你还得确认移动构造也是 noexcept（用 std::is_nothrow_move_constructible），否则 relocate 过程仍可能异常
• STL 自己并不完全依赖这个 trait 做优化；例如 std::vector::resize 更多依赖 std::is_nothrow_move_constructible 和分配器属性

容易漏掉的一点：即使类型本身满足 noexcept 移动赋值，如果它内部持有资源（如文件句柄、锁），而析构函数抛异常，整个移动过程依然不安全——std::is_nothrow_move_assignable 不管析构，只管赋值运算符声明。

立即学习“C++免费学习笔记（深入）”；