关于C语言数组标识符转换及地址与指针关系的技术问询

问题1：两种数组标识符转换的表述是否都正确？ #

这两种说法都正确，只是表述侧重点不同：

• 前者强调类型转换：数组标识符在表达式中（除了sizeof数组名、&数组名、字符串字面量初始化数组这几种例外场景），会从“T类型数组”隐式转换为“指向T的指针”类型；
• 后者强调值的本质：转换后的指针值，就是数组首元素的地址——在C语言中，指针的本质就是表示内存地址的实体，所以“指向首元素的指针”和“首元素的地址”在值层面完全等价。
  K&R的表述偏向从值的定义出发，另一本书的表述则明确了类型转换过程，二者并不冲突。

问题2：&a在广义上是否属于“指针”？ #

从严格的C术语来说，“指针”指的是存储地址的变量（一种对象类型），&a并不是变量，它是一个右值表达式，类型为int *，值是变量a的地址。
但从广义的日常开发语境来说，我们常把所有表示内存地址的指针类型表达式统称为“指针”——比如你可以说&a是指向a的指针，这种说法在交流中普遍被接受，只要明确它不是可赋值的指针变量就行。

问题3：((&a) + 1)是指针算术，是否说明&a是指针？ #

这说明&a是指针类型的表达式，但不是指针变量：
C语言的指针算术操作要求操作数必须是“指向完整对象的指针类型”，&a的类型是int *，完全符合要求，所以可以进行+1操作——该操作会让地址偏移一个int类型的大小，指向a之后的内存位置。
它只是一个临时的指针类型表达式（右值），不是存储地址的指针变量，但这不妨碍它参与指针算术。

内容的提问来源于stack exchange，提问作者alessio solari