C語言中內存分配問題

　　C語言的位字段是個比較有意思的特性。它的目的是在一個機器字中保存多個對象（每個對象占據若干bit），從而節(jié)省內存資源，同時又避免復雜的位運算。在此不再討論位字段的具體語法，下面將研究位字段的存儲特性。

　　先說含有多個字段（field）的字（word）所占空間的規(guī)律——含有多個字段的字的大小是所有字段的類型中的最長的那個的倍數。但要確定究竟是最長類型的幾倍則比較復雜，這要看是否需要考慮類型對齊問題（即一個字段能否跨越兩個最長類型）。

　　例1：

　　struct word {

　　char field1 : 1;

　　char field2 : 2;

　　int field3 : 4;

　　};

　　前兩個字段都是char類型，第三個是int類型，所有類型中最長的是int類型。所以字的大小是int類型長度（即4字節(jié)）的倍數。而size of word的結果是4字節(jié)（即int的1倍），這是因為word的三個字段總共7位（1+2+4），小于int的32位，且不需 考慮類型對齊問題。

　　例2：

　　struct word {

　　char field1 : 1;

　　char field2 : 2;

　　int field3 : 30;

　　};

　　與上例一樣， 所有 類型中最長的是 int類型。所以字的大小是int類型長度（即4字節(jié)）的倍數。而size of word的結果是8字節(jié)（即int的2倍），這是因為word的三個字段總共33位（1+2+30），需要兩個int的64位才能裝下， 且不需 考慮類型對齊問題。

　　例3：

　　struct word {

　　char field1 : 3;

　　char field2 : 6;

　　char field3 : 3;

　　};

　　所有 類型中最長的是 char類型。所以字的大小是char類型長度（即1字節(jié)）的倍數。在linux下size of word的結果是3字節(jié)（即char的3倍）。如果只考慮word的三個字段總共12位（3+6+3），需要兩個char的16位即能裝下，但是在linux的gcc實現(xiàn)下，第二個字段不能跨越兩個char（為了對齊），所以三個字段各占一個字節(jié)。共3字節(jié)。但 一個字段能否跨越兩個最長類型是由具體的實現(xiàn)決定的。

　　其次，我們討論word內各個field的存儲，這個和具體的實現(xiàn)有關。有的是從左向右分配的，有的是從右向左分配的。這個沒有規(guī)律可言。

　　最后，對word中的field不能進行取地址操作，這是因為指針需要對齊。但可以對word進行取地址操作。

【C語言中內存分配問題】相關文章：

C語言中的指針和內存泄漏08-07

C語言中的內存怎樣避免與檢測與泄露06-17

C語言中參數的傳值問題考題08-22

C/C++內存管理09-20

C語言中參數的傳值問題考題詳解10-08

解析C語言結構體對齊(內存對齊問題)10-14

C語言中的整數06-16

C語言中的字符07-18

C語言的內存使用09-23