C++如何使用std::is_nothrow_move_assignable检查类型属性-C++-PHP中文网

c++oding="utf-8" ?>

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

c++如何使用std::is_nothrow_move_assignable检查类型属性

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

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

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

`std::is_nothrow_move_assignable_v<mytype></mytype>` —— 推荐，返回 `bool` 值

`std::is_nothrow_move_assignable<mytype>::value</mytype>` —— C++11/14 写法，等价但更啰嗦

不能写成 `std::is_nothrow_move_assignable<mytype></mytype>` 或带实例的写法，它只接受类型，不接受表达式

不能在运行时用变量类型动态判断——它是编译期常量，类型必须在编译时确定

示例：

C++14

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

下载

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</bad></good>