1.
C语言的数组定义其实是一个指针的trick,事实上:
a[3] == *(a+3) == *(3+a) == 3[a]
这说明C语音的数组信息中,并没有数组长度的信息,只有两个地址(也就是a和(a+3))。所以C语言没办法判断一个数组是否越界。
但这并不代表我们就没有必要判断数组是否越界或者说去遵循数组定义时的大小,在编译的时候,系统会给数组一个规定长度的专用空间来,如果你超过了这个空间,那么就会影响到其他的数据,你的程序很可能会出错, 比如:
#include<stdio.h>
main()
{
int a[3] = {1, 2, 3};
int b[3] = {12,12,12};
printf("改变前\n");
for(int i = 0; i < 10; i++) {printf("%d ",*(a+i));}
printf("\n");
for(int i = 0; i < 10; i++){printf("%d ",*(b+i));}
printf("\n");
b[5] = 33;
printf("改变后\n");
for(int i = 0; i < 10; i++) {printf("%d ",*(a+i));}
printf("\n");
for(int i = 0; i < 10; i++){printf("%d ",*(b+i));}
}
这个代码的输出是:
可以看到,这里系统给a数组分配的空间刚好就在b数组的后面两位。如果我超过b数组的定义长度,改变*(b+5)的值为33,那么这个时候a数组中,第二个数的值就从2被改变成了33。这样就容易造成错误。
2.
c99中有变长数组,你可以这样使用它:
#include<stdio.h>
main()
{
int n = 3;
int a[n];
}
值得注意的是,这样使用的时候,a[n]不能初始化,至少初始化的长度不可以比n大,不然就会出错。以及,变长数组只能是自动分配的类型,也就是说它只能在函数内部或者是在函数的参数中声明,并且它也不能为静态变量。 原因就是,在编译的时候系统无法确定要分配的专用空间的大小。