所有這些都與C ++有關：

定義：當您靜態創建對象（在堆棧上而不是在堆內存中分配它們）并執行函數調用時，它們會“堆疊”。

當一個范圍（由{and 分隔的任何東西}）退出時（通過使用return XXX;，到達范圍的末尾或拋出異常），該范圍內的所有內容都將被銷毀（析構函數將被調用）。這種破壞本地對象和調用析構函數的過程稱為堆棧展開。

您有以下與堆棧展開相關的問題：

1. 避免內存泄漏（由本地對象管理并在析構函數中清理的任何動態分配將被泄露） - 請參閱Nikolai 提到的 RAII ，以及boost :: scoped_ptr的文檔或使用boost :: mutex的示例:: scoped_lock。

2. 程序一致性：C ++規范規定在處理任何現有異常之前，不應拋出異常。這意味著，在堆棧展開過程中不應該拋出異常（或者只使用不保證代碼析構函數拋出，或環繞一切都在析構函數與try {和} catch(...) {}）。

如果任何析構函數在堆棧展開期間拋出異常，則最終會出現未定義的行為，這可能導致程序意外終止（最常見的行為）或Universe結束（理論上可行，但在實踐中尚未觀察到）。

在一般意義上，堆棧“展開”幾乎與函數調用的結束和隨后的堆棧彈出同義。

但是，特別是在C ++的情況下，堆棧展開與C ++如何調用自任何代碼塊啟動以來分配的對象的析構函數有關。在塊中創建的對象按其分配的相反順序解除分配。