每个进程都有自己的内存堆栈区域吗,以及堆内存为什么要程序员自己释放

问题1:每个程序启动后都有自己的堆区,栈区,常量区,全局静态区吗?
问题2:编译器既然能在函数调用后自动释放局部变量,为什么不能在每次调用完函数后自动添加一句free()代码来把本函数所有堆内存都释放呢?这样程序员不就可以不用亲自管理堆内存了吗?

第一个问题回答只有一个字“是”,建议你看一本书叫《程序员的自我修养》。
第二个问题:对SP寄存器的值进行操作而形成逻辑上的栈,而局部变量是在函数内部定义的,就是在栈上定义的,函数的调用和对栈的操作这是一个很基础的也是很重要的知识点,你把局部变量的释放理解成了一个单独的动作,事实上编译器没有对这个局部变量的空间做任何内存管理意义上的操作。只是一个简单的对SP寄存器的值的一个改变即形成了栈的恢复动作。栈一恢复了,那之前那段栈内存上的数据你肯定找不到了,但那个物理内存地址上的数据却还是原状,所以我建义你把 ”自动释放局部变量“ 这几个字改成“自动丢弃局部变量”,丢了的东西就是找不回了,你没法用了,但那东西不会凭空从地球上消失,只是从你的视野里消失了,可能别人捡到了,别人就能用得着了,就像在函数A里创建的局部变量 local_a 可能在进程的地址空间里是地址0X11,但函数A返回之后,可能主程序又要调用函数B,而在函数B里创建的局部变量 local_b 也可能就是在0X11这个地址,那么地址0X11上边的值从A函数结束到B函数开始这段时间一直没变,只是在这段时间里没有人管理它的值。而这个过程就叫释放,或叫丢弃,

对堆内存的操作实际是动态内存操作,就涉及到内存管理了,其实现在的操作系统内核对用户空间的进程这块的创建与注销都加入了内存保护,你在用户空间的程序中释不释放堆内存,系统都会在这个程序结束时做内存回收动作,但这仅限于用户空间的程序,如果是内核编程的话,就一定要严格释放掉动态分配的内存,否则造成系统内存泄漏,内存泄漏的后果就是可用内存被你人为的弄成了不可用内存,到最后导至系统无动态内存可分配,就无法加载程序。

对于你的提问,其实没有办法回答得让你理解透澈,你现在对程序的运行机制和操作系统原理基本上是一个零的认识,慢慢来吧,多看操作系统原理的书,其实用户程序都是基于操作系统编程,理解一些原理性的东西是非常重要的。追问

我好困惑,现在也在看操作系统原理的书,但是基本就是看迷糊了的状态. 现在都大四了为什么还是看不懂.是我自己不适合吗

追答

贵在坚持,大家都是这么过来的。关于编程的书籍不能只看一遍,要无数遍的看,第一遍可能只看懂了百分之三十,那不懂的那些就要在以后重复阅读中去理解,边看书,边动手敲代码。从程序到操作系统,再从操作系统回到程序,这两个过程就是成为程序员的必经之路,初学者先学编程,会编程了,自己做几个小项目,像选课系统,五子棋等,做完几个项目之后,你的语法会扎实起来了,这时再看一本基于某一操作系统API的编程书籍,如UNIX环境高级编程,把大多数API用一遍,这时再去看操作系统原理,看LINUX内核设计与实现,看深入理解LINUX内核等操作系统内核的书籍及内核原代码,然后再看《程序员的自我修养》,在看书的过程中一定要敲代码。相信你会成功。

温馨提示:内容为网友见解,仅供参考
无其他回答
相似回答