详解 C/C++中的数组名到底是什么？

数组名的值属性

先说结论：数组名的值再任意情况下都为数组首元素的地址。

数组对象在元素之间没有填充(前后)，因此数组的地址和数组的第一个元素的地址是相同的。

如图： 

数组名的类型属性 

先说结论：只有在1.  “ sizeof ( 数组名 )”（注意括号中只有数组名，并不是含有数组名的表达式），2. “&数组名 ”这两种特殊情况下，数组名的类型属性为数组原本的属性。  其余情况下，数组名的类型属性为指向数组首元素的指针类型。

我们可以分析以下代码案例来验证上面的结论。

	int a[4]={1,2,3,4};
    
	//case one:
		printf("sizeof (a) : %u\n", sizeof(a));

		printf("sizeof (a[0]) : %u\n", sizeof(a[0]));

	//case tow:
		printf("a : %p\n", a);

		printf("a+1 : %p\n", a + 1);

		printf("&a : %p\n", &a);

		printf("&a+1 : %p\n", &a + 1);

注：size of（）运算符用来计算括号内表达式/数据类型/变量的类型属性所占的内存空间（以字节为单位），更多基本概念这里就不多阐述了。

 

分析运行结果：

case 1

sizeof (a) : 16  ————sizeof ( 数组名 )；

此时数组名 a 的类型属性为 int [4];占空间大小为4*4=16（字节）；

sizeof (a[0]) : 4 ————— sizeof(含数组名的表达式)

此时数组名 a 的类型属性为 int *, a[0]的运算结果为 1 ,类型属性为 int;占空间大小为 4（字节）；

case 2
 

  容易计算出a+1指针移动了4个字节，而&a+1 指针却移动了16个字节

这时因为，a一般情况下的类型属性为指向其第一个元素的指针类型，为int*；+1移动四个字节；

      而&a是特殊情况，这时a的类型为int[4],所以&a的类型为int（*）[4]；+1移动4*4=16个字节；

结尾

希望这篇博客能帮助到大家，还有不懂的欢迎在评论区留言、。