C++如何使用std::is_nothrow_move_constructible-C++-PHP中文网

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

std::is_nothrow_move_constructible 是用于编译期判断类型 T 的移动构造函数是否声明为 noexcept 的类型特征；它只检查公有、可访问、非显式的移动构造函数签名是否含 noexcept，影响标准库容器（如 std::vector）在重分配时选择移动而非拷贝以提升性能。

c++如何使用std::is_nothrow_move_constructible

std::is_nothrow_move_constructible 是什么，什么时候需要它

它是个类型特征（type trait），用来在编译期判断某个类型 T 的移动构造函数是否被声明为 noexcept。不是看它“实际会不会抛异常”，而是看它的声明签名里有没有 noexcept（或 noexcept(true)）。这在标准库容器（比如 std::vector）做内存重分配时很关键：如果元素类型支持无异常移动，容器就优先用移动而非拷贝，性能更好；否则退回到拷贝。

常见错误现象是：你写了移动构造函数但没加 noexcept，结果 std::vector::reserve() 或 push_back() 时仍触发拷贝——而你完全没意识到，因为编译器不会报错，运行时也看不出明显问题。

怎么正确检查一个类型的移动构造是否 nothrow

直接用 std::is_nothrow_move_constructible_v<t></t>（C++17 起推荐用 _v 后缀变量模板）：

static_assert(std::is_nothrow_move_constructible_v<:string>, "string must be nothrow move constructible");
static_assert(!std::is_nothrow_move_constructible_v<:vector>>, "vector<int> is not nothrow move constructible (in some lib impls)");
</int></:vector></:string>

注意：

它只检查公有、可访问、非显式（non-explicit）的移动构造函数是否存在且为 noexcept
如果类型没有移动构造函数（例如只有拷贝），则该 trait 为 false
继承自基类的移动构造函数不自动继承 noexcept 属性，必须显式标注
自定义类型中，即使移动构造函数函数体里什么都没做，也必须手动加上 noexcept，否则 trait 返回 false

为什么你的自定义类返回 false，但看起来明明没抛异常

最常见原因是你写了移动构造函数但忘了加 noexcept：

C++14

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

下载

struct MyData {
    std::vector<int> data;
    // ❌ 错误：没声明 noexcept
    MyData(MyData&& other) : data(std::move(other.data)) {}
<pre class="brush:php;toolbar:false;">// ✅ 正确：显式声明
MyData(MyData&& other) noexcept : data(std::move(other.data)) {}

}; static_assert(std::is_nothrow_move_constructible_v); // 只有加了 noexcept 才通过

其他容易踩的坑：

成员变量的移动构造本身不是 noexcept（例如某些老版本 libstdc++ 中 std::vector 的移动构造未标记 noexcept），会导致外层类型连带失败
使用了 = default 的移动构造函数：C++11 起，编译器生成的默认移动构造函数是否 noexcept 取决于所有成员是否都满足 is_nothrow_move_constructible；但 C++17 起更严格，只要所有成员移动构造都是 noexcept，默认版本就自动是 noexcept
类中有 const 成员或引用成员：它们无法被移动，导致编译器无法生成移动构造函数，trait 直接为 false

和 std::is_move_constructible 的区别在哪

std::is_move_constructible 只关心“能否移动构造”（语法上是否可行），不关心异常规范；而 std::is_nothrow_move_constructible 是前者的加强版——它要求不仅可移动，还必须承诺不抛异常。

这意味着：

所有 std::is_nothrow_move_constructible_v<t></t> 为 true 的类型，std::is_move_constructible_v<t></t> 一定也为 true
但反过来不成立：std::string 在多数实现中是 noexcept 移动，而 std::function 通常不是（取决于其内部可调用对象）
标准容器如 std::vector、std::deque 的移动构造是否 noexcept 是实现定义的，不能假设；必须实测或查文档