彻底理解操作系统 3.1：程序员应如何理解内存

堆区与栈区的本质

在编程语言中，堆区和栈区本质上都是内存，因此二者在本质上没有任何区别，只不过这两块内存的使用方式是不一样的。

在数据结构与算法中，我们也有堆和栈的概念，但那里指的不是内存，而是两种数据结构。

你可能会想，我们为什么要费尽心力的提出堆和栈这两个概念呢？之所以需要区分两种内存用法，根源在于：内存是有限的。

如果计算机内存是无限的，那么我们根本就不用这么麻烦的给内存划分两个区域，在其中的一个区域中这样使用内存，另一区域那样使用内存，这些都是不需要的。即使在今天PC内存普遍都在8G、16G，这依然是不够的，因此我们需要合理的来安排内存的使用，堆和栈就是为达到这一目的而采用的技术。

你会发现栈其实是一种非常巧妙的内存使用方法。函数调用完成后，函数运行过程中占用的内存就会被释放掉，这样，只要程序员代码写的合理(栈帧不至于过大)，那我们程序就可以一直运行下去，而不会出现内存不足的现象。程序员在栈区不需要担心内存分配释放问题，因为这一切都是自动进行的。而如果程序员想自己控制内存，那么可以选择在堆上进行内存分配。因此这里提供了两种选择，一种是“自动的”，一种是“手动的”，目的都是在合理使用内存的同时提供给程序员最大的灵活性。

堆和栈是计算机科学中很优秀的设计思想，这种设计思想充分的体现了计算机如何合理且灵活的使用有限资源。

堆区和栈区对C/C++程序员来说就是实实在在的内存，而对于Java、Python等语言的程序员来说又该如何理解内存呢?
 

Jave、Python内存模型

当Java、Python等语言的程序在执行时其解释器的内存布局同样如下图所示，我们之前讲过，解释器也是一个C/C++程序，因此这里的代码段包含的是解释器的实现代码而不是Java、Python等代码，这一点大家一定要注意。

“C/C++程序员面对的是实实在在的物理内存，Java、Python等程序面对的是解释器。”

C/C++分配内存是直接在物理内存中进行的，而Java、Python等程序是将内存分配请求交给解释器，解释器再去物理内存上进行分配。希望大家务必理解这一点。

Java、Python等程序员是看不到如下图所示的内存布局的，因为这一切都是解释器才能