VC++中deque起始迭代器递减触发运行时断言的原因

对std::deque的begin()迭代器执行前置自减操作，本身就属于C++标准定义的未定义行为（Undefined Behavior, UB），和后续是否解引用该迭代器没有任何关系。

• C++迭代器的运算合法性仅由操作本身是否在合法边界内决定：只有当迭代器指向容器内有效元素、或是指向容器尾后位置（end()）时，自增、自减操作才是合法的。begin()指向容器第一个元素，其前方不存在合法的迭代器位置，对它做自减从操作执行的那一刻起就已经越界。
• Linux环境下GCC/Clang的默认编译配置没有开启迭代器运行时校验，非法操作不会被立刻拦截，才会出现"正常运行"的假象——这是未定义行为的典型特征：它既不保证程序崩溃，也不保证运行结果正确，表现完全随机，没有任何可移植性。
• Visual Studio的STL实现在Debug模式下默认开启迭代器调试检查，只要执行了非法的迭代器运算，不管后续是否使用该迭代器访问内容，都会立刻触发断言拦截，提前暴露代码中的问题。

不要依赖未定义行为编写代码，根据实际业务场景调整逻辑即可：

• 如果需要反向遍历双端队列，直接使用标准库提供的反向迭代器rbegin()/rend()，不要通过对正向迭代器做越界自减来模拟反向遍历。
• 如果是循环逻辑中需要回退迭代器，执行自减操作前必须先判断当前迭代器是否等于begin()，确认不在起始位置后再执行自减。

合法代码示例：

void foo(std::deque<Class>& dq)
{
    // 错误写法：对begin()自减，属于未定义行为
    // auto it = dq.begin();
    // --it;

    // 方案1：反向遍历直接使用反向迭代器
    for (auto rit = dq.rbegin(); rit != dq.rend(); ++rit) {
        // 业务处理逻辑
    }

    // 方案2：正向迭代器自减前必须做边界校验
    auto it = /* 业务逻辑对应的初始迭代器位置 */;
    if (it != dq.begin()) {
        --it;
        // 后续处理逻辑
    }
}

注意：即使在VS中关闭迭代器调试检查、或是在其他编译器上让这段错误代码暂时跑通，它依然是不符合C++标准的问题代码，后续只要编译器版本、编译选项、运行环境发生变化，就可能出现随机崩溃、数据错乱等不可预期的问题。

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