C 基础(11) - 存储类别、链接和内存管理

存储类别

在 C 语言中，存储类别（Storage Class）是一组关键字，用于定义变量或函数的作用域（可见性）、生命周期（存在时间）以及存储位置。简单来说，它决定了变量或函数在程序的哪个部分可以被访问，以及它在内存中会存在多久。

C 语言主要有四种存储类别，由以下关键字定义：

auto
register
static
extern

📊 四种存储类别对比

下表清晰地展示了这四种存储类别的核心区别：

存储类别	关键字	作用域	生命周期	默认初始值
自动 (Automatic)	`auto`	局部（代码块内）	代码块执行期间	垃圾值
寄存器 (Register)	`register`	局部（代码块内）	代码块执行期间	垃圾值
静态 (Static)	`static`	局部或文件	整个程序执行期间	0
外部 (External)	`extern`	全局（可跨文件）	整个程序执行期间	0

📝 各类别详解

1. `auto` (自动变量)

这是函数内部局部变量的默认存储类别。通常我们声明局部变量时，可以省略 auto 关键字。

作用域 ：仅在定义它的代码块（例如一个函数或一个 {} 包围的块）内有效。
生命周期：当程序进入代码块时创建，离开代码块时自动销毁。
特点：每次进入代码块都会重新创建，如果不显式初始化，其值是随机的垃圾值。

void example() {
auto int x = 10; // 显式声明，等价于 int x = 10;
int y = 20; // 隐式声明，默认就是 auto
// x 和 y 只在 example 函数内有效
}

2. `register` (寄存器变量)

这是一个给编译器的建议，请求将变量存储在 CPU 寄存器中而非内存（RAM）中，以期获得更快的访问速度。

作用域 ：与 auto 变量相同，是局部的。
生命周期 ：与 auto 变量相同。
特点：
1. 编译器可以忽略这个建议，最终是否存入寄存器由编译器决定。
2. 由于变量可能不在内存中，因此不能使用取地址符 & 来获取其地址。
3. 通常用于需要频繁访问的变量，如循环计数器。
void loop() {
register int i; // 建议编译器将 i 放入寄存器
for(i = 0; i < 10000; i++) {
// 高速循环操作
}
}

3. `static` (静态变量)

static 关键字根据使用位置的不同，有两种不同的效果。

静态局部变量：在函数内部定义。
- 作用域：仍然是局部的，只在定义它的函数内可见。
- 生命周期 ：贯穿整个程序运行期间。它在第一次函数调用时被初始化，之后即使函数返回，其值也会保留，下次调用时继续使用。
- 特点：只初始化一次，默认值为 0。常用于在多次函数调用之间保持状态。
静态全局变量/函数：在函数外部定义。
- 作用域 ：被限制在定义它的源文件内。其他文件无法访问这个变量或函数。
- 特点：用于实现"信息隐藏"，避免不同源文件之间的命名冲突。
  
  void counter() {
  static int count = 0; // 静态局部变量，只初始化一次
  count++;
  printf("计数: %d\n", count);
  }
  // 第一次调用 counter() 输出 "计数: 1"
  // 第二次调用 counter() 输出 "计数: 2"

4. `extern` (外部变量)

extern 关键字用于声明（而非定义）一个在其他源文件中定义的全局变量或函数，以实现跨文件共享。

作用域：从声明点开始，直到文件末尾。
生命周期：整个程序运行期间。
特点：extern 只是告诉编译器"这个变量在别的地方定义了"，它本身不分配内存。变量的实际定义（分配内存）必须在且仅在一个源文件中完成。

示例：

file1.c (定义变量)

复制代码

int global_var = 100; // 定义全局变量

file2.c (使用变量)

复制代码

extern int global_var; // 声明 global_var 是一个外部变量
void print_var() {
    printf("%d", global_var); // 输出 100
}

分配内存:malloc ()和 free()

在 C 语言中，malloc() 和 free() 是一对用于动态内存管理的核心函数，它们允许程序在运行时手动地从堆（Heap）区域申请和释放内存。

📌 核心概念

malloc() : 全称是 memory allocation，用于在堆上分配一块指定大小的连续内存空间。
free() : 用于释放之前由 malloc()（或 calloc()、realloc()）分配的内存，将其归还给系统，防止内存泄漏。

这两个函数都声明在 <stdlib.h> 头文件中，使用时必须包含它。

