数组衰减为指针的情况如下：
出现在表达式中的 T 数组类型的左值 [参见问题 2.5] 衰减（除了三个例外）成指向其第一个元素的指针；结果指针的类型是指向T的指针。
（例外情况是数组是 sizeof 或 & 运算符的操作数，或者是字符数组的文字字符串初始值设定项。）
当数组是“字符数组的文字字符串初始化器”时，如何理解这种情况？请举个例子。
谢谢！
【问题讨论】：
标签： c string pointers arrays c99
数组不衰减为指针的三个例外情况如下：
例外 1. — 当数组是 sizeof 的操作数时。
int main()
{
int a[10];
printf("%zu", sizeof(a)); /* prints 10 * sizeof(int) */
int* p = a;
printf("%zu", sizeof(p)); /* prints sizeof(int*) */
}
例外 2。 — 当数组是 & 运算符的操作数时。
int main()
{
int a[10];
printf("%p", (void*)(&a)); /* prints the array's address */
int* p = a;
printf("%p", (void*)(&p)); /*prints the pointer's address */
}
例外 3. — 当数组用文字字符串初始化时。
int main()
{
char a[] = "Hello world"; /* the literal string is copied into a local array which is destroyed after that array goes out of scope */
char* p = "Hello world"; /* the literal string is copied in the read-only section of memory (any attempt to modify it is an undefined behavior) */
}
【讨论】：
&a 指向整个数组，而&a[0] 指向a 的第一个元素。因此，如果您打印&a + 1 和&a[0] + 1，即使&a 和&a[0] 打印相同的值，它们也会有所不同。
假设声明
char foo[] = "This is a test";
char *bar = "This is a test";
在这两种情况下，字符串文字“This is a test”的类型都是“15 个字符的数组”。在大多数情况下，数组表达式从类型“T 的 N 元素数组”隐式转换为“指向 T 的指针”，并且表达式的计算结果为数组第一个元素的地址。在bar 的声明中，就是这样。
然而，在foo 的声明中，表达式被用于初始化另一个数组的内容，因此不转换为指针类型；相反，字符串文字的内容被复制到foo。
【讨论】：
"This is a test" 作为字符串初始化器是一个数组。作为一个表达式，它不会衰减为一个指针，而是一个数组。很棒。
这是字符数组的文字字符串初始值设定项：
char arr[] = "literal string initializer";
也可以是：
char* str = "literal string initializer";
来自 K&R2 的定义：
字符串文字，也称为字符串 常量，是一个字符序列 用双引号括起来，如 “……”。字符串的类型为 ``array of 字符''和存储类静态 （见下文第 A.3 段）并被初始化 与给定的字符。无论 相同的字符串文字是不同的 是实现定义的，并且 程序的行为试图 更改字符串文字是未定义的。
【讨论】：
您似乎从 comp.lang.c 常见问题解答中提取了该引用（可能是旧版本或印刷版本；它与在线版本的当前状态不太匹配）：
http://c-faq.com/aryptr/aryptrequiv.html
相应部分链接到常见问题解答的其他部分，以详细说明这些例外情况。在你的情况下，你应该看看：
【讨论】：