C语言-数组名真的不是指针

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) = 8
sizeof(arr) = 16

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

int arr[4] = {1, 2, 3, 4};
int *p = arr;
printf("*(++p) = %d", *(++p));	// Output：*(++p) = 2
printf("*(++arr) = %d", *(++arr));	   // error

Output error：
error: lvalue required as increment operand

这里出现了两个问题：

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

4 数组名也不是常量指针

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

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

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

1. 数组的类型是 type[SIZE] （二维数组的类型是type(*)[SIZE]）
2. 常量指针的类型是 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

我们可以发现，对于数组名，处于不同类型下，取得的值（地址）都是一样的
这个例子的意思是，数组名和指针存在着隐式转换。
这也是很多人把数组名当作指针的原因，因为数组名在大多数的情况下都会隐式转换为指针，由于数组名只能作为右值，所以指针也是一个右值的指针。

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

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

5 总结

在C语言中，数组名确实和指针有着微妙的关系
但是数组名并不是指针，由于它大部分情况下都表现为一个指针
所以很多地方都认为它是指针，事实上并不是，它只是很像指针而已
我个人认为数组是C语言中一种特殊的数据类型，有着特定类型的指针。