💡 函数详解

malloc() - 分配内存

函数原型 : void* malloc(size_t size);
参数 : size 是要分配的内存字节数。
返回值 :
- 成功 : 返回一个 void* 类型的指针，指向新分配内存的起始地址。由于是 void*，通常需要强制类型转换为目标类型的指针。
- 失败 : 如果内存不足，分配失败，则返回空指针 NULL。
特点 : malloc() 只负责分配内存，不会对内存进行初始化。因此，新分配的内存中包含的是随机的"垃圾值"。

free() - 释放内存

函数原型 : void free(void* ptr);
参数 : ptr 是指向要释放内存的指针。这个指针必须是 malloc()、calloc() 或 realloc() 返回的地址。
返回值: 无。
特点 :
- 如果传入的指针是 NULL，free() 函数不做任何操作。
- 释放内存后，原先的指针会变成"悬空指针"（Dangling Pointer），它仍然保存着旧的内存地址，但该地址已不再属于当前程序。访问悬空指针是未定义行为，可能导致程序崩溃或安全漏洞。

🛠️ 基本用法与最佳实践

一个标准的动态内存使用流程遵循"申请-使用-释放"的模式。

复制代码

#include <stdio.h>
#include <stdlib.h> // 必须包含此头文件

int main() {
    int *ptr;
    int n = 5;

    // 1. 分配内存
    ptr = (int*) malloc(n * sizeof(int));

    // 2. 检查分配是否成功
    if (ptr == NULL) {
        printf("内存分配失败！\n");
        return 1; // 退出程序
    }

    // 3. 使用内存
    for (int i = 0; i < n; i++) {
        ptr[i] = i * 10;
    }
    for (int i = 0; i < n; i++) {
        printf("%d ", ptr[i]);
    }
    printf("\n");

    // 4. 释放内存
    free(ptr);

    // 5. 避免悬空指针：将指针置为 NULL
    ptr = NULL;

    return 0;
}

⚠️ 常见错误与风险

使用 malloc() 和 free() 时，需要特别注意以下几种常见错误：

内存泄漏 (Memory Leak)

分配了内存但忘记使用 free() 释放。如果程序长时间运行并不断分配内存而不释放，最终会耗尽系统内存，导致程序或系统变慢甚至崩溃。
悬空指针 (Dangling Pointer)

调用 free() 释放内存后，没有将指针设置为 NULL。如果后续代码继续通过这个指针访问内存，就会引发未定义行为。
重复释放 (Double-free)

对同一块已释放的内存再次调用 free()。这会破坏内存管理器的内部数据结构，可能导致程序崩溃或被恶意利用。
越界访问

访问超出 malloc() 分配范围的内存。例如，分配了 5 个 int 的空间，却尝试访问第 6 个元素。这会破坏堆上的其他数据。

🆚 与 calloc() 的区别

另一个常用的内存分配函数是 calloc()，它与 malloc() 的主要区别在于：

malloc(n * size) : 分配 n * size 字节的内存，不初始化。
calloc(n, size) : 分配 n 个元素，每个元素 size 字节的内存，并将整块内存初始化为 0。

可以简单理解为：calloc() 相当于 malloc() 加上 memset(0) 的功能。

类型限定符

在 C 语言中，类型限定符（Type Qualifiers）是用来修饰基本数据类型的属性，以改变编译器处理该类型的方式。它们为变量增加了特定的语义，例如不可变性、易变性或内存访问的唯一性。

C 语言中常见的类型限定符主要有四个：const、volatile、restrict 和 _Atomic。

📌 核心限定符概览

下表总结了这些限定符的核心作用：

限定符	主要作用	典型应用场景
`const`	定义不可修改的常量	定义数学常数、配置参数、函数参数保护
`volatile`	告诉编译器变量可能在程序之外被修改，禁止优化	访问硬件寄存器、多线程共享变量
`restrict`	(C99引入) 提示编译器指针是访问内存的唯一途径，用于优化	高性能计算、标准库函数（如 `memcpy`）
`_Atomic`	(C11引入) 保证对变量的操作是原子性的	多线程编程中的共享数据

📝 各类别详解

1. `const` (常量限定符)

const 是 "constant" 的缩写，它表示一个变量一旦被初始化，其值就不能再被修改。任何尝试修改 const 变量的操作都会导致编译错误。

