C语言数组越界访问未触发段错误的原因咨询

首先明确核心规则：C语言中所有超出数组边界的内存访问都属于未定义行为，段错误并不是越界访问的必然结果。

• 段错误是操作系统级的内存保护机制触发的报错，只有当访问的地址不属于当前进程的合法地址映射范围、或者违反了内存页的读写权限（比如写只读的代码段）时，才会触发段错误。内存保护的最小粒度是内存页（通常大小为4KB），仅越界几个字节的访问往往还落在合法映射的内存范围内，根本不会触发内存拦截。

针对你这段代码的具体运行情况：

1. 你在栈上定义的array数组长度为4，元素为'a'/'b'/'c'/'d'，本身没有存储C字符串必需的'\0'终止符，while(*p)的循环逻辑本身就存在越界风险。
2. 你运行时循环能正常退出、访问越界内存没有报错，纯粹是运行时的内存布局巧合：栈内存分配时不会自动清零，会残留之前栈操作留下的旧数据，这次运行时array数组紧邻的后方栈内存刚好存在一个值为'\0'的字节，指针p走到这个位置时满足循环退出条件。这个位置属于当前进程栈预留的合法地址范围，读这个位置的内存、甚至读后面p[4]位置的内存，都不会触发操作系统的内存保护，自然不会报段错误。

注意：不存在“数组外未赋值内存默认存储'\0'”的语言规则。只有全局变量、静态变量所在的BSS段会被操作系统自动初始化为0，栈上、堆上分配的内存不会自动初始化。你这次碰到0值完全是偶然情况：换编译优化等级、调整代码里的变量定义顺序、换不同的运行环境，数组后方的内存值都可能发生变化，届时循环可能会持续向后读栈内存，直到碰到随机的0值停下，或是访问到未映射的地址触发段错误，程序行为完全不可预测。

这类没有显式边界检查的字符遍历逻辑，必须保证处理的char数组是以'\0'结尾的合法字符串，否则就是典型的内存安全bug。

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