C语言数组名不是指针

小程序：扫一扫查出行
【扫一扫了解最新限行尾号】
复制小程序

今天上计算机系统课的时候老师讲到了C中的聚合类型的数据结构。在解释数组名的时候说“数组名是一个指针，指向该数组的第一个元素”，附上ppt（第二行）：

我觉得这是不正确的，是一个常见的由“简化”产生的错误，数组名 != 指针。数组名是一个标识符，它标识出我们之前申请的一连串内存空间，而且这个空间内的元素类型是相同的——即数组名代表的是一个内存块及这个内存块中的元素类型 。只是在大多数情况下数组名会“退化”（C标准使用的decay和converted这两个词）为指向第一个元素的指针。 而指针不是一种聚合类的数据结构，它保存着某一种类型的对象的地址（void*除外），也说它指向这个对象。我们可以通过这个地址访问这个对象。用一个图来解释：

其中a代表了整个我们声明的内存块，p仅仅指向了一个char类型的对象。

C99 6.3.2.1 Lvalues, arrays, and function designators 中第三段是这样说的：

Except when it is the operand of the sizeof operator or the unary & operator, or is a

string literal used to initialize an array, an expression that has type ‘‘array of type’’ is

converted to an expression with type ‘‘pointer to type’’ that points to the initial element of

the array object and is not an lvalue. If the array object has register storage class, the

behavior is undefined.

译：除了在使用sizeof和&运算符或者使用字符串字面量初始化数组之外，一个含有数组名的表达式会转化为含有指向首元素的表达式，并且转化后不是一个左值（这也是为什么我们不能修改这个标志符，例如val++，所以有的人也会说数组名是一个const指针，从本质上说这也是错的）。如果数组的存储类型是寄存器的话，行为是未定义的。（估计也没人这么做吧。。）

下面我举5个例子，123展示了数组名不是指针的情况，45表现的是数组名“退化”为指针：

本机环境

sizeof运算符（另外提一点，sizeof不是函数而是运算符）

可以看到，sizeof(a)打印出了整个数组的大小而非一个指针的大小，说明它不是一个指针。

&运算符

如果按照”数组名就是指针”的思想来，&a应该产生一个int**类型的指针，但是编译器报了p1的警告：指针类型不兼容，而p2却没有报错，那么p1和p2的区别在哪呢？

p1是一个指向一个指向整数指针的指针，如果我们进行p1++运算，得到的将是p1+8（我是64位环境）。而p2表示的是一个指向一个元素类型为整数，元素个数为5的内存块的指针 ，如果我们进行p1++运算，得到的将是p1 + (4*5)。这也是为什么编译器会报p1的警告。

使用字符串字面量初始化数组

就用上面的图举例子，如果我们声明：

c char a[] = "hello"; char *p = "hello";

对于第一行，其等价于char a[6] = {'h', 'e', 'l', 'l', 'o', '\0'} ，编译器会自动分配合理的空间，最终在内存中是这么个情况：

那有什么区别呢？

访存方式和地区不一样，例如，a[0]和p[0]都是'h'，但是a[0]的操作是：来到a这个内存块（大小为6字节） -> 取出第一个元素（偏移量为0），而且这个元素是在栈中的。而p[0]的操作是：来到p这个内存块（大小为8字节，因为是64位环境），取出p的值，通过p获取对于对象（一个字节）的值，而且这个对象是在.data段中的！ （并且是只读的）