C语言全局static变量与函数内static变量的区别及extern作用咨询

你的原有认知存在明显偏差，二者核心差异在作用域范围，存储周期是一致的：

• 全局static变量（定义在所有函数外部）：
  作用域为当前整个源文件，文件内任意函数都可以访问；存储在静态存储区，程序运行全生命周期有效，仅初始化1次，默认初始值为0。
• 函数内部static变量：
  作用域仅限制在定义它的函数内部，同文件的其他函数都无法访问该变量，这是你认知的核心错误点；存储同样在静态存储区，生命周期覆盖整个程序运行期，函数多次调用时变量值会保留。

代码示例：

static int global_static_val = 1; // 全文件可用的全局static变量

void test_func() {
    static int func_static_val = 2; // 仅test_func内部可用
    func_static_val++;
    // 函数内可正常访问两种static变量
    printf("global: %d, func: %d\n", global_static_val, func_static_val);
}

void other_func() {
    global_static_val = 10; // 合法，可访问全局static
    // func_static_val = 20; // 非法，编译报错，无法访问其他函数内的static变量
}

你看到的资料说法是错误的：extern不需要加在变量定义前，仅用于变量声明场景。
首先明确两个基础概念：

• 变量定义：会为变量分配内存空间，可附带初始化，同个全局变量在整个程序中只能有1次定义。
• 变量声明：仅告知编译器变量的类型、名称，不会分配内存，同个变量可以多次声明。

全局变量跨文件调用的规则如下：

1. 无static修饰的全局变量，默认具备外部链接属性：只要在任意一个源文件的函数外部定义该变量（不需要加extern），其他所有需要使用该变量的源文件，只需添加extern 变量类型 变量名;的声明，即可正常访问。
2. 加了static修饰的全局变量，具备内部链接属性：仅能在定义它的源文件中使用，其他文件哪怕加extern声明也无法访问，链接阶段会报符号找不到错误。
3. 全局变量的跨文件访问能力和是否定义在main函数之前没有关系，只要是函数外定义的无static修饰的全局变量，都支持跨文件访问。

代码示例：
file1.c（定义全局变量）：

// 定义可跨文件访问的全局变量
int shared_global = 100;
// static修饰的全局变量，仅当前文件可用
static int private_global = 200;

file2.c（调用外部全局变量）：

#include <stdio.h>
// 声明外部全局变量，后续可正常使用
extern int shared_global;
// 以下声明非法，链接阶段报错：extern int private_global;

int main() {
    printf("%d\n", shared_global); // 输出100
    return 0;
}

内容的提问来源于stack exchange，提问作者Lidor Waldman