为什么编译器不给我错误？

Question

#include <stdio.h>
#include <stdlib.h>

int main() {
    system("clear");
    int *pt = malloc(2 * sizeof *pt);
    int *tmp = NULL;
    int i;

    pt[0] = 44;
    pt[1] = 9;
    printf("pt[0] : %d\n", pt[0]);
    printf("pt[1] : %d\n", pt[1]);
    tmp = realloc(pt, 3 * sizeof *pt);
    if (!tmp) {
        printf("merde alors\n");
    } else {
        pt = tmp;
        for (i = 0; i < 5; i++) {
            pt[i] = i + 1;
            printf("pt[%d] : %d\n", i, pt[i]);
        }
    }
    //the compiler should give me an error here, because I try use an unallocated memory:
    printf("pt[%d] : %d\n", i + 8, pt[i + 8]);
    free(pt);
    return 0;
}

大家好 :) 如您所见，我不明白，我尝试使用未分配的内存，因此我希望从编译器收到一个激进的错误。 原谅我的英语不好。 感谢您的时间 ：） Valgrind report :

Answer 1

  //the compiler should give me an error here, because i try use an unallocated memory:   
  printf("pt[%d] : %d\n", i+8, pt[i+8]);

通常你不会从编译器中得到这样的错误，由你来跟踪它。这就是 C 的美丽或黑暗的一面。如果出现 undefined behaviour (UB) 这样的问题，结果会更糟。

所以这取决于你。当存在明显的数组越界访问时，某些编译器标志或静态分析器有时可能会为您提供帮助。

许多其他相关问题也是如此，编译器不会警告你，你会得到 UB - 这就是为什么在 C 或 C++ 等语言中，你真的需要知道你在做什么。

同样在这种特殊情况下，如果您在运行时指定数组大小，编译器甚至可能不知道数组大小是多少 - 所以它不会给您错误。即使它知道，编译器也不会总是告诉你数组越界访问。

Answer 2

编译器不会在编译时检查您正在访问的内存是否存在。这一切都是在运行时由您的操作系统完成的。导致分段错误发生的不是 C 本身，而是实际上是您的操作系统告诉 C 停止。