程式語言導論/記憶體管理

引言

計算機中的記憶體是以分層的方式組織的。最低階的記憶體單元是暫存器，其次是快取記憶體，然後是RAM，硬碟驅動器等等。這種計算機記憶體的組織方式非常有用，因為大多數程式需要的記憶體量超出了它們預期的使用量。

程式變數是程式中表示的抽象與計算機物理記憶體單元之間的聯絡。例如，在C語言中，可以使用`register`關鍵字向編譯器提示一個變數將被頻繁使用。

還有其他方法可以指定變數應該儲存在何處。在動態型別語言（例如PHP、Javascript或Python）中，程式設計師無法告知變數應該儲存在何處；直譯器會做出該決定。另一方面，在靜態型別語言（例如C和C++）中，程式設計師可以根據變數的型別來判斷編譯器應該將每個變數儲存在何處。

編譯器（或者作業系統）可以將變數放在程式記憶體中的三個位置之一：靜態記憶體、堆疊或堆。以下部分將更詳細地介紹這三種類型的記憶體。