深入理解c语言数组
一 数组名是什么
数组就是一段连续可用的内存。
比如声明一个 int数组
int array[]={1,2,3};
array代表什么?有的资料说:数组名是指向数组首地址的常量指针。
下面我们可以验证一下。
我都知道sizeof操作符可以返回一个对象或者类型所占的内存字节数。
如:
int i=1;
那么sizeof(i) 的结果就是4(64位机器下的部分编译器是8)
那我们打印sizeof(array)
printf("%d\n",sizeof(array));
结果是:12。
但是我们都知道sizeof(指针变量)==4的。
所有我们得出:数组名不完全是指向数组首地址的常量指针。
为什么要用不完全,因为我们利用数组来访问数组元素的时候。它又变得像一个常量指针。
比如
array[0]等效于*(array+0)
这时候 array就是一个指向数组首地址的常量指针,指针类型是指向数组元素类型的指针。这里就是 int*类型
我们可以这样理解:
一个大学的名字叫array。
有人问你array是什么。你会告诉他array是大学,面积多少之类的。
但是有人问你去array怎么走,你会告诉他array的校门(首地址)在哪里。
结论:数组名其实代表的是一个内存区域,但是使用的时候变成了 指向数组首地址的常量指针。
但是这里还有一个小陷阱:
#include <stdio.h>
void foo(int a[])
{
printf("%d\n",sizeof(a));
}
int main(void)
{
int array[]={1,2,3};
foo(array);
return 0;
}
输出的不是12,而是4。
出于效率的考虑,数组传参是引用传参而不是拷贝传参。因为数组长度可能很大,拷贝一份的话太耗资源。
虽然我是这样函数是这样的
void foo(int a[])
{
printf("%d\n",sizeof(a));
}
编译器的眼中是这样
void foo(int *a)
{
printf("%d\n",sizeof(a));
}
所以sizeof(a)是sizeof(指针变量)肯定是4;
二 字符数组
首先我们看一个简单的程序
# include <stdio.h>
int main(void)
{
char *str1="abc";
char str2[]="def";
printf("%s\n",str1+4);
return 0;
}
输出的结果是 def。
我们要知道c语言中只要用到了 "xxxxx",系统都会自动的把双引号的内容添加到字符常量区。
注意:printf("xxxx");不会把"xxxx"添加到字符常量区。
char *str1="abc"; //会把 abc\0 添加到字符常量区,并把首地址赋值给str指针变量。
char str2[]="def"; //会把 def\0 添加到字符常量区,并且函数栈中添加一个字符数组 内容也是 def\0,str2指向的是栈中的数组。
char str[]={'x','y','z'}; //只会在函数栈中添加数组
由于字符常量区是连续的,所以
printf("%s\n",str1+4);
可以打印出str2的值。
三 二维数组
int array[][3]={1,2,3,4,5,6};
前面我们已经说了,使用array访问元素时,array就是一个指针类型为指向数组元素的指针类型,指向数组首地址的指针。
二维数组的元素就是数组,
这样写就更容易理解:
int array[][3]={{1,2,3},{4,5,6}};
所有可以 这样认为 array是这样认为的
int (*const array)[3];
当我访问数组元素时候
array[x][y]在编译器看来就是 *(*(array+x)+y)
*(array+x) 得到的是一个 第x行 类型为 “int[3]”(c语言没有这样的写法) 的数组,
数组名在访问元素的时候当做首地址指针来用,在这里 *(array+x)等同于数组名,
指针类型int *,指向的地址为 array+sizeof(int(*)[3])*x。
访问这个数组的第y个元素的时候,就要用 *(*(array+x)+y)。
这些就是我对c语言数组的理解,如果错误的地方,谢谢指正,轻喷哈。