C语言向calloc动态分配内存写入超量元素未报错问题咨询

• C语言原生无边界检查机制
  C语言设计以高性能为核心，默认信任程序员的操作，不会在运行时自动校验指针/数组的访问范围是否合法。越界内存访问属于未定义行为，C标准没有规定这类场景必须抛出错误，实际运行结果完全取决于运行环境：无报错正常运行、结果异常、程序崩溃、数据损坏都是可能的结果。你遇到的无报错只是未定义行为的其中一种表现，不代表代码本身合法正确。
• 堆内存分配底层存在预留空间
  你调用calloc申请10个int的空间时，底层内存分配器（比如glibc的ptmalloc）实际分配的内存通常会大于你申请的40字节：一方面要满足系统内存对齐要求（通常为8或16字节对齐），另一方面分配器需要在堆块前后存储管理用的元数据，部分场景下还会预留额外的缓冲区。你越界访问的范围如果刚好落在这些未被你申请但属于当前进程可访问的堆空间内，就不会触发异常。
• 段错误触发有特定条件
  只有当你访问的虚拟内存地址符合以下任意一种情况时，操作系统才会抛出段错误（SIGSEGV）：
  • 该地址没有被映射到当前进程的地址空间
  • 你对该地址的操作没有对应权限（比如对只读内存段执行写操作）
    你本次测试时越界访问的10000个int对应的地址，刚好都落在进程已映射的可写堆范围内，因此没有触发操作系统的异常拦截，但这完全是随机结果，换运行环境、换编译器版本、或者代码中新增几个变量，都可能直接导致程序崩溃。

这类未定义行为的代码有极高的隐患，越界写入的内容可能覆盖其他变量的值、破坏堆的管理元数据，导致后续free调用异常、数据随机损坏、程序随机崩溃等极难排查的问题。如果要检测这类越界问题，可以使用地址消毒器（ASAN），编译时添加-g -fsanitize=address参数，运行程序时就会精准定位到越界访问的代码位置，抛出明确的错误提示。

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