为什么
当定义一个很大的数组,其作为局部变量,存储在栈区中,但是栈空间有限(比较小),会导致空间的溢出,使程序无法正常运行。
c程序地址空间有栈区,堆区,静态区。调用函数创建栈空间,当函数调用完成,栈空间就释放。具体描述
动态内存开辟的空间在堆区中,堆区相对于栈区就大得多。代码区,字符常量区,已初始化全局数据区,未初始化全局数据区,堆区统称为全局数据区,该区随着程序的运行而存在,static修饰的变量本质上是将变量的空间开辟到全局数据区,延长其生命周期。
且动态内存开辟使用灵活,通过具体的情况进行空间的申请。
free
释放空间的本质,解除了程序与地址所指向空间的某种“关系”,即使释放完的指针还是指向那块空间,但实际上程序不能访问。所以在释放完指针要将指针置空,防止野指针的生成。
free函数会释放动态开辟的空间,但free怎么知道要释放多少空间?动态开辟空间时,其实会多开辟一些空间来保存这次开辟空间的有关信息,free函数会通过这些信息去释放空间。
所以申请堆空间时,申请的空间越大越好。
内存泄漏
动态开辟空间,使用完未释放会导致内存泄漏的问题。当程序结束时,操作系统会回收内存,全局数据区的空间也还给了操作系统,内存泄漏也随之结束。
管理体现
何时开辟空间,何时释放,开辟多少空间,释放多少空间,这些具体的细节需要由程序员把控,这些也是管理的体现。
c语言是一门较为底层的语言,由程序员进行内存管理;像java这样的高级语言,内存的管理工作则是交给语言,不用程序员参与。