【C语言内存管理】第四章 全局/静态区内存管理

第四章 全局/静态区内存管理

全局变量和静态变量是位于全局/静态存储区中的变量，它们在程序运行的整个过程中占用内存。理解它们的生命周期、链接（linkage）、作用域（scope）以及使用注意事项，对于编写清晰且高效的C代码是十分必要的。

1. 全局变量

生命周期：
全局变量在程序启动时分配空间，并在程序结束时释放。这意味着它们的生命周期贯穿整个程序执行过程。

注意事项：

• 多文件中的重复定义问题：在C语言中，如果在多个源文件中定义了同名的全局变量，会引起链接错误。为了避免这个问题，可以使用extern关键字声明变量。

// main.c
#include <stdio.h>

extern int globalVar; // 使用 extern 声明 [1]

int main() {
    printf("globalVar: %d\n", globalVar);
    return 0;
}

// another_file.c
int globalVar = 10; // [2]

在这个例子中，globalVar在another_file.c中被定义，而在main.c中被声明。链接器会将这两者结合起来，使得在main.c中可以访问到another_file.c中的变量。

• 作用：存储全局变量，通常用于在多个函数之间共享数据。
• 特点：
  • 程序生命周期内存储数据：适用于需要在整个程序运行期间共享和保持状态的数据。
  • 全局可见但容易引发命名冲突：全局变量在整个程序内可见，容易引发命名冲突，特别是在大型项目中。
  • 访问和修改容易：任何函数都可以访问和修改全局变量，这对调试和维护可能不利。

1. 全局变量声明：在main.c中使用extern关键字声明全局变量globalVar。extern告诉编译器变量是在其他地方定义的。
2. 全局变量定义：globalVar在another_file.c中定义和初始化。全局变量只能在一个地方定义。

通过这种方式，可以在多个文件中共享全局变量，同时避免重复定义问题。

2. 静态变量

生命周期与作用域：

静态变量分为两种：函数内部的静态变量和文件内部的静态变量。

• 函数内部的静态变量：仅在定义它的函数内部可见，但它的生命周期贯穿程序的整个执行过程。

#include <stdio.h>

void func() {
    static int count = 0;
    count++;
    printf("count: %d\n", count);
}

int main() {
    func(); // count: 1 
    func(); // count: 2 
    func(); // count: 3 
    return 0;
}

在这个例子中，静态变量count只在函数func内部可见，但每次调用func时，count的值会保存下来，而不是每次都重新初始化。

• 文件内部的静态变量：只能在定义它的源文件内部可见，不可被外部文件访问。

// file1.c
static int fileScopedVar = 10;

void printVar() {
    printf("fileScopedVar: %d\n", fileScopedVar);
}

// file2.c
#include <stdio.h>

extern void printVar();

int main() {
    printVar(); // file1.c中的printVar函数调用了file1.c中的静态变量
    return 0;
}

在这个例子中，fileScopedVar是file1.c内的静态变量，它只在file1.c文件中可见，而file2.c无法直接访问它。但我们可以间接地通过file1.c的函数访问它。

链接（Linkage）：

• 内部链接（Internal Linkage）：使用static关键字定义的变量具有内部链接，意味着它们只能在定义它们的文件内可见。

• 外部链接（External Linkage）：如果不使用static关键字，变量则具有外部链接，可以在其他文件中通过extern关键字进行声明然后访问。

总结起来，全局变量和静态变量在生命周期上都有较长的持续时间，它们占用程序运行过程中内存的全程，但它们的作用域和可见性需要根据我们希望在代码中实现的封装和模块化策略来精心设计。

通过理解和正确使用全局变量和静态变量，可以使我们的C语言代码更高效、更清晰，但也需要小心避免命名冲突和无法预测的数据修改问题。