C++向std::vector空索引位置赋值抛出std::out_of_range异常的问题问询

std::vector::at()的越界校验逻辑是基于vector的实际元素个数（size），而非底层预分配的容量（capacity）：

• 哪怕提前调用过reserve()给vector预留了内存空间，只要没有通过resize()、push_back()等方法把对应索引的位置初始化为合法元素，该索引就处于越界范围，访问时必然抛出std::out_of_range异常。
• 本质上std::vector是连续线性存储的容器，不存在所谓“中间空位置”，所有合法可访问的索引区间是[0, size()-1]。

如果使用场景是需要连续的内存块（这也是选择vector作为存储结构的核心初衷），直接在操作前调整vector的实际大小，覆盖目标操作区间即可，推荐写法：

#include <algorithm> // 为std::fill提供支持

public: 
void reserveMemory(int start, i32 space) {
    const i32 targetEnd = start + space;
    // 若当前vector大小不足以覆盖从start开始的space个元素，直接扩容到目标长度
    // 新增的元素会自动做值初始化（int32_t类型默认初始值为0）
    if (memory.size() < static_cast<size_t>(targetEnd)) {
        memory.resize(targetEnd);
    }
    // 目标区间已经处于合法索引范围内，批量填充0值，比手写循环效率更高
    std::fill(memory.begin() + start, memory.begin() + targetEnd, static_cast<i32>(0));
}

• 不要直接把at()替换为operator[]来规避异常：如果目标索引依然超出当前vector的size范围，这种访问属于未定义行为，会造成随机内存踩踏、程序无征兆崩溃，排查难度远高于主动抛出的越界异常。
• 严格区分reserve()和resize()的作用：
  • reserve(n)：仅调整底层可存储的最大元素容量，不改变实际已存在的元素个数，不会让原本越界的索引变成合法可访问的位置。
  • resize(n)：直接调整vector实际的元素个数，新增的元素会被值初始化，超出n的尾部元素会被删除，此时索引范围自动变为[0, n-1]。

如果需要操作的索引存在大量空洞（比如要从索引1000开始占10个位置，但前面0-999的位置完全不需要存储值），用vector会造成大量无效内存浪费，此时可以把memory的类型替换为std::map<i32, i32>或者std::unordered_map<i32, i32>：

// 类成员修改为map类型
std::map<i32, i32> memory;

public:
void reserveMemory(int start, i32 space) {
    for (int index = start; index < start + space; index++) {
        // 访问不存在的键时，map会自动插入默认值为0的键值对，不会触发越界异常
        memory[index] = static_cast<i32>(0);
    }
}

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