C++访问vector负索引未触发段错误输出异常值的原因

C++中数组、std::vector通过operator[]访问负索引/越界索引属于未定义行为（Undefined Behavior, UB），并非必然触发段错误，输出垃圾值、程序不崩溃是这类未定义行为的典型表现，具体原因如下：

• std::vector的operator[]从设计上就不做边界检查，和原生C数组的下标访问行为完全一致，C++标准不要求它对索引是否落在[0, size())合法区间做校验。只有显式调用带边界检查的at()方法时，越界访问才会按标准抛出std::out_of_range异常。
• 段错误不是C++层面的报错，是操作系统内存保护机制触发的信号：只有当进程访问的地址没有对应访问权限、或者不属于进程合法地址空间时，内核才会发送段错误信号终止程序。你代码中访问的arr[-1]对应的地址，是vector元素存储区首地址向前偏移1个int长度的位置，这个位置通常落在进程已经申请到的合法堆内存范围内（可能是堆管理器的元数据、之前内存分配残留的脏数据），CPU访问时不会触发权限异常，自然不会触发段错误，只会读出该位置存储的不确定值，也就是你看到的垃圾值或0。
• 未定义行为没有任何确定性结果：当前环境下不崩溃只是偶然现象。如果换编译选项（比如开启ASAN地址消毒）、换操作系统/编译器版本、调整代码上下文（比如取消注释负索引写入的代码，很可能覆盖堆管理元数据，导致后续内存释放/分配时崩溃），可能出现任意结果：崩溃、数据错乱、甚至看起来“正常运行”，不存在可移植的预期行为。

所有越界下标访问无论是否立刻触发崩溃，都是违反C++标准的错误写法，绝对不能在生产代码中依赖这类偶然行为。如果需要运行时边界校验，请使用vector::at()接口。

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