文章目录

1 前言2 关于一维数组3 sizeof运算符和自增运算符4 数组名也不是常量指针5 总结

1 前言

参照我之前的两篇文章：

二维数组做函数的参数

动态创建二维数组

事实告诉我们，二维数组名不等于二级指针

2 关于一维数组

对于一维数组，用一级指针指向数组名，用一级指针做参数传递一维数组，似乎毫无问题。

void f(int *p);int main(void){int arr[2];int *p = arr;f(arr);return 0;}

3 sizeof运算符和自增运算符

1、sizeof 指针是指针的大小，sizeof 数组名是整个数组的大小

int *p;int arr[4];printf("sizeof(p) = %d \n", sizeof(p));printf("sizeof(arr) = %d ", sizeof(arr));Output：sizeof(p) = 8sizeof(arr) = 16

2、指针可以递增操作，而数组名不可以

int arr[4] = {1, 2, 3, 4};int *p = arr;printf("*(++p) = %d", *(++p));// Output：*(++p) = 2printf("*(++arr) = %d", *(++arr)); // errorOutput error：error: lvalue required as increment operand

这里出现了两个问题：

数组名不能递增，那数组名可能是常量指针啊int *const arr根据错误提示，数组名是不能作为左值的，数组名只能作为右值

4 数组名也不是常量指针

1、常量指针可以作为左值，而数组名不可以：

int i = 1;int arr[2];int *const p = &i; // OKarr = &i;// error

事实上，查阅资料可以发现：

数组的类型是 type[SIZE] （二维数组的类型是type(*)[SIZE]）常量指针的类型是 type* const

两者并不是同一种数据类型，关于这一点：

我个人认为在C语言中，数组也是一种数据类型，一种特殊的数据类型

我们知道，在向函数传递二维数组的时候，我们使用了数组指针，即int (*p)[n]

而数组指针，我们可以理解为C语言为数组创造的一种特殊的指针类型。

2、观察下面例子，详细内容可以参见 这里

printf("%#x \n", a);printf("%#x \n", &a);printf("%#x \n", &a[0]);printf("%#x \n", &a[0][0]);Output：0x9ffe40 0x9ffe40 0x9ffe40 0x9ffe40

我们可以发现，对于数组名，处于不同类型下，取得的值（地址）都是一样的

这个例子的意思是，数组名和指针存在着隐式转换。

这也是很多人把数组名当作指针的原因，因为数组名在大多数的情况下都会隐式转换为指针，由于数组名只能作为右值，所以指针也是一个右值的指针。

既然大多数情况下会隐式转换为指针，那么下面就是少数情况（不会转换为指针）：

对数组名取地址的时候用sizeof运算符运算的时候用字符串字面量初始化数组的时候

5 总结

在C语言中，数组名确实和指针有着微妙的关系

但是数组名并不是指针，由于它大部分情况下都表现为一个指针

所以很多地方都认为它是指针，事实上并不是，它只是很像指针而已

我个人认为数组是C语言中一种特殊的数据类型，有着特定类型的指针。