C ++：当我应该[重复]时没有得到段错误

Question

在注意到另一个项目中发生了一些奇怪的事情后，我写了以下内容。即使数组被多次调用越界，此代码也不会产生段错误。有人可以向我解释为什么运行下面的代码没有段错误吗？

#include <stdlib.h>
#include <stdio.h>
int main()
{
    int *a = (int *)malloc(4 * sizeof(int));
    int *b = (int *)malloc(3 * sizeof(int));
    int i = 0;
    for(i =0; i <3 ; i++)
    {   
     b[i] =  3+i;
    }   
    for(i = 0; i < 4; i++)
    {   
     a[i] = i;
    }   
    for(i = 0; i < 100 ; i++){
     a[i] = -1; 
    }   
    for(i = 0 ; i < 100 ; i++){
    printf("%d \n", b[i]);
    }   
}

Answer 1

仅当您尝试访问未映射到您的进程的内存位置时才会发生段错误。

malloc 取自构成堆的更大的预分配内存块。例如。系统可能会以 4K 块为单位创建（或增加）堆，因此超出数组边界的范围仍将位于已分配给进程的堆内存块内（并将从中分配内存以供后续使用malloc)。

在不同的情况下（之前分配了更多内存，因此您的 malloc 接近堆块的末尾），这可能会出现段错误，但基本上无法预测这一点（尤其是考虑到不同的平台或编译器） .

Answer 2

未定义的行为是未定义的。任何事情都可能发生，包括“正确”行为的出现。

Answer 3

当进程尝试访问操作系统认为不属于该进程的内存时，会发生分段错误。由于操作系统内部的内存统计是按页完成的（通常 1 页 = 4 KB），因此进程可以访问已分配页内的任何内存，而操作系统不会注意到它。

Answer 4

1. 应该使用new 而不是malloc
2. 什么是平台？
3. 当您尝试未定义的行为时 - 猜猜它是未定义的。