c++oding="utf-8" ?>
std::is_nothrow_move_constructible 是关键类型特征，决定 std::vector 扩容时能否安全使用移动而非拷贝：若为 true 则调用无异常移动构造（O(1)资源窃取），否则退化为深拷贝（O(N)）；根本原因在于移动构造函数未显式声明 noexcept 或其成员不满足该条件。
std::is_nothrow_move_constructible 不是可有可无的类型特征，它直接决定 std::vector 等容器在 resize 或 push_back 触发扩容时，是否能安全使用移动而非拷贝——这对性能影响是数量级的。
为什么 vector 扩容时移动比拷贝快得多
当 std::vector 容量不足，需要分配新内存并迁移旧元素时，如果元素类型支持无异常移动构造（即 std::is_nothrow_move_constructible_v 为 true），标准库会优先调用移动构造函数；否则退回到拷贝构造。
拷贝构造通常涉及深拷贝（如字符串复制内存、智能指针增加引用计数再复制原始指针），而移动构造只需“窃取”资源（如交换内部指针、置空源对象），开销接近 O(1)。尤其对 std::string、std::vector、自定义含动态内存的类，差异极其明显。
常见错误现象：std::vector 在频繁插入时 CPU 火焰图显示大量时间花在 memcpy 或构造函数里——很可能就是移动被禁用了。
- 检查方式：打印
std::is_nothrow_move_constructible_v，若为false，说明编译器无法保证移动不抛异常 - 根本原因通常是移动构造函数未显式标记
noexcept，或其内部调用了可能抛异常的函数（如未加noexcept的成员函数） - 即使你写了移动构造函数，只要没加
noexcept，绝大多数标准库实现（libstdc++、libc++）都视为“不可信”，强制降级为拷贝
如何让自定义类真正支持 nothrow 移动
不是“能移动”就够了，关键是“能无异常移动”。编译器只看函数声明是否带 noexcept，不分析函数体。
典型错误写法：
class Widget {
std::string data_;
public:
Widget(Widget&& other) : data_(std::move(other.data_)) {} // ❌ 缺少 noexcept
};
正确写法：
class Widget {
std::string data_;
public:
Widget(Widget&& other) noexcept : data_(std::move(other.data_)) {} // ✅
Widget& operator=(Widget&& other) noexcept {
data_ = std::move(other.data_);
return *this;
}
};
- 所有参与移动的成员（如
data_）本身也必须满足std::is_nothrow_move_constructible_v；std::string、std::unique_ptr等标准类型在主流实现中都是的 - 若类中有
std::mutex成员，它不可移动，更别说 nothrow 移动——这种类型天然不适用于std::vector高频扩容场景 - 使用
= default生成的移动操作，只有当所有成员的对应操作都是noexcept时，编译器才自动加上noexcept；建议显式写出并加noexcept，避免隐式推导失败
别只盯着 move 构造：swap 和赋值也要同步处理
std::vector 扩容时主要依赖移动构造，但某些操作（如 std::stable_sort、std::rotate）或自定义算法中，可能通过 swap 实现移动语义。如果 swap 抛异常，也会破坏强异常安全保证。
关键点：
-
std::swap对用户类型默认调用赋值操作，因此operator=也必须声明为noexcept - 若自定义了
swap函数（非特化），同样要加noexcept，否则std::is_swappable_v可能为false，间接影响某些泛型代码路径 - 用
static_assert主动验证：在类定义后加static_assert(std::is_nothrow_move_constructible_v，CI 中就能捕获回归问题);
最常被忽略的一点：模板库（比如你写的容器适配器）若依赖移动语义做优化，仅靠“用户传入的类型能移动”还不够——必须严格校验 noexcept 性质，否则一碰到非 noexcept 移动类型，就可能从 O(N) 退化到 O(N²) 扩容行为，且毫无编译警告。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
