数组变量是指向数组第一个元素的指针吗？ [复制]

Question

我在互联网上读到这个数组变量指向数组的第一个元素。代码示例如下：

#include <stdio.h>
int main()
{
    int i,a[10];
    for ( i = 0; i <= 9; ++i )
    {
        printf ("The address of the array element %d is = %p\n",i+1, &a[i]);
    }
    
    printf ("The address of the &a is = %p\n", &a); 
    
    printf ("The address of &a[0] is = %p\n", &a[0] );
    
    printf ("The address of a is = %p", a);
    
    return 0;
}

根据网上资料：数组变量a和数组元素a[0]的地址相同，因为数组变量名a指向数组的第一个元素，即a[0]。我的问题是：

1. 数组变量 a 是指针吗，因为它指向数组的第一个元素？

   • 如果数组变量a是一个指针，那么指针a和变量a[0]的地址不应该是（a 指向的指针）不同？ （这里我们得到相同的地址）

   • 如果数组变量a不是指针，那下面的代码该如何解释呢？

a[0] = *a
a[1] = *a+1
a[2] = *a+2
a[3] = *a+3
a[4] = *a+4
a[5] = *a+5

我想这是一个很长的问题，但请告诉我答案，因为我已经为此绞尽脑汁，现在我想用头撞墙。我也是堆栈溢出的新手。

Answer 1

数组不是指针。确保运行这个简单的程序

#include <stdio.h>

int main( void )
{
    int a[10];

    printf( "sizeof( a ) = %zu\n", sizeof( a ) );
    printf( "sizeof( &a[0] ) = %zu\n", sizeof( &a[0] ) );
}

它的输出可能看起来像

sizeof( a ) = 40
sizeof( &a[0] ) = 8

但是，在表达式中使用的数组指示符确实会隐式转换为指向其第一个元素的指针。

来自 C 标准（6.3.2.1 左值、数组和函数指示符）

3 除非它是 sizeof 运算符的操作数或一元 & 运算符，或者是用于初始化数组的字符串文字， 具有“类型数组”类型的表达式被转换为 类型为“pointer to type”的表达式，指向初始 数组对象的元素并且不是左值。如果数组对象 有注册存储类，行为未定义。

至于你的问题

如果数组变量a不是指针那么我们该如何解释 代码如下？

a[0] = *a
a[1] = *a+1
a[2] = *a+2
a[3] = *a+3
a[4] = *a+4
a[5] = *a+5

然后在阅读了 C 标准中提供的引用之后，很明显这个表达式 *a 中的数组指示符 a 被转换为指向其第一个元素的指针。那就是您实际上拥有*( &a[0] ) 或只是a[0]。而上面的记录等价于

a[0] = a[0]
a[1] = a[0]+1
a[2] = a[0]+2
a[3] = a[0]+3
a[4] = a[0]+4
a[5] = a[0]+5

关于地址的问题，表达式&a 和&a[0] 具有相同的值，因为它是数组占用的第一个字节的地址值。但是表达式的类型是不同的。表达式&a 的类型为int ( * )[10]，表达式&a[0] 的类型为int *。