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

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

临武ssl适用于网站、小程序/APP、API接口等需要进行数据传输应用场景，ssl证书未来市场广阔！成为成都创新互联公司的ssl证书销售渠道，可以享受市场价格4-6折优惠！如果有意向欢迎电话联系或者加微信：18980820575（备注：SSL证书合作）期待与您的合作！

一：栈（stack）：

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

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

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

二：堆(heap)：

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

代码示例：

#include 
#include 
int main(void)
{
//申请内存
int *p = (int *)malloc(100);
if(p == NULL)  //错误检查
{
printf("error \n");
return -1;
}
//内存使用S
*(p+4) = 1024;
*(p+3000) = 111;
printf("*(p+3) = %d\n", *(p+4));
printf("*(p+30000)) = %d\n", *(p+3000));
printf("p = %p \n",p);
printf("(p +4) = %p \n",(p +4));

free(p);   //释放内存

printf("*(p+3) = %d\n", *(p+4));
printf("*(p+30000)) = %d\n", *(p+3000));
printf("p = %p \n",p);
printf("(p +4) = %p \n",(p +4));

p = NULL;  //避免野指针

return 0;
}

运行结果：

*(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中就是这样实现的。