std::vector扩容时优先尝试移动构造，但若元素类型移动构造函数非noexcept则退回到拷贝构造以保障强异常安全；reserve()可避免重复扩容但不改变异常安全策略。
扩容时 std::vector 用的是拷贝构造还是移动构造？
取决于元素类型是否满足 noexcept 移动构造条件。C++11 起，std::vector 在扩容时优先尝试移动构造；但如果元素类型的移动构造函数不是 noexcept（比如抛异常），标准要求它退回到拷贝构造——这是为了保障强异常安全保证。
常见错误现象：你写了移动构造函数但没加 noexcept，结果发现扩容时仍调用拷贝构造，性能变差，还可能意外触发拷贝失败。
- 检查方式：
static_assert(std::is_nothrow_move_constructible_v<t>)</t> - 自定义类型务必声明为
T(T&&) noexcept，否则编译器无法启用移动优化 - 内置类型（
int、double）和std::string（C++11 后通常noexcept）一般走移动
std::vector::reserve() 能绕过异常安全代价吗？
不能绕过，但能避免重复触发。调用 reserve() 预分配内存后，后续 push_back() 在容量足够时不扩容，自然不涉及拷贝/移动构造——也就没有异常安全路径的取舍问题。
使用场景：你知道大致规模（比如读配置后构建千级对象），提前 reserve() 是最直接的性能与确定性优化手段。
立即学习“C++免费学习笔记（深入）”；
-
reserve()本身只分配内存，不调用任何元素构造函数，无异常风险（除非分配失败，此时抛std::bad_alloc） - 不要对已含元素的 vector 频繁
reserve()，尤其在循环里——可能反复重新分配+移动 - 如果元素类型移动构造非
noexcept，reserve()后首次扩容仍会降级为拷贝
抛异常时 std::vector 怎么保证“不泄露、不破坏”？
靠两阶段策略：先分配新内存，再逐个构造；一旦某个元素构造失败，已构造的元素被逆序析构，旧内存保持完整，vector 状态回滚到扩容前——这就是标准要求的强异常安全保证。
代价是：即使只差最后一个元素失败，前面所有移动/拷贝都白做，且旧空间不能复用（得等析构完才能释放）。
- 若元素拷贝/移动构造抛异常，vector 不会处于“半扩容”状态，但性能损失不可忽略
- 自定义类型中，把可能抛异常的操作（如文件打开、网络请求）移出构造函数，只留轻量初始化
- 用
std::vector<:unique_ptr>></:unique_ptr>可规避大部分问题：指针移动几乎总是noexcept，且资源由智能指针管理
noexcept 属性、内存分配行为、以及你对“可恢复”的实际定义。很多人卡在“为什么我加了移动构造却没生效”，其实就差一个 noexcept。 
