C++Builder中vector扩容时无视noexcept始终移动对象的问题

核心差异背景 #

在标准C++行为中（如Wandbox使用的GCC/Clang STL实现），std::vector扩容时会严格遵循以下规则：

• 若元素的移动构造函数标记为noexcept，则优先使用移动操作转移旧内存中的元素，效率更高；
• 若移动构造函数未标记noexcept，则会退化为拷贝操作，以此保证强异常安全（即扩容过程中若抛出异常，原容器的元素状态不受破坏）。

但C++Builder 11.3的STL实现表现出明显差异：只要类存在移动构造函数，无论是否带noexcept，都会直接使用移动操作，甚至移动构造函数抛出异常也不会触发拷贝回退。

具体原因解析 #

1. STL实现的非标准行为 #

CBuilder使用的是Embarcadero定制的STL（基于早期Rogue Wave STL衍生），其std::vector的扩容逻辑并未严格遵循C标准中关于异常安全的要求。标准要求只有当移动操作不会抛出异常时，才能用移动替代拷贝来保证强异常安全，但该实现可能直接跳过了noexcept检查，默认优先使用移动构造函数。

2. 异常安全策略的取舍 #

标准STL的设计优先保证强异常安全，为此牺牲了部分性能（当移动构造不noexcept时退化为拷贝）。而C++Builder的STL实现可能选择优先追求性能，放弃了强异常安全的保证：即使移动构造可能抛出异常，仍会使用移动操作，这会导致扩容过程中若抛出异常，原容器的元素可能处于被部分移动的损坏状态。

3. 编译器特定的扩展或未完全兼容标准 #

CBuilder 11.3对C标准的支持可能存在滞后或定制化处理。在C11引入移动语义后，不同厂商的STL实现对noexcept在容器操作中的应用节奏不同，该版本的CBuilder可能还未完全对齐标准中关于vector扩容时移动/拷贝选择的规则。

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