数组衰减为指针的情况有哪些？

Question

我只知道一种情况 当数组传递给函数时，它们会衰减为指针。任何人都可以详细说明数组衰减为指针的所有情况。

Answer 1

C 2011 6.3.2.1 3：

除非它是 sizeof 运算符的操作数，...或一元 & 运算符，或者是用于初始化数组的字符串字面量，否则表达式具有类型 “array of type”被转换为类型为“pointer to”的表达式 type”，指向数组对象的初始元素，不是左值。

换句话说，数组通常会衰减为指针。标准列出了不的情况。

人们可能会认为当您将数组与下标一起使用时，它们就像数组一样，例如a[3]。然而，这里发生的实际上是：

• a 被转换为指针。
• 下标运算符作用于指针和下标以产生一个指定对象的左值。 （具体来说，a[3] 被计算为*((a)+(3))。也就是说，a 被转换为指针，指针加上 3，并应用了 ***** 运算符。）

注意：C 2011 文本包含“_Alignof 运算符”。这在标准的 C 2018 版本中得到了纠正，我已经从上面的引用中删除了它。 _Alignof 的操作数始终是类型；您实际上无法将其应用于对象。因此，C 2011 标准将其包含在 6.3.2.1 3 中是错误的。