c++oding="utf-8" ?>
std::vector扩容时若元素移动构造非noexcept，编译器会插入异常安全回滚逻辑拖慢性能；需用-fsanitize=undefined检测__cxa_throw、显式声明noexcept、static_assert校验，并确保所有成员及调用路径均满足nothrow要求。
当 std::vector 在扩容时反复移动元素，若元素类型不满足 noexcept 移动构造，编译器必须为每次移动插入异常安全的回滚逻辑，这会显著拖慢 reallocate 速度——你得知道怎么验证它是否生效、为什么失效、以及如何强制启用无异常路径。
确认容器扩容时是否触发了异常安全开销
用 -fsanitize=undefined 编译并运行一段强制扩容的代码，观察是否有 __cxa_throw 调用栈；若存在，说明编译器未将移动构造视为 noexcept，正在生成保护性析构回滚代码。
在类定义中显式添加 noexcept 限定符：struct Widget { Widget(Widget&&) noexcept; }; 否则即使移动构造体内部没抛异常，std::is_nothrow_move_constructible
用 static_assert 验证：static_assert(std::is_nothrow_move_constructible_v
std::vector 扩容路径中移动策略的实际分支
方法一：编译器内建优化路径
当 T 满足 std::is_nothrow_move_constructible_v
方法二：退化为复制构造路径
若移动构造非 noexcept 但复制构造是 noexcept，部分标准库实现（如旧版 libstdc++）会降级使用 copy + destroy，此时扩容性能可能比预期更差——因为复制比移动开销更大，且仍需保证强异常安全。
方法三：强制抛异常触发回滚
在移动构造函数里 throw std::runtime_error("boom") 并关闭 noexcept，用 valgrind --tool=callgrind 观察 _M_reallocate 的调用深度；你会看到额外的 __cxxabiv1::__terminate 调用链，证明异常清理逻辑已注入。
让自定义类型真正通过 nothrow 移动校验
第一步：检查所有成员变量的移动构造是否都标记了 noexcept。哪怕一个 std::string 成员没被 noexcept 修饰，整个类就自动失败。
第二步：若含 std::unique_ptr 成员，确保其指向类型 T 的析构函数不抛异常——因为 std::unique_ptr
第三步：禁止在移动构造函数中调用任何未声明 noexcept 的函数，包括 operator new、自定义分配器的 construct 方法、甚至 std::cout 【只要任意一条调用路径存在抛异常可能，std::is_nothrow_move_constructible 就返回 false】
第四步：对聚合类型，用 = default 生成移动构造时，编译器会自动推导 noexcept 属性；但一旦你手写定义，就必须显式加 noexcept，否则默认按可能抛异常处理。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
