C语言中二维数组内层越界访问是否为未定义行为？

arr[0][5]属于C标准明确定义的未定义行为，标准不保证它和合法写法arr[1][0]的访问效果等价，哪怕在绝大多数硬件和实现下，两者对应的物理内存地址完全重合。

底层规则拆解 #

理解这个问题需要严格对照C标准的对象边界规则逐层分析：

• 首先明确各指针的合法访问范围：
  • arr是指向「长度为5的int数组」的指针，本次malloc申请的连续内存块被约定为存储5个连续的int[5]数组对象，共包含25个int大小的连续空间。对arr做下标访问时，合法范围是0 <= i <5，对应这5个独立的int[5]数组。
  • 每次访问arr[i]得到的是int*类型的指针，它只对应第i个独立的int[5]数组的首元素，因此对这个指针做下标访问的合法范围是0 <= j <5——因为单个int[5]数组的总长度只有5个int元素。
• 两个表达式的本质访问路径差异：
  • arr[1][0]是完全合法的访问：它的路径是先通过arr +1得到指向第2个int[5]数组的指针（完全在arr指向的5个int[5]组成的连续数组的合法范围内），再解引用访问该数组的第0个元素，全程没有越界，行为完全确定。
  • arr[0][5]是明确的越界访问：它的路径是先用arr[0]拿到第一个int[5]数组的首元素指针，对这个指针做加5运算后，得到的位置刚好是第一个int[5]数组的「尾后地址」（物理上和&arr[1][0]完全重合）。C标准明确允许指针等于所属数组的尾后位置，但绝对禁止解引用这个尾后指针：这部分内容的规则写得非常明确，尾后指针仅可用于地址计算、同数组的指针比较，不代表它指向了可访问的内存——哪怕这个位置物理上落在了已分配的内存块范围内，解引用依然属于未定义行为。

常见认知澄清 #

• 不存在“内存连续分配、地址对上就合法”的说法。C标准的对象边界是严格按类型层级划分的，和物理内存是否连续没有关系。哪怕是栈上定义的两个连续数组int a[5]; int b[5];，写a[5]解引用访问b[0]，同样属于未定义行为，和malloc分配的场景没有本质区别。
• 单独计算&arr[0][5]是完全合法的：这个表达式得到的尾后指针值和&arr[1][0]完全相等，对两者做相等比较也是被标准允许的，问题只出在“解引用这个越界指针”的操作上。
• 如果确实想把整块内存当成连续的int数组访问，正确的写法是将内存转换为int*类型，例如写int *p = (int*)arr;，此时访问p[5]就是完全合法的——因为此时p指向的是一个长度为25的连续int数组，下标5完全在合法范围内。

实际影响 #

未定义行为不等于“运行时一定会出错”，而是编译器可以基于“开发者不会写出越界代码”的假设做激进优化。一旦代码中出现了arr[0][5]这类越界访问，编译器可能直接删除这段无效代码、或者基于边界假设做指令重排，最终出现和预期地址完全不符的运行结果。

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