一個程序的3個基本段:text段、data段、bss段。

特點是:可讀寫的,在程序執行之前BSS段會自動清0。
所以,未初始的全局變量在程序執行之前已經成0了。
注意和數據段的區別,BSS存放的是未初始化的全局變量和靜態變量,數據段存放的是初始化后的全局變量和靜態變量。
UNIX下可使用size命令查看可執行文件的段大小信息。如size a.out。
也就是通常所說的靜態存儲區,賦了初值的全局變量和賦初值的靜態變量存放在這個區域,常量也存在這個區域。數據段,代碼段在程序運行之前就已經確定了的。
這部分區域的大小在程序運行前就已經確定,并且內存區域通常屬于只讀, 某些架構也允許代碼段為可寫,即允許自修改程序。
在代碼段中,也有可能包含一些只讀的常數變量,例如字符串常量等。
text段在編譯時確定,內存中被映射為只讀,但date段與bss段是可寫的。
堆棧是由編譯器自動分配釋放,存放函數的參數和局部變量的值(auto類型),操作方式類似于數據結構中的棧。棧的申請是由系統自動分配,如在函數內部申請一個局部變量int h,同時判斷所申請空間是否小于棧的剩余空間,如果小于則為其開辟空間,為程序提供內存,否則將報異常提示棧溢出。
堆一般由程序員分配釋放,若程序員不釋放,程序結束可能由OS回收。
它與數據結構中的堆是兩回事,分配方式類似于鏈表,申請則是程序員自己操作使用malloc或new。
申請過程比較復雜,當系統收到程序的申請時,會遍歷記錄空閑內存地址的鏈表,以求尋找第一個空間大于所申請空間的堆節點,然后將該節點從空閑節點鏈表中刪除,并將該節點的空間分配給程序,有些情況下,新申請的內存塊的首地址記錄本次分配的內存塊的大小,這樣在free()時能正確的釋放內存空間。
全局變量與靜態變量的存儲是放在一塊的,初始化的全局變量與靜態變量存放在一塊區域,未初始化的全局變量與未初始化的靜態變量存放在相鄰的另一塊區域。
常量字符串就是放在該部分,只讀存儲區,程序結束后由系統釋放
存放程序的二進制代碼區。

兩者之間區別是:代碼段,數據段,堆棧段是cpu級別的概念,五大分區屬于語言級別的概念,兩者是不同的概念。

左邊是UNIX系統的執行文件,右邊是進程對應的邏輯地址空間的劃分情況。

static變量主要區分靜態全局變量和全局變量、局部變量和靜態局部變量之間的區別。
| 全局變量 | 靜態全局變量 | |
|---|---|---|
| 生存周期 | 程序運行到程序結束 | 程序運行開始到程序結束 |
| 作用域 | 所有的代碼 | 只有當前文件可以訪問 |
| 代碼段中位置 | 全局數據區 | 全局數據區 |
以下是b.c 和 a.c源代碼:

編譯:
gcc?a.c?b.c
執行結果:

由編譯結果可知,文件a.c可以訪問到b.c文件中的靜態全局變量b。


由編譯結果可知,文件a.c無法訪問到b.c文件中的靜態全局變量b,所以編譯報錯。
| 局部變量 | 靜態局部變量 | |
|---|---|---|
| 生存周期 | 函數調用到函數返回 | 程序運行開始到程序結束 |
| 作用域 | 函數內部 | 函數內部 |
| 代碼段中位置 | 棧 | 全局數據區 |
靜態局部變量存放在數據段.data中,局部變量在棧中;靜態局部變量和局部變量都只能在函數體內部才可以訪問。
函數每次訪問的靜態局部變量,該變量的值為最后一次訪問修改后的值。
例如:
??1?#include?
??2?
??3?
??4?void?func()
??5?{
??6?????int?aa?=?11;
??7?
??8?????printf("aa=?%d?\n",aa++);
??9?
?10?}
?11?
?12?int?main(int?argc,?char?**argv)
?13?{
?14?
?15?????func();????????????????????????????????????????????????????????????????????????????????????
?16?????func();
?17?
?18?????return?0;
?19?}

對于普通的局部變量,每次調用的時候,都會在棧里初始化1次,
?1?#include?
??2?
??3?
??4?void?func()
??5?{
??6?????static?int?aa?=?11;
??7????????????????????????????????????????????????????????????????????????????????????????????????
??8?????printf("aa=?%d?\n",aa++);
??9?
?10?}
?11?
?12?int?main(int?argc,?char?**argv)
?13?{
?14?????
?15?????func();
?16?????func();
?17?
?18?????return?0;
?19?}

函數中靜態變量aa 只初始化一次,每次訪問的值應該是上一次調用到該函數時最后處理的結果,
在函數的返回類型前加上關鍵字static,函數就被定義成為靜態函數。
函數的定義和聲明默認情況下是extern的,但靜態函數只是在聲明他的文件當中可見,不能被其他文件所用。
static函數(也叫內部函數)只能被本文件中的函數調用,而不能被同一程序其它文件中的函數調用。
區別于一般的非靜態函數(外部函數) static在c里面可以用來修飾變量,也可以用來修飾函數。
先看用來修飾變量的時候。變量在c里面可分為存在全局數據區、棧和堆里。
其實我們平時所說的堆棧是棧而不包含堆,不要弄混。
a.c
??1?#include?
??2?
??3?void?func();
??4?
??5?int?main(int?argc,?char?**argv)
??6?{
??7?????
??8?????func();????????????????????????????????????????????????????????????????????????????????????????????????????????
??9?
?10?????return?0;
?11?}
b.c
??1?#include?
??2?
??3?int?b?=?10;
??4?
??5?
??6?static?void?func()?????????????????????????????????????????????????????????????????????????????????????????????????
??7?{
??8?????printf("in?func?b?=%d\n",b);
??9?}

由編譯結果可知,a文件訪問不到b文件中的靜態函數func。

END
→點關注,不迷路←