C语言中堆和栈的区别以及不能返回指向局部变量的指针

C语言中堆和栈的区别

一.引言：

可执行程序在存储时（没有调到内存）分为代码区（text）、数据区（data）和未初始化数据区（bss）3个部分。

（1）代码区（text segment）。存放CPU执行的机器指令。通常，代码区是可共享的（即另外的执行程序可以调用它），因为对于频繁被执行的程序，只需要在内存中有一份代码即可。代码区通常是只读的，使其只读的原因是防止程序意外地修改它的指令。另外，代码区还规划了局部变量的相关信息。

（2）全局初始化数据区/静态数据区（initialized data segment/data segment）。该区包含了在程序中明确被初始化的全局变量、静态变量（包括全局静态变量和局部静态变量）和常量数据（如字符串常量）。

（3）未初始化数据区（BSS区，uninitialized data segment），存入的是全局未初始化变量、未初始化的静态变量。BSS区的数据在程序开始执行之前被内核初始化为0或者空指针（NULL）。

上图表示可执行代码存储时结构和运行时结构的对照图。一个正在运行着的C编译程序占用的内存分为代码区、初始化数据区、未初始化数据区、堆区和栈区5个部分。

（1）代码区，代码区指令根据程序设计流程依次执行，对于顺序指令，则只会执行一次（每个进程），如果反复，则需要使用跳转指令，如果进行递归，则需要借助栈来实现。

代码区的指令中包括操作码和要操作的对象（或对象地址引用）。如果是立即数（即具体的数值），将直接包含在代码中；如果是局部数据，将在栈区分配空间，然后引用该数据地址；如果是BSS区和数据区，在代码中同样将引用该数据地址。

（2）全局初始化数据区/静态数据区：只初始化一次。

（3）未初始化数据区（BSS）：在运行时改变其值。

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

每当一个函数被调用，该函数返回地址和一些关于调用的信息，比如某些寄存器的内容，被存储到栈区。然后这个被调用的函数再为它的自动变量和临时变量在栈区上分配空间，这就是C实现函数递归调用的方法。每执行一次递归函数调用，一个新的栈框架就会被使用，这样这个新实例栈里的变量就不会和该函数的另一个实例栈里面的变量混淆。

函数调用时计算机会分配一块内存，这个内存就是调用栈。函数调用都会使用栈内存。栈区的局部变量在函数调用结束后会被释放，函数中的局部变量会随函数的销毁而销毁。

（5）堆区（heap）：用于动态内存分配。堆在内存中位于BSS区和栈区之间。一般由程序员分配和释放，若程序员不释放，则可能会引起内存泄漏。注:堆和数据结构中的堆栈不一样，其类似于链表。

 

之所以分成这么多个区域，主要基于以下考虑：

1、一个进程在运行过程中，代码是根据流程依次执行的，只需要访问一次，当然跳转和递归有可能使代码执行多次，而数据一般都需要访问多次，因此单独开辟空间以方便访问和节约空间。

2、临时数据及需要再次使用的代码在运行时放入栈区中，生命周期短。

3、全局数据和静态数据有可能在整个程序执行过程中都需要访问，因此单独存储管理。

4、堆区由用户自由分配，以便管理。

下面是网上一个典型的例子来帮助理解C程序内存分配：

int a = 0;     //a在全局已初始化数据区

char *p1;     //p1在BSS区（未初始化全局变量）



void main()

{

     int b;     //b在栈区

     char s[] = "abc";    //s为数组变量，存储在栈区，“abc”为字符串常量，存储在已初始化数据区

     char *p1, p2;    //p1、p2在栈区   这里我觉得p2不是指针类型，下面直接malloc有问题,