原因是:数组下标访问本质是“指针解引用操作”,而指针又是地址,指针的±运算,+0就是第一个元素的地址。
例如:
在C语言中分两种情况:
越界的检查是一种抽查,就像查酒驾一样。C编译器在数组后面设置一些标志位,如果这些标志位的内存被改变值了,那就报错了,不过如果越界超过这些标志位,编译器也是检查不出来的;这也是越界读不报错的原因,仅仅是访问这个内存地址,C编译器并不会察觉。
越界读不会报错:
越界写可能不会报错(VS2022的编译器会报错了,并且还会给出具体的提示):
低些版本的,可能访问a[10],a[11],a[12]才报错,访问a[15]开始可能就不报错了。