为何std::deque迭代器支持步长偏移操作但std::multimap不支持？

C++标准库的迭代器按支持的操作划分为不同能力等级，直接使用+运算符添加整数偏移步长，是随机访问迭代器独有的特性，其他类别的迭代器未定义该操作，因此会编译失败。

• std::deque的迭代器属于随机访问迭代器：deque虽然采用分段连续存储结构，但其迭代器内部封装了跨段跳转逻辑，支持O(1)时间复杂度的偏移计算、下标访问、迭代器大小比较，因此my_deq.begin() + 1是合法语法。
• std::multimap（以及同属关联容器的std::map、std::set，和链式容器std::list）的迭代器属于双向迭代器：这类容器底层多采用红黑树、链表等非连续存储结构，迭代器仅支持单步++/--前移后移操作，无法直接跳转多步，因此直接写begin() + 1不符合语法规范。

如果需要对双向迭代器做多步偏移，使用标准库提供的std::next/std::advance工具函数即可，这两个函数会自动识别迭代器类型：遇到随机访问迭代器直接用+计算偏移，遇到双向/前向迭代器则循环执行单步移动，自动选择最高效的实现。修正后的可编译代码如下：

#include <iostream>
#include <deque>
#include <map>
#include <iterator>

int main()
{    
    std::deque<int>my_deq{1, 2, 3};
    std::deque<int>::iterator iterator_deq;
    iterator_deq = my_deq.begin() + 1;    

    std::multimap<std::string, int>my_multimap{{"test", 1}, {"demo", 2}};
    std::multimap<std::string, int>::iterator iterator;
    // 原错误写法：iterator = my_multimap.begin() + 1;
    iterator = std::next(my_multimap.begin(), 1);
}

补充说明：示例原代码中两个容器均为默认初始化的空容器，此时begin() == end()，即使语法层面支持偏移操作，对空容器迭代器做偏移也属于越界的未定义行为，实际使用时需要保证容器内存在足够元素。

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