关于数组的一些知识点
- 一般情况下,数组名代表数组首元素的地址,例如,在函数传参时数组名传递的实际上是数组首元素的地址,但是有以下两个例外:
1)sizeof(数组名)
,这里的数组名表示整个数组,计算的是整个数组的大小;
2)&数组名
,这里的数组名表示整个数组,取出的是整个数组的地址。
int arr[10];
int n = sizeof(arr); //此处arr表示整个数组,因此n = 40
整个数组的地址和数组首元素的地址虽然是相同的,但其所代表的意义不同,如下图所示
arr
、&arr[0]
和&arr
均指向了相同的地址, 而当对地址加一时,arr + 1
和&arr[0] + 1
与原本的地址相差了4个字节,而整型数组每个元素占据4个字节的内存空间,即指向了arr + 1
和&arr[0] + 1
数组的第二个元素,而&arr + 1
与&arr
相差0x28,转化为10进制为40,而整个数组的长度为40个字节,因此&arr + 1
是跳过了整个数组,指向下一个地址。
- 数组定义时去掉数组名之外的部分即为数组的类型
int arr[10] = { 0 }
数组名arr的类型为int [10] - 随着数组下标由小到大,地址由低到高变化
- 练习一:分析下列输出内容:
int main()
{
int a[] = { 1,2,3,4 };
printf("%d\n", sizeof(a));
printf("%d\n", sizeof(a + 0));
printf("%d\n", sizeof(*a));
printf("%d\n", sizeof(a + 1));
printf("%d\n", sizeof(a[1]));
printf("%d\n", sizeof(&a));
printf("%d\n", sizeof(*&a));
printf("%d\n", sizeof(&a + 1));
printf("%d\n", sizeof(&a[0]));
printf("%d\n", sizeof(&a[0] + 1));
return 0;
}
解析:
int main()
{
int a[] = { 1,2,3,4 };
printf("%d\n", sizeof(a)); //16
//当sizeof的操作数仅有数组名时,数组名表示整个数组
printf("%d\n", sizeof(a + 0)); //4 or 8
//数组名表示首元素的地址,a等价于&a[0],因此a + 0也是表示首元素的地址
printf("%d\n", sizeof(*a)); //4
//a表示首元素地址,因此*a找到的是数组的首元素
printf("%d\n", sizeof(a + 1)); //4 or 8
//a + 1表示第二个元素的地址
printf("%d\n", sizeof(a[1])); //4
printf("%d\n", sizeof(&a)); //4 or 8
//&a是整个数组的地址
printf("%d\n", sizeof(*&a)); //16
//*&a可以看作 int (*p)[4] = &a; *p
//p的类型为int (*)[4],即&a的类型为int (*)[4],
//对它解引用一次访问一个数组,即4(int) x 4(4个元素) = 16个字节
printf("%d\n", sizeof(&a + 1)); //4 or 8
//&a + 1表示跳过整个数组,访问下一个地址
printf("%d\n", sizeof(&a[0])); //4 or 8
//&a[0]表示第一个元素的地址
printf("%d\n", sizeof(&a[0] + 1)); //4 or 8
//&a[0] + 1表示第二个元素的地址
return 0;
}
- 练习二:
int main()
{
int a[3][4] = { 0 };
printf("%d\n", sizeof(a));
printf("%d\n", sizeof(a[0][0]));
printf("%d\n", sizeof(a[0]));
printf("%d\n", sizeof(a[0] + 1));
printf("%d\n", sizeof(*a[0] + 1));
printf("%d\n", sizeof(a + 1));
printf("%d\n", sizeof(*(a + 1)));
printf("%d\n", sizeof(&a[0] + 1));
printf("%d\n", sizeof(*(&a[0] + 1)));
printf("%d\n", sizeof(*a));
printf("%d\n", sizeof(a[3]));
return 0;
}
解析:
int main()
{
int a[3][4] = { 0 };
printf("%d\n", sizeof(a)); //48
printf("%d\n", sizeof(a[0][0])); //4
printf("%d\n", sizeof(a[0])); //16
//a[0]表示第一行这个一维数组的数组名,单独放在sizeof内部,就代表这个一维数组
printf("%d\n", sizeof(a[0] + 1));4 or 8
//a[0]指向第一行这个一维数组的首元素的地址,a[0] + 1表示第一行第二个元素的地址。
printf("%d\n", sizeof(*(a[0] + 1))); //4
//第一行第二个元素
printf("%d\n", sizeof(a + 1)); //4 or 8
//a表示首元素的地址,二维数组的首元素是它的第一行,因此a即为第一行的地址
//a + 1表示第二行的地址
printf("%d\n", sizeof(*(a + 1))); //16
//a + 1表示第二行的地址,*(a + 1)取出的是整个第二行,*(a + 1)相当于a[1]
printf("%d\n", sizeof(&a[0] + 1)); //4 or 8
//&a[0]拿到的是第一行的一维数组a[0]的地址,&a[0] + 1即为第二行的一维数组的地址
printf("%d\n", sizeof(*(&a[0] + 1))); //16
//对第二行解引用得到的是第二行整个数组
printf("%d\n", sizeof(*a)); //16
//a表示首元素的地址,即第一行的地址,*a得到的是第一行
printf("%d\n", sizeof(a[3])); //16
//sizeof不访问操作数的内容,只判断操作数的类型,因此不会出现越界访问的问题
//此处a[3]相当于第四行这个一维数组,在单独作为sizeof的操作数表示整个数组,因此输出16
return 0;
}