答案。

在C语言中，变量的存储区域确定了数据的存储位置、它们的可用时间以及哪部分代码可以访问它们。历史上，引入auto（局部变量的默认值）、static（在调用之间保持值，通常用于存储状态）和extern（声明在其他地方定义的变量）关键字是为了控制变量的可见性和生命周期。

问题 — 对变量的存活位置和时间的错误理解可能导致访问错误、内存泄漏和难以阅读的代码。例如，错误地期望静态局部变量在每次函数调用时被重新创建，或者相反，期望auto变量在调用之间保持值。

解决方案 — 始终有意识地选择存储说明符并理解其后果：

auto通常不需要（是默认值），
static用于在调用之间保存值或限制模块中的可见性，
extern用于访问在其他文件中定义的全局变量。

使用示例：

// main.c
int global_var = 42; // 默认存储区域为static，外部链接

void func() {
    static int counter = 0; // 在调用之间存活
    auto int temp = 5; // 局部，auto未必需要说明
    counter++;
    printf("call #%d\n", counter);
}

extern int global_var;

关键特点：

auto: 变量在声明的块（范围）结束之前存活。
static: 变量在整个程序中存活，但仅在文件/函数/块内部可见。
extern: 变量被声明但未在此定义，它的定义在其他文件中。

加深理解的问题。

如果变量默认就是auto，那么写auto的意义何在？

答案：在现代版本的C中，auto关键字几乎不再明确使用——对于局部变量来说，这是默认说明符。实际上，显式编写没有任何优势。

可以在函数内部使用static来声明全局变量吗？

答案：不可以，函数内部的static使变量成为局部变量，但在调用之间保持状态。它在函数外不可见。

代码示例：

void foo() {
    static int call_count = 0; // 非全局，但在调用之间存活
    call_count++;
}

如果在函数内部声明一个extern变量，但没有在任何地方定义它，会发生什么？

答案：这将导致链接器错误（linker error），因为声明了一个不存在的全局变量的引用。

常见错误和反模式

混淆可见性和生存时间（例如，期望static变量在函数外为局部）。
声明extern变量而没有定义它们。
不必要地使用auto。

生活中的示例

消极案例

在一个大型项目中，模块变量在所有源代码中都被声明为extern，但忘记了进行定义。结果是——神秘的链接错误，让初学者难以理解。

优点：

允许在多个文件中引用变量。

缺点：

难以维护。
错误在编译所有文件后才会出现，而不是在编写代码时。

积极案例

严格定义可见性：每个static变量仅在所需模块中，global extern在头文件中声明并在一个地方定义。