std::vector扩容时优先移动而非拷贝的根本原因是noexcept移动构造函数能确保异常安全，从而允许标准库跳过深拷贝、直接转移资源；若未声明noexcept，即使有移动构造函数，vector仍强制回退至拷贝。
std::vector扩容时移动优于拷贝的根本原因
因为移动能避免深拷贝开销，前提是元素类型支持安全的移动——而标准库只在确认移动不会抛异常时才敢用它。
noexcept是std::vector决定用移动还是拷贝的开关
当调用push_back触发扩容，std::vector会检查元素类型的移动构造函数是否标记为noexcept：
- 如果
MyType(MyType&&) noexcept成立，vector直接对每个旧元素调用移动构造 - 如果移动构造没写
noexcept（哪怕实际不抛异常），vector为保异常安全，退回到拷贝构造 -
std::move本身不改变这个判断——它只是类型转换，不影响已有元素的搬迁策略
为什么不能靠reserve()绕过noexcept限制
reserve(n)确实能避免多次分配内存，但它不改变“搬移行为”的选择逻辑：
- 预留空间后，
insert或resize仍可能触发重排，此时依然要查noexcept -
reserve只影响容量分配时机，不影响元素本身的可移动性语义 - 真正起效的是让类型自身满足
std::is_nothrow_move_constructible_v<t></t>
常见翻车点：你以为在移动，其实全在拷贝
这些情况会让std::vector静默降级到拷贝路径：
立即学习“C++免费学习笔记（深入）”；
- 自定义类的移动构造函数漏写
noexcept，哪怕内部只做指针交换 - 成员变量中包含非
noexcept移动的类型（比如某个std::string实现不保证noexcept，虽然主流实现都保证） - 移动构造函数体里调用了可能抛异常的代码（如
new、throw、未加noexcept的成员函数） - 用
static_assert验证：static_assert(std::is_nothrow_move_constructible_v<mytype>);</mytype>能提前暴露问题
最常被忽略的是：移动语义不是“写了移动构造函数就自动生效”，而是整个类型链路都要经得起noexcept校验。一个成员拖后腿，整类就回退拷贝。
