C语言之程序中内存的来源：栈堆数据段-白红宇

程序在运行的时候，其内存的来源主要通过三种方法：栈堆数据段，总体上来讲栈是一般用来存放小内存的局部变量，堆内存和数据段的属性很像，在使用的的时候，如果这个变量是伴随程序一直存在则使用全局变量，也就是放在数据段，如果一个变量使用完了就没用了，那么就适合用堆内存（先申请，然后释放即可），

一：栈（stack）：

1：栈在使用的时候是编译器自动分配内存空间的，不需要程序员的干涉，其次栈的大小是有限的，所以当我们定义的变量需要大片的内存的时候就不适合使用栈，

2：栈存放的是普通变量，栈的在使用的时候是反复使用的，所以栈内存是脏的，在定义普通变量的时候，如果不对变量进行初始化，那么变量的值就是随机的。

3：栈是先进后出的，其内存空间是向下增长的。

二：堆(heap)：

1：堆得使用时是由程序员来操作的，程序员通过malloc来向内存申请堆内存，使用完以后通过free来释放这部分内存，如果这部分内存在使用完以后没有进行内存的释放，那么这部分内存管理器就会认为这部分内存一直被占用的，体现出来的就是程序吃内存，也就是所谓的内存泄漏，如果没有释放内存，则被占用的内存只有当程序结束以后才会被释放。一般需要大片的内存时才使用堆，堆是先进先出的，其内存空间是向上增长的。

代码示例：

                         
<span style=
"font-family:'宋体', SimSun;font-size:20px;"
>#include <stdio.h><br data-filtered=
"filtered"
>#include <stdlib.h><br data-filtered=
"filtered"
>
int
main(
void
)<br data-filtered=
"filtered"
>{<br data-filtered=
"filtered"
>
//申请内存<br data-filtered="filtered">int *p = (int *)malloc(100);<br data-filtered="filtered">if(p == NULL)  //错误检查<br data-filtered="filtered">{<br data-filtered="filtered">printf("error \n");<br data-filtered="filtered">return -1;<br data-filtered="filtered">}<br data-filtered="filtered">//内存使用S<br data-filtered="filtered">*(p+4) = 1024;<br data-filtered="filtered">*(p+3000) = 111;<br data-filtered="filtered">printf("*(p+3) = %d\n", *(p+4));<br data-filtered="filtered">printf("*(p+30000)) = %d\n", *(p+3000));<br data-filtered="filtered">printf("p = %p \n",p);<br data-filtered="filtered">printf("(p +4) = %p \n",(p +4));<br data-filtered="filtered"><br data-filtered="filtered">free(p);   //释放内存<br data-filtered="filtered"><br data-filtered="filtered">printf("*(p+3) = %d\n", *(p+4));<br data-filtered="filtered">printf("*(p+30000)) = %d\n", *(p+3000));<br data-filtered="filtered">printf("p = %p \n",p);<br data-filtered="filtered">printf("(p +4) = %p \n",(p +4));<br data-filtered="filtered"><br data-filtered="filtered">p = NULL;  //避免野指针<br data-filtered="filtered"><br data-filtered="filtered">return 0;<br data-filtered="filtered">}</span>
        
      

运行结果：

*(p+3) = 1024

*(p+30000)) = 111

p = 0x8efb008

(p +4) = 0x8efb018

*(p+3) = 1024

*(p+30000)) = 111

p = 0x8efb008

(p +4) = 0x8efb018

分析：

1：堆内存可以越界访问，但是实际中最好还是不要，因为你在使用的时候越界访问就意味着踩到别人了

2：堆内存在释放之后还可以访问，并且访问的值还是不变的，说明堆内存也是脏的，堆内存释放的时候并没有对使用过的没存进行清理。

三：数据段(.data )

1：一个程序主要有数据段（.data）代码段和bss段，不同的段具有不同的段属性

数据段：（又叫数据区、静态数据区、静态区）数据段存放的是程序的中显示初始化的全局变量（不包括初始化为0的全局变量），同时需要注意的是全局变量才算是程序的数据，局部变量不是程序变量，只是函数数据

代码段：代码段就是程序中的可执行部分，直观理解代码段就是函数堆叠组成的。代码段是只读的。

bss段：（又叫zero initial 段）bss段存放的是为显示初始化的全局变量已经初始化为0的全局变量（C语言中默认全局变量的初始化就是为0），所以可以理解为bss段就是初始化为0的数据段。

2：放在.data段的变量有两种：第一种是显式初始化为非0的全局变量，另一种是静态局部变量，也就是static修饰的局部变量（普通变量是分配在栈上面，静态局部变量是分布在.data段）

四：代码段中的特殊数据

1：C语言使用char *p = "linux"；定义字符串的时候，字符串"linux"实际上是被分配到了代码段上面，换句话说这里的字符串"linux"实际上是一个常量字符串而不是变量字符串。

2：const修饰的类型常量，const的实现方法主要有两种，一种是编译的时候将const修饰的变量放在代码段去实现不可修改（因为代码段是只读的），另一种是由编译器来检查来确保const修饰的常量，但是这种实际上和普通常量样，也是被放在了数据段，所以如果绕过编译器就可以实现修改，具体实现方法是用指针去指向这个常量的内存空间，然后解引用去修改这个常量，gcc中就是这样实现的。

本文转自菜鸟养成记 51CTO博客，原文链接:http://blog.51cto.com/11674570/1861671