C语言中为何可操作超出数组定义大小的索引位置？

C语言的核心设计思路是信任程序员、优先性能，因此它不会在运行时自动检查数组的访问是否越界。当你创建一个包含5个元素的数组时（比如int arr[5];），系统会在内存中分配一段连续的、能容纳5个int类型的空间，对应合法索引是0到4。但如果你访问索引5，本质上是在访问数组内存块后方相邻的内存区域——这块内存可能属于其他变量，也可能是未被使用的空闲内存。

你能对索引5进行读写操作，只是因为当前程序运行时，这块内存暂时没有触发系统的内存保护机制，但这属于典型的未定义行为：

• 看似正常运行只是运气好，后续可能毫无征兆地崩溃；
• 严重情况下会覆盖其他变量的值，导致逻辑混乱，甚至引发安全漏洞；
• 在不同编译器、不同运行环境下，执行结果完全不可预测。

举个简单的代码示例：

int arr[5];
arr[5] = 10; // 越界写入，属于未定义行为

这段代码里的arr[5]等价于*(arr + 5)，编译器只会将其视为普通的内存地址访问，不会验证该地址是否属于数组本身。

你提到的“对第5个索引位置进行初始化操作”，本质和普通的越界写操作没有区别——C语言不会阻止你这么写，但这绝对是违反规范的错误写法，会给程序埋下严重隐患。

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