堆棧是一個在計算機科學中經常使用的抽象數據類型。堆棧中的物體具有一個特性: 最后一個放入堆棧中的物體總是被最先拿出來, 這個特性通常稱為后進先出(LIFO)隊列。 堆棧中定義了一些操作。 兩個最重要的是PUSH和POP。 PUSH操作在堆棧的頂部加入一 個元素。POP操作相反, 在堆棧頂部移去一個元素, 并將堆棧的大小減一。
堆棧溢出的產生是由于過多的函數調用,導致調用堆棧無法容納這些調用的返回地址,一般在遞歸中產生。堆棧溢出很可能由無限遞歸(Infinite recursion)產生,但也可能僅僅是過多的堆棧層級。
一般產生溢出的原因如下:
1.函數調用層次太深。函數遞歸調用時,系統要在棧中不斷保存函數調用時的現場和產生的變量,如果遞歸調用太深,就會造成棧溢出,這時遞歸無法返回。再有,當函數調用層次過深時也可能導致棧無法容納這些調用的返回地址而造成棧溢出。
2.動態申請空間使用之后沒有釋放。由于C語言中沒有垃圾資源自動回收機制,因此,需要程序主動釋放已經不再使用的動態地址空間。申請的動態空間使用的是堆空間,動態空間使用不會造成堆溢出。
3.數組訪問越界。C語言沒有提供數組下標越界檢查,如果在程序中出現數組下標訪問超出數組范圍,在運行過程中可能會內存訪問錯誤。
4.指針非法訪問。指針保存了一個非法的地址,通過這樣的指針訪問所指向的地址時會產生內存訪問錯誤。
堆溢出:不斷的new 一個對象,一直創建新的對象,
棧溢出:死循環或者是遞歸太深,遞歸的原因,可能太大,也可能沒有終止。
通常「堆棧溢出」是指「調用堆棧(call stack)的溢出」。要通俗地解釋調用堆?赡鼙容^困難,因為它涉及許多其他計算機架構的知識。而這個答案只是簡單地解釋堆棧這種數據結構的特點──先進后出/后進先出。溢出是指這個數據結構滿溢,不能存放更多數據。其他的數據結構也會遇到這個情況。即使數據結構并非固定容量,而是可擴展的,在有限的內存空間下仍是有滿溢的機會。
另外,很多時候,「調用堆棧溢出」的出現是與遞歸(recursion)相關的。我們可以把一些遞歸的實現改為迭代(iteration),但有時還是必須有一個自定義的堆棧數據結構,例如對樹的深度優先搜索(Depth-First Search, DFS)。自定義的堆棧也是有溢出的可能。
所以,雖然堆棧溢出常指調用堆棧溢出,但本質上也只是一種數據結構的滿溢情況