假设我有这个动态分配的二维数组:
//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 编译器
最佳答案
一般来说,不要超出您分配的内存范围。
默认情况下,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;
这保证是安全的。
关于访问二维数组的正确方法 - C,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59132312/