C++內存分配中一個有趣的小問題（原來博客園已經發布的文章不能從新用markdown來寫呀）

目錄

• 問題的提出
• 問題的探索
• 我的的推測

如下代碼測試環境：vs2019

問題的提出

執行這麼一段代碼，看看會發生什麼：

int arr[5] = { 0 };
int main()
{
	arr[5] = 1;
}

毫無疑問，會報錯，由於訪問越界了。

---

再看看另外一段代碼：

int arr[5] = { 0 };
int main()
{
    arr[5] = 1;
}

與上面的代碼相比幾乎沒什麼差異，僅僅把arr的定義和初始化搬到了函數外面，但執行程序卻沒有出錯。

相似的還有這麼一段代碼：

int main()
{
    static int arr[5] = { 0 };
    arr[5] = 1;
}

一樣也能執行成功，那麼這是爲何呢？

---

問題的探索

如下這段話摘自

在C++中內存分爲5個區，分別是堆、棧、自由存儲區、全局/靜態存儲區和常量存儲區。
堆：堆是操做系統中的術語，是操做系統所維護的一塊特殊內存，用於程序的內存動態分配，C語言使用malloc從堆上分配內存，使用free釋放已分配的對應內存。
棧：在執行函數時，函數內局部變量的存儲單元均可以在棧上建立，函數執行結束時這些存儲單元自動被釋放。棧內存分配運算內置於處理器的指令集中，效率很高，可是分配的內存容量有限。
自由存儲區：自由存儲區是C++基於new操做符的一個抽象概念，凡是經過new操做符進行內存申請，該內存即爲自由存儲區。
全局/靜態存儲區：這塊內存是在程序編譯的時候就已經分配好的，在程序整個運行期間都存在。例如全局變量，靜態變量。
常量存儲區：這是一塊比較特殊的存儲區，他們裏面存放的是常量(const)，不容許修改。

上面的問題涉及到兩個區：棧和全局/靜態存儲區。

---

我的的推測

基於以上結果，我有個不成熟的小推測：

• 棧的空間是系統預約分配好的，假如我定義了int arr[5]，那麼系統就必定給我5*4（32位系統下）個字節的空間，系統不容許我訪問超過這個空間的地址上的數據。
• 全局/靜態存儲區則不一樣，當我定義int arr[5]時，系統給我返回arr的首地址，我不只能夠根據這個首地址去訪問20個字節的內容，還能夠訪問這二十個字節之外的內容。