调用std::vector::insert(pos, value)传入非法pos的行为是什么？

结论 #

向std::vector::insert传入非法的pos迭代器属于C++标准明确规定的未定义行为，不存在统一的执行结果，具体表现完全依赖编译器、STL实现以及编译参数。

针对你关注的两个问题，具体说明如下：

• 返回值无标准定义：不存在固定的返回结果，不同场景下可能返回野迭代器、程序直接崩溃终止根本不执行返回逻辑、返回错误指向其他内存地址的迭代器等任意情况，其结果完全不可信。
• 是否抛异常取决于调试配置：C++标准没有强制要求该场景必须抛出异常，实际表现由STL实现决定：
  • 若开启STL调试校验（例如MSVC的_DEBUG编译模式、GCC/Clang开启_GLIBCXX_DEBUG宏），主流STL实现会主动校验迭代器合法性，要么触发断言直接终止程序，要么抛出迭代器非法相关的异常。
  • 若使用默认Release编译模式，几乎所有主流STL实现都会省略迭代器合法性校验以提升性能，此时不会抛出任何异常，直接触发非法内存访问，可能出现程序崩溃、数据随机损坏、逻辑执行错乱等任意问题。

最佳实践 #

你需要自行保证传入insert的pos是指向当前std::vector的有效、未失效的迭代器，且范围落在[cbegin(), cend()]闭区间内，从根源上避免这种未定义行为。

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