std::vector扩容时优先移动构造，但仅当std::is_nothrow_move_constructible_v为true；否则退回到拷贝构造以保障强异常安全，避免状态不一致。
std::is_nothrow_move_constructible 影响 vector 扩容时的异常安全策略
当 std::vector 需要扩容（比如调用 push_back 触发重新分配），它必须把旧元素搬进新内存。搬的方式取决于元素类型是否能“无异常地移动”——也就是 std::is_nothrow_move_constructible_v<t></t> 是否为 true。
如果为 true，vector 会直接调用移动构造函数搬元素，旧对象随后被析构；如果为 false（比如移动构造可能抛异常），vector 就退回到更保守的方案：先在新内存中**拷贝构造**所有元素，等全部成功后再销毁旧元素。这不仅慢，还可能导致两份数据同时存在（内存翻倍+析构延迟）。
常见错误现象：vector<myclass> v; v.reserve(100000);</myclass> 看似预留了空间，但后续 push_back 一旦触发扩容，若 MyClass 移动构造非 noexcept，实际性能可能比预期差 2–3 倍，且内存峰值更高。
- 检查方式：
static_assert(std::is_nothrow_move_constructible_v<myclass>, "MyClass must be nothrow move constructible for efficient vector growth");</myclass> - 修复关键：在移动构造函数声明末尾加上
noexcept（且确保函数体里所有操作都不抛异常，包括成员的移动构造） - 注意：即使类有自定义移动构造，若没显式加
noexcept，编译器默认视为可能抛异常，std::is_nothrow_move_constructible_v就是false
哪些成员会让 noexcept 移动构造“失效”
一个看似简单的 noexcept 移动构造函数，可能因内部调用而隐式失去异常安全性。vector 扩容时依赖的是“整个移动链路”都无异常，而非单个函数字面写了 noexcept。
立即学习“C++免费学习笔记（深入）”；
典型陷阱：
- 移动成员变量时，该成员自己的移动构造不是
noexcept（例如 std::vector是，但 std::vector<:string> 在某些 libstdc++ 版本中不是） - 移动过程中调用了可能抛异常的函数（比如
new、std::mutex::lock()、或未标记noexcept的自定义函数） - 基类的移动构造函数未标记
noexcept，导致派生类移动构造自动失去noexcept属性
验证方法：std::cout —— 不要只看声明，要实测。
move vs copy 在扩容中的真实开销差异
移动构造通常只是指针/整数赋值，拷贝构造则涉及内存分配+内容复制。对含动态资源的类型（如 std::string、std::vector、自定义缓冲区类），这个差距是数量级的。
以一个含 1KB 动态 buffer 的类为例：
- 移动构造：约 3 次指针赋值 + 1 次置空操作，耗时 ~1 ns
- 拷贝构造：分配 1KB 内存 + memcpy 1024 字节 + 构造管理结构，耗时 ~100–500 ns（取决于 allocator 和缓存）
- vector 扩容 10 万次？移动路径总开销约 0.1 ms；拷贝路径可能超 50 ms，且伴随大量小内存分配压力
注意：这个差异只在扩容时放大。日常 push_back 单次调用看不出，但批量插入、频繁 resize 场景下，std::is_nothrow_move_constructible_v 直接决定是“线性时间”还是“二次方时间倾向”。
兼容性与标准库实现差异
不是所有标准库都同等激进地利用 std::is_nothrow_move_constructible。libstdc++（GCC）和 MSVC STL 从较新版本起严格遵循这一规则；但某些嵌入式 STL 或旧版 libc++ 可能忽略它，始终走拷贝路径——这会让你的优化“看起来没效果”，但不代表逻辑错。
更隐蔽的问题：即使 vector 用了移动，如果析构函数抛异常（而它不该抛），整个异常安全模型就崩了。C++ 要求移动构造为 noexcept 时，对应类型的析构函数也应是 noexcept（否则 std::is_nothrow_destructible_v 为 false，vector 可能拒绝移动）。
所以真正要盯住的不是单个 trait，而是这一组：
std::is_nothrow_move_constructible_v<t></t>std::is_nothrow_destructible_v<t></t>-
std::is_nothrow_move_assignable_v<t></t>（影响vector::assign、swap等）
它们共同构成 vector 高效扩容的最小契约。漏掉任何一个，都可能让扩容悄悄降级。
