简单但棘手的问题：
void f() {
static int a[3] = {1, 2, 3};
...
这里的静态是什么？指向数组还是整个数组的指针？
谁能指出 C 标准中的定义？
谢谢！
【问题讨论】：
&a[0] 在几乎所有上下文中扩展为 &a[0] 的表达式不是左值。它是地址而不是指针。只定义了一个标识符，这就是数组。由于没有其他标识符，所以没有什么可以应用static。
来自 ISO C99 标准（第 6.2.1 节，“标识符范围”）：
3 如果声明一个文件范围 对象或函数的标识符 包含存储类 说明符静态，标识符有 内部链接.22)
在您的示例中，a 标识符变为静态（即目标文件中的符号未导出）。
编辑：
对于非文件范围的静态声明（第 6.2.4 节，“对象的存储持续时间”）
3 标识符为的对象 用外部或内部声明 链接，或与存储类 说明符 static 具有静态存储 期间。它的生命周期是整个 程序的执行及其 存储的值只初始化一次， 在程序启动之前。
我认为这意味着在这种情况下数组本身变为静态，这是有道理的，因为否则标识符将包含无效内容。
【讨论】：
在代码中：
static int a[3] = {1, 2, 3};
a 的类型不是指针，而是 int 数组。但是，它会自动转换为指针，例如在 C 标准中：
除非它是 sizeof 运算符或一元 & 运算符的操作数，或者是用于初始化数组的字符串字面量，否则类型为 ''array of type'' 的表达式将转换为类型为 ' 的表达式'pointer to type'' 指向数组对象的初始元素，不是左值。
所以如果 a 是数组，那么 = { 1, 2, 3 } 是它的初始化，而不是某种单独的数组。我不知道它是否在某个地方准确指定，但从这个意义上说，它在整个标准中都使用。
编辑以消除一些读者的困惑：根据引用的标准，如果你写：
int arr[4] = { };
arr[0] = 1; //arr here has here type int*
size_t sz = sizeof(arr); //here it is not type int*, sizeof is exception
【讨论】：
它适用于数组。您的代码中没有指针。数组不是指针。
#include <stdlib.h>
#include <stdio.h>
void f() {
static int a[3] = {1, 2, 3};
a[1]++;
printf("%d\n", a[1]);
}
main()
{
int i;
for (i = 0; i < 5; i++)
{
f();
}
}
输出
3
4
5
6
7
【讨论】：