错误矩阵乘法未触发段错误的原因排查（M3 Mac环境）

以下是几个核心原因：

• 内存分配器的额外空间策略
  macOS的默认内存分配器（libmalloc）会为堆分配的内存块添加额外的对齐空间、元数据区域，甚至对小内存块采用「slab分配」机制——按固定大小的内存块批量分配。如果你的make_matrix是按行分配内存，或者整体分配的矩阵B内存刚好被分配器多划出了一段可读写空间，访问越界的第5行时可能刚好落在这块合法的额外空间里，不会触发页错误。

• ARM64内存页的粒度特性
  M3基于ARM64架构，系统默认的内存页大小通常是16KB（甚至更大）。如果你的矩阵每行数据量很小，4行矩阵加上越界的第5行总字节数远小于一个内存页的大小，且这个页的权限是可读写的，那么越界访问不会触及未映射的内存页，MMU（内存管理单元）就不会抛出段错误异常。只有当访问地址落在完全未映射的页上时，才会触发段错误。

• 编译器与架构的访问容忍度
  如果你用Clang编译时开启了优化（比如-O2），编译器可能会消除数组边界检查，甚至对内存访问做重排，让越界访问的行为被「掩盖」。另外，ARM64架构对未对齐内存访问的容忍度远高于x86，一些在x86上会触发异常的越界访问，在ARM64上可能只是读取到无关的有效内存数据。

• 内存布局的偶然性
  程序运行时，矩阵B的内存块后面可能刚好紧跟着其他已分配的有效内存（比如栈变量、其他堆分配的对象），此时越界访问只是读取了这些无关的合法数据，而非未映射的内存区域，自然不会触发段错误。这种情况是随机的，调整内存分配顺序、重启程序或更换环境都可能触发预期的段错误。

验证方法 #

可以通过以下方式确认：

1. 在矩阵B分配后，紧接着分配一块内存并填充特定标记值，查看越界访问读取的是否是这些标记值；
2. 使用macOS自带的malloc_debug工具运行程序，它会在堆内存块前后添加保护页，一旦发生越界访问就会立刻触发错误。

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