為什麼需要動態儲存管理
程式中需要用變數（各種簡單型別變數、陣列變數等）儲存被處理的資料和各種狀態資訊，變數在使用之前必須安排好儲存：放在哪裡、佔據多少儲存單元，等等，這個工作被稱作儲存分配。用機器語言寫程式時，所有儲存分配問題都需要人處理，這個工作瑣碎繁雜、很容易出錯。在用高階語言寫程式時，人通常不需要考慮儲存分配的細節，主要工作由編譯程式在加工程式時自動完成。這也是用高階語言程式設計序效率較高的一個重要原因。

C程式裡的變數分為幾種。外部變數、區域性靜態變數的儲存問題在編譯時確定，其儲存空間的實際分配在程式開始執行前完成。程式執行中訪問這些變數，就是直接訪問與之對應的固定位置。對於區域性自動變數，在執行進入變數定義所在的複合語句時為它們分配儲存。應該看到，這種變數的大小也是靜態確定的。例如，區域性自動陣列的元素個數必須用靜態可求值的表示式描述。這樣，一個函式在呼叫時所需的儲存量（用於安放該函式裡定義的所有自動變數）在編譯時就完全確定了。函式定義裡描述了所需要的自動變數和引數，定義了陣列的規模，這些就決定了該函式在執行時實際需要的儲存空間大小。

以靜態方式安排儲存的好處主要是實現比較方便，效率高，程式執行中需要做的事情比較簡單。但這種做法也形成了對寫程式方式的一種限制，使某些問題在這個框架裡不好解決。舉個簡單的例子：假設現在要寫一個處理一組學生成績資料的程式，被處理資料需要儲存，因此應該定義一個數組。由於每次使用程式時要處理的成績的項數可能不同，我們可能希望在程式啟動後輸入一個表示成績項數的整數（或通過命令列引數提供一個整數，問題完全一樣）。對於這個程式，應該怎樣建立其內部的資料表示呢？

問題在於寫程式時怎樣描述陣列元素的個數。一種理想方式是採用下面的程式框架：

int n;

...

scanf("%d", &n);

double scores[n];

... /* 讀入成績資料，然後進行處理 */

但是這一做法行不通。這裡存在兩個問題：首先是變數定義不能出現在語句之後。這個問題好解決，可以引進一個複合語句，把scores的定義放在複合語句裡。第二個問題更本質，在上面程式段裡，描述陣列scores大小的表示式是一個變數，它無法靜態求出值。也就是說，這個陣列大小不能靜態確定，C語言不允許以這種方式定義陣列。這個問題用至今討論過的機制都無法很好解決。目前可能的解決方案有（一些可能性）：

1.         分析實際問題，定義適當大小的陣列，無論每次實際需要處理多少資料都用這個陣列。前面的許多程式採用了這種做法。如果前期分析正確，這樣做一般是可行的。但如果某一次實際需要處理的資料很多，程式裡定義陣列不夠大，這個程式就不能用了（當然，除非使用程式的人有源程式，而且知道如果修改程式，如何編譯等等。在現實生活中，這種情況是例外）。

2.         定義一個很大的陣列，例如在所用的系統裡能定義的最大陣列。這樣做的缺點是可能浪費大量空間（儲存器是計算機系統裡最重要的一種資源）。如果在一個複雜系統裡，有這種情況的陣列不止一個，那就沒辦法了。如果都定義得很大，系統可能根本無法容納它們。而在實際計算中，並不是每個陣列都真需要那麼大的空間。

上面只是一個說明情況的例子。一般情況是：許多執行中的儲存需求在寫程式時無法確定。通過定義變數的方式不能很好地解決這類問題。為此就需要一種機制，使我們能利用它寫出一類程式，其中可以根據執行時的實際儲存需求分配適當大小的儲存區，以便存放到在執行中才能確定大小的資料組。C語言為此提供了動態儲存管理系統。說是“動態”，因為其分配工作完全是在動態執行中確定的，與程式變數的性質完全不同。程式裡可以根據需要，向動態儲存管理系統申請任意大小的儲存塊。

現在有了動態儲存分配，可以要求系統分配一塊儲存，但是怎麼能在程式裡掌握和使用這種儲存塊呢？對於普通的變數，程式裡通過變數名去使用它們。動態分配的儲存塊無法命名（命名是程式設計序時的手段，不是程式執行中可以使用的機制），因此需要另闢蹊徑。一般的語言裡都通過指標實現這種訪問，用指標指向動態分配得到的儲存塊（把儲存塊的地址存入指標），而後通過對指標的間接操作，就可以去使用儲存塊了。引用動態分配的儲存塊是指標的最主要用途之一。