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

妖狐艹你老母 2022-06-06 00:54 262阅读 0赞

### 文章目录 ###

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

# 1 前言 #

参照我之前的两篇文章：  
[二维数组做函数的参数][Link 1]  
[动态创建二维数组][Link 2]

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

# 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、观察下面例子，详细内容可以参见 [这里][Link 1]

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语言中一种特殊的数据类型，有着特定类型的指针。

[Link 1]: http://blog.csdn.net/syzdev/article/details/77837224
[Link 2]: http://blog.csdn.net/syzdev/article/details/78345793