結(jié)構(gòu)體內(nèi)存對齊你真的弄懂了？聽說這這道題目80%的初學(xué)者都沒做對
好久沒更新C語言文章了，今天給大家?guī)硪坏澜?jīng)典、易錯的關(guān)于C語言結(jié)構(gòu)體內(nèi)存對齊的題目：
求32bit環(huán)境下以下結(jié)構(gòu)體所占的字節(jié)數(shù)：
typedef struct test_struct
{
char a;
short b;
char c;
int d;
char e;
}test_struct;
請說出你的答案：
下面看一下實際測試情況：
1、測試代碼：
/***********************************
* 公眾號：嵌入式大雜燴
***********************************/
#include <stdio.h>
typedef struct test_struct
{
char a;
short b;
char c;
int d;
char e;
}test_struct;
int main(void)
{
test_struct test_s;
printf("\n============================================\n");
printf("test_s addr = %#.8x\n", &test_s);
printf("test_s.a addr = %#.8x\n", &test_s.a);
printf("test_s.b addr = %#.8x\n", &test_s.b);
printf("test_s.c addr = %#.8x\n", &test_s.c);
printf("test_s.d addr = %#.8x\n", &test_s.d);
printf("test_s.e addr = %#.8x\n", &test_s.e);
printf("sizeof(test_s) = %d\n", sizeof(test_s));
printf("============================================\n");
return 0;
}
2、運(yùn)行結(jié)果
在32bit環(huán)境中，該結(jié)構(gòu)體所占的字節(jié)數(shù)為16。答對了嗎？
嘿嘿，做個小調(diào)查（方便以后選題）：
運(yùn)行結(jié)果打印輸出了很多重要的信息，從結(jié)果往前分析思路應(yīng)該很清晰了吧？
不清晰也沒關(guān)系，下面我們一起來分析分析：
3、分析
在分析這個問題之前，我們先記住關(guān)于結(jié)構(gòu)體內(nèi)存對齊的三條原則：
（1）結(jié)構(gòu)體變量的起始地址能夠被其最寬的成員大小整除。
（2）結(jié)構(gòu)體每個成員相對于起始地址的偏移能夠被其自身大小整除，如果不能則在前一個成員后面補(bǔ)充字節(jié)。
（3）結(jié)構(gòu)體總體大小能夠被最寬的成員的大小整除，如不能則在后面補(bǔ)充字節(jié)。
分析這個問題我們就不考慮編譯器可以指定對齊大小的情況了。在32bit環(huán)境中，一般默認(rèn)的對齊大小是4。
下面我們根據(jù)這三條原則來分析，并得出如下示意圖：
從這張圖中我們應(yīng)該可以很清晰地看出整個結(jié)構(gòu)體變量的內(nèi)存占用情況。
如果還看不明白的朋友可閱讀下面的解釋（有點(diǎn)啰嗦，已經(jīng)看明白的就不用看了~）：
從上例的結(jié)果中，我們結(jié)構(gòu)體變量test_s的起始地址為0x0028ff30，能夠被其最寬的成員（int類型的d成員，占4個字節(jié)）整除，符合第（1）條原則。
a成員的地址即為結(jié)構(gòu)體變量的起始地址0x0028ff30，排在a后面的是short類型（兩個字節(jié)）的b成員。
根據(jù)第（2）條規(guī)則，顯然b的地址不能從0x0028ff31開始，則編譯器會在b成員的前一個成員（a成員）后邊補(bǔ)1個空白字節(jié)，即b的的地址為從0x0028ff32，符合規(guī)則（2）。
b成員占兩個字節(jié)，兩個字節(jié)之后的地址為0x0028ff34，而c成員為char類型（1字節(jié)），則根據(jù)規(guī)則（2），c成員會存放至地址0x0028ff34處。
c成員占1個字節(jié)，1個字節(jié)之后的地址為0x0028ff35，排在c后面的是int類型（4個字節(jié)）的d成員，顯然不能滿足規(guī)則（2）。
編譯器會在d成員的前一個成員（c成員）后面進(jìn)行字節(jié)填充，這里必須填充3個字節(jié)才能符合規(guī)則（2），此時d會存放至地址0x0028ff38處。
d成員占4個字節(jié)，4個字節(jié)之后的地址為0x0028ff3c。根據(jù)規(guī)則（2），e成員可從該地址開始存放。
此時a+空白字節(jié)+b+c+空白字節(jié)+d+e所占的字節(jié)總數(shù)為13個字節(jié)，而結(jié)構(gòu)體最寬的成員（int類型的d成員）所占字節(jié)數(shù)為4字節(jié)。
顯然不能滿足規(guī)則（3），編譯器會在e成員后面填充3個字節(jié)。即整個結(jié)構(gòu)體變量test_s所占的總字節(jié)數(shù)為16字節(jié)。
4、實際應(yīng)用
（1）用保留變量替代填充字節(jié)
實際應(yīng)用中我們可以上面的結(jié)構(gòu)體變量改為：
typedef struct test_struct
{
char a;
char reserve0; /* 保留成員 */
short b;
char c;
int d;
char e;
char reserve1[3]; /* 保留成員 */
}test_struct;
我們已經(jīng)知道了編譯器會自動給我們的結(jié)構(gòu)體變量填充一些空白字節(jié)，這些填充字節(jié)我們是看不到的，是隱性的。
在結(jié)構(gòu)體變量占用相同內(nèi)存的情況下，我們可以顯性的表示出這些填充字節(jié)，即創(chuàng)建一些保留成員 。
這樣當(dāng)我們需要給這個結(jié)構(gòu)體添加一些成員時，我們可以把保留的成員替換為實際的成員。這樣在一定程度下有利于我們節(jié)省內(nèi)存空間。
（2）調(diào)整結(jié)構(gòu)體成員的位置
從上面的分析中我們知道編譯器會根據(jù)我們結(jié)構(gòu)體成員的排列來進(jìn)行空白字節(jié)填充以達(dá)到對齊的效果。
那么我們自己進(jìn)行手動對齊一些成員，那就可以節(jié)省一些空間了。比如把上面的我們的test_struct結(jié)構(gòu)體成員的順序改為：
typedef struct test_struct
{
char a;
char c;
short b;
int d;
char e;
}test_struct;
則結(jié)構(gòu)體變量test_s所占的字節(jié)數(shù)變?yōu)?2字節(jié)，即：
即比原來的16字節(jié)省下了4個字節(jié)。
雖然這點(diǎn)優(yōu)化對于一般的嵌入式應(yīng)用來說可能沒什么必要，但是萬一某一天真的需要在某些資源極其受限的嵌入式設(shè)備中開發(fā)應(yīng)用，這就是可以優(yōu)化的一點(diǎn)。
最后
以上就是本次的實驗分享。如有錯誤，歡迎指出！謝謝
這道結(jié)構(gòu)體內(nèi)存對齊的題目很經(jīng)典、也很容易出錯，是嵌入式C語言筆試、面試題中的高頻題目，很有必要弄清楚。
本篇筆記會同步至我的個人博客：https://www.lizhengnian.cn/中，歡迎來訪。
原創(chuàng)不易，期待您的在看、分享~
猜你喜歡：
【Linux筆記】通俗易懂的Linux驅(qū)動基礎(chǔ)
【Linux筆記】pc機(jī)_開發(fā)板_ubuntu互ping實驗
【Linux筆記】掛載網(wǎng)絡(luò)文件系統(tǒng)
后臺回復(fù)：加群。添加ZhengN微信，加入交流群
點(diǎn)個贊，證明你還愛我
免責(zé)聲明：本文內(nèi)容由21ic獲得授權(quán)后發(fā)布，版權(quán)歸原作者所有，本平臺僅提供信息存儲服務(wù)。文章僅代表作者個人觀點(diǎn)，不代表本平臺立場，如有問題，請聯(lián)系我們，謝謝！
下載文檔
