请看以下代码:
//二维数组
int a[3][4] = { 0 };
printf("%d\n", sizeof(a));
请问上述代码结果是多少?
在这里,a是数组名,表示整个数组,计算的是整个数组的大小,单位是字节,3*4 *4 = 48个字节
printf("%d\n", sizeof(a[0][0]));
据二维数组的定义可画出上图,毫无疑问,a[0][0] 访问的是第一行的第一个元素,大小为4个字节
printf("%d\n", sizeof(a[0]));
对于二维数组a来说:
a[0]就是第一行这个一维数组的数组名
a[1]就是第二行这个一维数组的数组名
a[2]就是第三行这个一维数组的数组名
a[0]是第一行这个一维数组的数组名
数组名算是单独放在sizeof内部了,计算的是整个数组的大小,也就是第一行的元素大小,是16个字节
printf("%d\n", sizeof(a[0] + 1));
a[0]作为第一行的数组名,没有单独放在sizeof内部,没有&
a[0]表示数组首元素的地址,也就是a[0][0]的地址
所以a[0]+1 是第一行第二个元素的地址,是地址就是4/8个字节
printf("%d\n", sizeof(*(a[0] + 1)));
*(a[0]+1) --> a[0][1] 计算的是第一行的第二个元素的大小,为4个字节
printf("%d\n", sizeof(a + 1));
a是数组首元素的地址,是第一行的地址,a[0]的地址,类型: int(*)[4]
a+1 跳过一个数组,就是第二行的地址,是地址就是4/8个字节
printf("%d\n", sizeof(*(a + 1)));
*(a+1) --> a[1] --> sizeof(a[1]) ,a[1]是数组名,计算的是第二行的大小 ,就是16个字节
a+1 --> 是第二行的地址,int(*)[4]
*(a+1) 访问的第二行的数组
printf("%d\n", sizeof(&a[0] + 1));
&a[0]是第一行的地址 类型:int(*)[4]
&a[0]+1 是第二行的地址 ,是地址就是4/8个字节
printf("%d\n", sizeof(*(&a[0] + 1)));
由上题知,&a[0]+1是第二行的地址,*访问的是第二行的元素,计算的是第二行的大小16个字节
printf("%d\n", sizeof(*a));
a是数组首元素的地址,就是第一行的地址
*a 就是第一行,计算的是第一行的大小,为16个字节
*a --> *(a+0) --> a[0]
printf("%d\n", sizeof(a[3]));
乍一看,a[3]不是越界了吗,应该会报错?事实上不会真的访问第四行,a[3]等同于a[0],a[1]
所以sizeof看到类型就已经知道大小了,a[3] --> int [4] ,是16个字节
sizeof内部不会真的去计算!不会真的访问内存!
拓展一个sizeof的例子:
编译 + 链接 --> 可执行程序 --> 运行 ——> 结果
sizeof在编译期间就处理了 s = a + 2在运行时才计算
表达式都有2个属性:
1. 值属性 9
2. 类型属性
s = a + 2 --> short 类型
int a = 7;
short s = 4;
//sizeof在编译期间处理过这个代码,已经得到结果,
//就不会再处理这个代码了,从而没有进行s = a+2 的动作
printf("%d\n", sizeof(s = a + 2));//short 2
printf("%d\n", s);//4