编程语言导论/内存管理

引言

计算机中的内存是以分层的方式组织的。最低级的内存单元是寄存器，其次是缓存内存，然后是RAM，硬盘驱动器等等。这种计算机内存的组织方式非常有用，因为大多数程序需要的内存量超出了它们预期的使用量。

程序变量是程序中表示的抽象与计算机物理内存单元之间的联系。例如，在C语言中，可以使用`register`关键字向编译器提示一个变量将被频繁使用。

还有其他方法可以指定变量应该存储在何处。在动态类型语言（例如PHP、Javascript或Python）中，程序员无法告知变量应该存储在何处；解释器会做出该决定。另一方面，在静态类型语言（例如C和C++）中，程序员可以根据变量的类型来判断编译器应该将每个变量存储在何处。

编译器（或者操作系统）可以将变量放在程序内存中的三个位置之一：静态内存、堆栈或堆。以下部分将更详细地介绍这三种类型的内存。