C++中为何能访问vector超出声明大小的下标位置？

核心原因是C++ std::vector 的设计规则和未定义行为特性 #

• std::vector 的[]运算符本身没有边界检查逻辑，这是标准为了兼顾性能、和原生数组行为对齐做的设计取舍。只有at()方法会主动做边界校验，越界时抛出std::out_of_range异常。
• 你观察到的“越界访问正常运行”只是*未定义行为（Undefined Behavior, UB）*的一种表现，不代表操作是合法的：C++标准没有对越界访问vector的行为做任何约束，程序运行结果完全随机，可能正常输出、可能返回乱码、可能直接崩溃，甚至可能意外修改进程内其他变量的数值，任何结果都符合标准要求。
• 之所以访问下标10000也没有触发崩溃，是因为你访问的虚拟地址刚好落在当前进程有权限读取的内存页范围内：操作系统给进程分配的地址空间里，只要访问的地址没有被标记为不可读、不属于其他进程的独占空间，就不会触发段错误（Segmentation Fault）。哪怕这个地址不属于当前vector的分配范围，只要刚好是进程已申请的堆/栈内存空间，就不会立刻报错，但这种访问的风险极高，随时可能导致程序异常。

额外的认知修正 #

你对vector扩容的理解存在偏差：你定义vector<int> v(6);时，默认初始化的vector的size()（有效元素个数）是6，绝大多数标准库实现下capacity()（预分配内存容量）也为6，哪怕你访问下标7，也已经超出了预分配的容量范围，本身就是非法操作，不存在“预分配容量足够所以可以访问”的合理性。

实践建议 #

如果需要安全的边界校验，优先使用at()方法访问元素：

cout << v.at(7); // 越界时直接抛出异常，提前发现问题

绝对不要依赖未定义行为的“正常”表现写代码，这类隐式隐患极难排查，会在后续运行中随机触发故障。

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