为什么std::vector需要移动构造函数声明noexcept才会调用它？

核心原因是C++标准库对std::vector的强异常安全约束 #

std::vector是连续内存存储的容器，当执行push_back/emplace_back等插入操作时如果当前容量不足，会触发扩容流程：

1. 申请一块更大的连续内存
2. 将旧内存中的所有元素转移到新内存
3. 释放旧内存，完成扩容后再插入新元素

标准要求整个扩容过程必须满足强异常安全保证：如果扩容过程中发生异常，原vector的内容必须完整无损，不能出现数据损坏、部分转移的状态。

无noexcept标记时移动构造不被使用的逻辑 #

如果你的移动构造函数没有标记noexcept，标准库无法保证移动操作不会抛出异常：

• 假设移动过程中抛出异常，此时旧内存中的部分元素已经被移走（处于合法但不确定的状态），无法恢复到扩容前的完整状态，违反强异常安全要求
• 这种情况下std::vector会自动退而使用拷贝构造函数完成元素转移：拷贝操作不会修改旧内存里的原始元素，一旦拷贝过程抛异常，只需要释放新申请的内存即可，原vector完全不受影响，符合异常安全约定

这就是你代码里扩容时调用拷贝构造而非移动构造的直接原因。

加noexcept后触发移动构造的逻辑 #

当你给移动构造函数加上noexcept标记后，相当于明确告知标准库：这个移动操作不会抛出任何异常，不存在异常处理的回滚需求。
此时std::vector就会放心使用移动构造函数完成元素转移，完全符合异常安全要求，同时获得更高的扩容效率。

补充说明：你代码中移动构造的参数声明为const Foo&&属于非常规写法，标准移动构造的参数应为非const的右值引用Foo&&，仅当你确定移动操作不会修改源对象时才可以使用const右值引用，这个写法不影响本次noexcept相关的逻辑验证。

内容的提问来源于stack exchange，提问作者JensB