作用：提供数据保护，增强代码的可读性和健壮性。
特点：
- 必须在定义时初始化。
- 编译器可能会将 const 变量放入只读数据段。
  
  const double PI = 3.14159;
  // PI = 3.14; // 错误！不能修改 const 变量
  
  void print_array(const int *arr, int size) {
  for (int i = 0; i < size; i++) {
  // arr[i] = 0; // 错误！函数承诺不会修改数组内容
  printf("%d ", arr[i]);
  }
  }

2. `volatile` (易变限定符)

volatile 告诉编译器，这个变量的值可能会在程序的控制之外被改变（例如由硬件、中断或其他线程）。因此，编译器不能对这个变量进行任何优化，每次使用时都必须直接从内存地址中读取其当前值。

作用：防止编译器优化，确保每次访问都是"新鲜"的。
典型场景 ：
1. 硬件寄存器：在嵌入式系统中，硬件状态可能会随时改变。
2. 中断服务程序：全局变量可能在中断处理函数中被修改。
3. 多线程应用：一个变量可能被多个线程共享和修改。
// 假设 flag 是一个由硬件中断修改的全局变量
volatile int flag = 0;

int main() {
while (flag == 0) {
// 等待中断将 flag 修改为 1
// 如果没有 volatile，编译器可能会优化成 while(true) 的死循环，
// 因为它认为 flag 在此处永远不会改变。
}
printf("中断发生！\n");
return 0;
}

3. `restrict` (唯一指针限定符)

restrict 是 C99 标准引入的，它仅用于指针。它向编译器做出一个承诺：在指针的生命周期内，只有这个指针（或基于它派生的指针）是访问其所指向内存区域的唯一且初始的途径。这有助于编译器解决"指针别名"问题，从而进行更激进的代码优化。

作用：帮助编译器优化代码，提升程序性能。
特点：这是一个对程序员的承诺。如果违反了这个承诺（即存在其他指针访问同一内存），会导致未定义行为。

// 告诉编译器 dest 和 src 指向的内存区域不会重叠
void copy_array(int *restrict dest, const int *restrict src, int n) {
for (int i = 0; i < n; i++) {
dest[i] = src[i];
}
}

标准库函数 memcpy 的参数就使用了 restrict，因为它假定源和目标内存不重叠。而 memmove 则没有使用，因为它需要处理内存重叠的情况。

4. `_Atomic` (原子限定符)

_Atomic 是 C11 标准引入的，用于支持多线程编程。它保证对变量的特定操作（如读、写、自增）是"原子性"的，即这些操作在执行时不会被其他线程打断。

作用：在多线程环境中安全地操作共享变量，避免数据竞争。
特点：需要包含 <stdatomic.h> 头文件。

#include <stdatomic.h>
#include <threads.h>

atomic_int counter = ATOMIC_VAR_INIT(0); // 定义一个原子整数

// 多个线程可以同时安全地增加 counter
void increment_counter() {
atomic_fetch_add(&counter, 1);
}

⚠️ 注意事项

组合使用 ：类型限定符可以组合使用。例如，const volatile int * 表示一个指向"既是常量又易变"的整数的指针，这在访问只读的硬件寄存器时非常有用。
与类型说明符的区别 ：const、volatile 等是类型限定符 ，它们修饰类型的属性。而 signed、unsigned、short、long 是类型说明符，它们用于构建或改变基本类型本身。

C 基础(11) - 存储类别、链接和内存管理

存储类别

📊 四种存储类别对比

📝 各类别详解

1. auto (自动变量)

2. register (寄存器变量)

3. static (静态变量)

4. extern (外部变量)

分配内存:malloc ()和 free()

📌 核心概念

💡 函数详解

malloc() - 分配内存

free() - 释放内存

🛠️ 基本用法与最佳实践

⚠️ 常见错误与风险

🆚 与 calloc() 的区别

类型限定符

📌 核心限定符概览

📝 各类别详解

1. const (常量限定符)

2. volatile (易变限定符)

3. restrict (唯一指针限定符)

4. _Atomic (原子限定符)

⚠️ 注意事项

1. `auto` (自动变量)

2. `register` (寄存器变量)

3. `static` (静态变量)

4. `extern` (外部变量)

1. `const` (常量限定符)

2. `volatile` (易变限定符)

3. `restrict` (唯一指针限定符)

4. `_Atomic` (原子限定符)