访问二维数组的正确方法 - C

Question

假设我有这个动态分配的二维数组:

//Example of a 3 row * 2 columns int array
int (*arr)[2] = malloc(sizeof(int[3][2]));

但是，然后我发现如果我这样做:

arr[0][5] = 1;

编译器没有提示，至少用 valgrind 测试时，它也没有提示。它不会，除非我尝试访问超过分配空间大小的空间。

我发现自动数组也会发生同样的情况:

int arr[3][2];
arr[0][5] = 1; //Code works without errors 

我现在的问题是:如果编译器接受 arr[0][5] = 1，那么声明例如 int arr[3][2]; 有什么意义; 无论如何？

我正在使用 GCC 编译器

Answer 1

一般来说，不要超出您分配的内存范围。

默认情况下，Clang 将对这两个示例发出警告，而 GCC 将在没有实际使用变量的情况下对这两个示例发出警告(这是死代码消除器的错误)。如果变量被使用或声明为 volatile，您可以使用 -O2 -Wall -Wextra 启用警告。

使用 GCC 和 Clang，这样做是“安全的”；每次都会发生同样的事情。

但是，这是未定义的行为，因此不是一个好主意。对于执行此操作以使您的计算机长出腿并走开的程序来说，这是完全有效的。

一种等效的赋值方式是:

arr[2][1] = 1;

这是基于数组元素按顺序存储在内存中的假设。

因此，&arr[5][0] 在技术上与 &arr[2][1] 相同，但不应使用它。

我的建议:

int arr[3][2];
int x, y;

for( x = 0; x < 3; x++ )
    for( y = 0; y < 2; y++ )
        arr[x][y] = x * y;

这保证是安全的。