关于c中的表达式“&anArray”

首先，我读到：

• array
• &array
• &array[0]

只要“array”确实是一个数组，一切都会相同。 所以我尝试：

int main(){ 
     char ar[]={'a','b','c','\0'};
     printf("argument: &ar     %s\n",&ar);
     printf("argument: &ar[1]    %s\n",&ar[1]);
}

输出：

argument:&ar   abc  
argument:&ar[1]  bc

看起来&ar被视为指向第一个元素的指针，而不是指向“ar”的指针，如果我没有记错的话，“ar”本身就是指向第一个元素的指针。

因为这不应该是 &(指向字符的指针) 的处理方式，我尝试过：

char a='s';
char *pa=&a;
printf("argument: &pa   %c\n",&pa);

输出为%c甚至不是一个角色。 指向数组第一个元素的指针也不应该如此处理。我试过：

char *pa=&ar[0];
char **ppa= &pa;
printf("argument: &pa   %s\n", ppa);

输出为%s毫无疑问，这是无稽之谈；但为什么没有&ar是胡说八道吗？对于如果ar是一个指针，不应该&ar是一个指向指针的指针ppa?

我的问题：

1. 当放在数组名称之前时，是否会简单地忽略“&”？ 数组名称对此很特殊吗？
2. 如果是这样，编译器如何验证“&”后面的标识符是对数组的引用？它实际上是否在声明的数组列表中搜索它？

看来&ar被视为指向第一个元素的指针而不是 指向“ar”的指针，它本身是指向第一个的指针 如果我没记错的话。

You are错误。&ar是一个指向数组的指针ar，但是数组ar is not任何类型的指针（它是一个数组），所以&ar不是指向指针的指针。

数组是对象的连续序列 - 在以下情况下ar，这是一组连续的 4 个chars. &ar是一个指针到这组 4 个字符，这必然意味着它指向与&ar[0], 指向第一个的指针char在那个集合中。但它有不同的类型：&ar有类型char (*)[4]这意味着“指向 4 个字符的数组的指针”并且&ar[0]有类型char *，这意味着“指向字符的指针”。

之所以会出现这种混乱，是因为在几乎所有的表达方式中，ar计算结果为指向数组第一个元素的指针（例外情况是它是一元操作数&操作员或sizeof操作员）。这并不意味着ar is不过，它不是一个指针，只是在大多数情况下它的计算结果是一个指针值。