C语言内存布局详解：栈、堆、全局与静态区

"本文主要介绍了C语言中的内存布局问题，包括内存的五种类型：栈区、堆区、全局区（静态区）、文字常量区和程序代码区，并通过示例代码详细阐述了不同类型的变量和数据在内存中的存储位置。此外，还提及了进程的内存空间分配，包括静态数据区和动态数据区的概念。" C语言中的内存布局是一个关键的编程概念，理解这些知识对于编写高效、无内存泄漏的程序至关重要。首先，内存分为五个主要区域： 1. 栈区：由编译器自动管理，用于存储函数参数和局部变量。栈遵循后进先出（LIFO）原则，其大小有限，一般在几MB左右。 2. 堆区：由程序员手动分配和释放，通常使用`malloc`或`new`进行分配，用`free`或`delete`进行释放。堆内存大小可动态扩展，但管理不当可能导致内存泄漏。 3. 全局区（静态区）：存储全局变量和静态变量。初始化的全局变量和静态变量存储在一起，未初始化的则存储在相邻区域，程序结束时由系统释放。 4. 文字常量区：存放字符串字面量等常量，程序结束时释放。 5. 程序代码区：存放编译后的机器指令，不随程序运行而改变。 以下是一个示例程序，展示了不同类型的变量如何分配内存： ```c inta=0; // 存放在全局初始化区 char*p1; // 存放在全局未初始化区 int main() { int b; // 存放在栈中 char s[]="abc"; // 存放在栈中 char *p2; // 存放在栈中 char *p3="123456"; // p3在栈中，"123456"在常量区 static int c=0; // 存放在全局初始化区 p1=(char*)malloc(10); // 存放在堆中 p2=(char*)malloc(20); // 存放在堆中 strcpy(p1,"123456"); // "123456"在常量区，可能与p3的"123456"共享 free(p1); free(p2); } ``` 在进程的内存空间分配中，静态数据区包含全局变量和静态变量，而动态数据区包括堆和栈。代码区则存储程序的二进制指令。理解这些内存分区对于有效地管理内存和理解程序的执行过程具有重要意义。