C语言 C内存模型

参考：
C语言内存模型（内存组织方式）
C语言程序的内存布局（内存模型）

• 程序代码区(code area)
  存放函数体的二进制代码。

• 全局区数据区(data area)
  全局数据区划分为三个区域。
  初始化的全局变量和静态变量在一块区域；
  未初始化的全局变量和未初始化的静态变量在相邻的另一块区域；
  常量数据存放在另一个区域里。
  这些数据在程序结束后由系统释放。我们所说的BSS段(bss segment)通常是指用来存放程序中未初始化的全局变量的一块内存区域。BSS是英文Block Started by Symbol的简称。
  未初始化的全局变量的默认值是 0，而未初始化的局部变量的值是垃圾值（任意值）。

• 栈区(stack area)
  由编译器自动分配释放，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈。

• 堆区(heap area)
  一般由程序员分配释放，若程序员不释放，程序结束时可能由OS回收。malloc、calloc、free等函数操作的就是这块内存。
  注意它与数据结构中的堆是两回事，分配方式类似于链表。

• 命令行参数区
  存放命令行参数和环境变量的值。

示例

int a = 0;  // 全局初始化区（④区）
char *p1;  // 全局未初始化区（③区）
int main()
{
    int b;  // 栈区
    char s[] = "abc";  // 栈区
    char *p2;  // 栈区
    char *p3 = "123456"; // 123456\0 在常量区（②），p3在栈上，体会与 char s[]="abc"; 的不同
    static int c = 0;  // 全局初始化区
    p1 = (char *)malloc(10),  // 堆区
    p2 = (char *)malloc(20);  // 堆区
    // 123456\0 放在常量区，但编译器可能会将它与p3所指向的"123456"优化成一个地方
    strcpy(p1, "123456");
}