一、一维数组
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));
int型的数组,未说明数组个数,初始化4个元素,它的数组个数也会默认为初始化的个数。
a:16
数组名在两总情况下表示整个数组,一是在sizeof()内单独出现;二是&数组名。其余时都表示数组首元素地址。
a+0:4/8
上面说过只有数组名单独出现在sizeof内时才表示整个数组,所以a就是首元素地址。a+0,还是1的地址,地址在x86环境下是4个字节,x64环境下是8个字节。
*a: 4
a不是单独出现的,是首元素地址,解引用就是1,它是一个整形。
a+1:4/8
a是地址,地址无论+-整数几它都是地址。我们也要知道它是指向谁的地址,a是数组第一个元素1的地址,类型是int+1跳过4个字节,a+1就是第二个元素2的地址。
a[1]:4
a[1]也为*(a+1),指向了2。
&a:4/8
它虽然在sizeof内不是单独出现的,但&a已经说明a是整个数组了,数组的地址也是地址,所以结果是4/8。
*&a:16
*和&放在一起是会相互抵消的,而&已经说明了a是数组。
&a+1:4/8
&a是地址+1也是地址。
&a[0]:4/8
[]的优先级是比&高的,所以a是首元素地址,&取的是1的地址。
&a[0]+1:4/8
同上不过是地址+1。
二、字符数组
char arr[] = {'a','b','c','d','e','f'};
printf("%d\n", sizeof(arr));
printf("%d\n", sizeof(arr+0));
printf("%d\n", sizeof(*arr));
printf("%d\n", sizeof(arr[1]));
printf("%d\n", sizeof(&arr));
printf("%d\n", sizeof(&arr+1));
printf("%d\n", sizeof(&arr[0]+1));
arr里放了6个元素,它里面放的都是字符,不是字符串。
arr:6
单独在sizeof内出现,表示整个数组。
arr+0:4/8
arr是首元素地址,+-整数几都是地址。
*arr:1
对首元素地址进行解引用是a。
arr[1]:1
arr[1]==*(arr+1)==b
&arr:4/8
取的是数组的地址。
&arr+1:4/8
数组地址+1,还是地址。
&arr[0]+1:4/8
&arr[0]是取a的地址,+1就是b的地址。
char arr[] = {'a','b','c','d','e','f'};
printf("%d\n", strlen(arr));
printf("%d\n", strlen(arr+0));
printf("%d\n", strlen(*arr));
printf("%d\n", strlen(arr[1]));
printf("%d\n", strlen(&arr));
printf("%d\n", strlen(&arr+1));
printf("%d\n", strlen(&arr[0]+1));
这里是strlen不是sizeof
arr:随机值
arr是a的地址,strlen遇到'\0'才会停下来,而后面没有自己定义'\0'strlen返回的值都是随机值,在arr中没有'\0'。
arr+0:随机值
结果同上,+0不做任何改变
*arr:err
是把a传了过去,strlen是char*类型接收,会访问错误。
arr[1]:err
arr[1]是b,结果同上
&arr:随机值
数组的地址是和首元素的地址相同的,只是类型不同,访问权限不一样。这里&arr传过去会转换为char*类型,结果与arr相同。
&arr+1:随机值
+1跳过了整个数组,向后解引用找'\0',结果会是arr的随机值-6。
&arr[0]+1:随机值
&arr[0]是a的地址,+1就是b的地址,结果会是arr的随机值-1。
char arr[] = "abcdef";
printf("%d\n", sizeof(arr));
printf("%d\n", sizeof(arr+0));
printf("%d\n", sizeof(*arr));
printf("%d\n", sizeof(arr[1]));
printf("%d\n", sizeof(&arr));
printf("%d\n", sizeof(&arr+1));
printf("%d\n", sizeof(&arr[0]+1));
数组里存放的是字符串,有7个元素。
arr:7
arr单独在sizeof内表示整个数组,计算整个数组的大小,7个元素类型是char。
arr+0:4/8
arr不是单独出现表示首元素地址,+0还是首元素地址。
*arr:1
arr是首元素地址,解引用是a。
arr[1]:1
arr[1]也可以写作*(arr+1),表示b。
&arr:4/8
取出的是数组的地址。
&arr+1:4/8
数组的地址+1还是地址,表示数组后面第一块地址
&arr[0]+1:4/8
arr[0]是a,&a的地址+1是b的地址。
char arr[] = "abcdef";
printf("%d\n", strlen(arr));
printf("%d\n", strlen(arr+0));
printf("%d\n", strlen(*arr));
printf("%d\n", strlen(arr[1]));
printf("%d\n", strlen(&arr));
printf("%d\n", strlen(&arr+1));
printf("%d\n", strlen(&arr[0]+1));
arr:6
arr==首元素a的地址,a到'\0'有6个元素。
arr+0:6
arr+0==a的地址。
*arr:err
*arr==a,strlen需要的是一个有效地址,还要对地址访问,这里会非法访问。
arr[1]:err
arr[1]==b,原因同上。
&arr:6
&arr==数组的地址,使用的效果与arr相同。
&arr+1:随机值
&arr+1==数组后第一块地址,遇到'\0'才会停下来,而后面内存都是随机值。
&arr[0]+1:5
&arr[0]+1==b的地址,到'\0'有5个元素。
char *p = "abcdef";
printf("%d\n", sizeof(p));
printf("%d\n", sizeof(p+1));
printf("%d\n", sizeof(*p));
printf("%d\n", sizeof(p[0]));
printf("%d\n", sizeof(&p));
printf("%d\n", sizeof(&p+1));
printf("%d\n", sizeof(&p[0]+1));
p:4/8
p==a的地址
p+1:4/8
p+1==b的地址
*p:1
*p==a,a作为常量在内存中存储是1个字节。
p[0]:1
p[0]==a,同上。
&p:4/8
&p==p的地址,是地址就是4/8个字节。这要注意p是指针不同与数组,它是有一块单独的空间里面存放的是a的地址,&p则又是一块新的地址。
&p+1:4/8
&p+1==p地址后的第一块地址。
&p[0]+1:4/8
&p[0]+1==b的地址。
char *p = "abcdef";
printf("%d\n", strlen(p));
printf("%d\n", strlen(p+1));
printf("%d\n", strlen(*p));
printf("%d\n", strlen(p[0]));
printf("%d\n", strlen(&p));
printf("%d\n", strlen(&p+1));
printf("%d\n", strlen(&p[0]+1));
这里传递的参数与上面相同
p:6
a到'\0'有6个元素。
p+1:5
b到'\0'有5个元素。
*p:err
a不是地址,会非法访问。
p[0]:err
同上。
&p:随机值
p也是开辟的变量里面存放的是地址,在对&p以char*解引用然后++去找'\0'也是随机值。
&p+1:随机值
同上。
&p[0]+1:5
&p[0]+1也等同p+1。
三、二维数组
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]));
a:48
a表示整个数组。
a[0][0]:4
a[0][0]==0,数组的内容全是0。
a[0]:16
二维数组在内存是连续存储的
其实我们也可以把它看为一个3行4列的数组,每行都是一个一维数组
a不是单独存放的,代表首元素地址,而这里的首元素地址可以通过上图看为首行的地址,每一行都是一个int[4]类型的数组,a的类型就是int(*)[4]。a[0]对数组地址+0解引用就是数组首元素地址(数组名),数组名单独放在sizeof内代表整个数组。
a[0]+1:4/8
a[0]是第一行数组名,它不是单独存放的,就代表第一行首元素地址,a[0]+1==第一行数组第二个元素的地址。
*(a[0]+1):4
a[0]+1==第一行数组第二个元素的地址,*(a[0]+1)==a[0][1]==0
a+1:4/8
a是首行地址,a+1为第二行的地址。
*(a+1):16
*(a+1)==第二行地址解引用==第二行数组名
&a[0]+1:4/8
&a[0]==取第一行数组地址,&a[0]+1==第二行数组地址
*(&a[0]+1):16
*(&a[0]+1)==第二行数组数组名
*a:16
*a==第一行数组地址解引用就是数组名
a[3]:16
数组只创建了3行一维数组a[0]、a[1]、a[2],显然a[3]是越界了,但在sizeof内是不会对a[3]进行访问的,只计算它类型的大小,所以不会报错。