轉載

轉自：http://blog.csdn.net/chenyiming_1990/article/details/9476181

今晚看了人家寫的一個關於C語言記憶體分配的帖子，發現真是自己想找的，於是乎就收藏了。。。
先看一下兩段程式碼：

1. char* toStr()   
2. {  
3.     char *s = "abcdefghijkl";  
4.     return s;  
5. }  
6. int main()  
7. {  
8.     cout << toStr() << endl;  
9.     return 0;  
10. }  

和

1. char* toStr()   
2. {  
3.     char s[] = "abcdefghijkl";  
4.     return s;  
5. }  
6. int main()  
7. {  
8.     cout << toStr() << endl;  
9.     return 0;  
10. }  

前一段程式碼打印出來是字串，而後一段程式碼打印出來就是亂碼。記得學C語言的時候講到，字串是被當做字元陣列來處理的。所以字元陣列名就相當於指向首地址的指標。那麼
1. char *s = "abcdefghijkl";
2. char s[] = "abcdefghijkl";
這兩種表示式似乎是一樣的，可是為什麼程式結果會不一樣呢？原因就是沒有對記憶體分配了解好。當然現在的C語言教材不會講到的。
解釋：
程式的意思比較簡單，不用解釋。
第一種表示式，指標s是區域性變數，他的作用域是函式toStr內。它將其指向的地址返回，返回之後s即被銷燬，慶幸s指向的地址被返回了回來。最終列印正確。
第二種表示式，那麼我們會問第二種與第一種的區別在哪，為何錯？原因就是第一種指標s雖然是區域性變數，被分配在棧空間，作用域是函式內部，但其指向的內容"abcdefghijkl"是常量，被分配在程式的常量區。直到整個程式結束才被銷燬。而第二種，s是一陣列，分配到棧空間，"abcdefghijkl"作為陣列各個元素被放到陣列中，一旦函式退出，棧中這塊記憶體就被釋放。雖然返回一個地址，可是已經失去它的意義了。

通過以上例子，我們來學習學習記憶體分配的問題吧。

首先，需要搞清楚：變數的型別和它的儲存類別是兩個概念。
資料型別和記憶體管理沒有直接的關係。

一、一個由C/C++編譯的程式佔用的記憶體分為以下幾個部分：
1、棧區（stack）—由編譯器自動分配釋放，存放函式的引數值，區域性變數的值等。其操作方式類似於資料結構中的棧。
2、堆區（heap）—一般由程式設計師分配釋放，若程式設計師不釋放，程式結束時可能由OS回收。注意它與資料結構中的堆是兩回事，分配方式倒是類似於連結串列，呵呵。
3、全域性區（靜態區）（static），全域性變數和靜態變數的儲存是放在一塊的，初始化的全域性變數和靜態變數在一塊區域，未初始化的全域性變數和未初始化的靜態變數在相鄰的另一塊區域。  程式結束後由系統釋放。
4、文字常量區—常量字串就是放在這裡的。程式結束後由系統釋放
5、程式程式碼區—存放函式體的二進位制程式碼。

二、例子程式
這是一個前輩寫的，非常詳細

1. //main.cpp  
2. int a = 0; //全域性初始化區
3. char *p1; //全域性未初始化區
4. main()  
5. {  
6.     int b; //棧
7.     char s[] = "abc"; //棧
8.     char *p2; //棧
9.     char *p3 = "123456"; //123456\\0在常量區，p3在棧上。
10.     staticint c =0;//全域性（靜態）初始化區
11.     p1 = (char *)malloc(10);      
12.     p2 = (char *)malloc(20);//分配得來得10和20位元組的區域就在堆區。
13.     strcpy(p1, "123456"); //123456\\0放在常量區，編譯器可能會將它與p3所指向的"123456"優化成一個地方。      
14. }   

這下就對程式的記憶體分配理解更深入了吧。

其實包括其他程式語言，Java等，他們都有所謂的棧空間和堆空間以及常量區，我們經常寫完程式之後發現莫名的錯誤，或者記憶體被慢慢吞噬，這都是這方面的原因。