深入理解C語言內(nèi)存對(duì)齊
一.內(nèi)存對(duì)齊的初步講解
內(nèi)存對(duì)齊可以用一句話來概括：
“數(shù)據(jù)項(xiàng)只能存儲(chǔ)在地址是數(shù)據(jù)項(xiàng)大小的整數(shù)倍的內(nèi)存位置上”
例如int類型占用4個(gè)字節(jié)，地址只能在0，4，8等位置上。
例1：
#include <stdio.h>
struct xx{
char b;
int a;
int c;
char d;
};
int main()
{
struct xx bb;
printf("&a = %p/n", &bb.a);
printf("&b = %p/n", &bb.b);
printf("&c = %p/n", &bb.c);
printf("&d = %p/n", &bb.d);
printf("sizeof(xx) = %d/n", sizeof(struct xx));
return 0;
}
執(zhí)行結(jié)果如下：
&a = ffbff5ec
&b = ffbff5e8
&c = ffbff5f0
&d = ffbff5f4
sizeof(xx) = 16
會(huì)發(fā)現(xiàn)b與a之間空出了3個(gè)字節(jié)，也就是說在b之后的0xffbff5e9,0xffbff5ea,0xffbff5eb空了出來，a直接存儲(chǔ)在了0xffbff5ec， 因?yàn)閍的大小是4，只能存儲(chǔ)在4個(gè)整數(shù)倍的位置上。打印xx的大小會(huì)發(fā)現(xiàn)，是16，有些人可能要問，b之后空出了3個(gè)字節(jié)，那也應(yīng)該是13??？其余的3個(gè) 呢？這個(gè)往后閱讀本文會(huì)理解的更深入一點(diǎn)，這里簡(jiǎn)單說一下就是d后邊的3個(gè)字節(jié)，也會(huì)浪費(fèi)掉，也就是說，這3個(gè)字節(jié)也被這個(gè)結(jié)構(gòu)體占用了.
可以簡(jiǎn)單的修改結(jié)構(gòu)體的結(jié)構(gòu)，來降低內(nèi)存的使用，例如可以將結(jié)構(gòu)體定義為：
struct xx{
char b;
char d;
int a;
int c;
};
這樣打印這個(gè)結(jié)構(gòu)體的大小就是12，省了很多空間，可以看出，在定義結(jié)構(gòu)體的時(shí)候，一定要考慮要內(nèi)存對(duì)齊的影響，這樣能使我們的程序占用更小的內(nèi)存。
二.操作系統(tǒng)的默認(rèn)對(duì)齊系數(shù)
每 個(gè)操作系統(tǒng)都有自己的默認(rèn)內(nèi)存對(duì)齊系數(shù)，如果是新版本的操作系統(tǒng)，默認(rèn)對(duì)齊系數(shù)一般都是8，因?yàn)椴僮飨到y(tǒng)定義的最大類型存儲(chǔ)單元就是8個(gè)字節(jié)，例如 long long（為什么一定要這樣，在第三節(jié)會(huì)講解），不存在超過8個(gè)字節(jié)的類型（例如int是4，char是1，long在32位編譯時(shí)是4，64位編譯時(shí)是 8）。當(dāng)操作系統(tǒng)的默認(rèn)對(duì)齊系數(shù)與第一節(jié)所講的內(nèi)存對(duì)齊的理論產(chǎn)生沖突時(shí)，以操作系統(tǒng)的對(duì)齊系數(shù)為基準(zhǔn)。
例如：
假設(shè)操作系統(tǒng)的默認(rèn)對(duì)齊系數(shù)是4，那么對(duì)與long long這個(gè)類型的變量就不滿足第一節(jié)所說的，也就是說long long這種結(jié)構(gòu)，可以存儲(chǔ)在被4整除的位置上，也可以存儲(chǔ)在被8整除的位置上。
可以通過#pragma pack()語句修改操作系統(tǒng)的默認(rèn)對(duì)齊系數(shù)，編寫程序的時(shí)候不建議修改默認(rèn)對(duì)齊系數(shù)，在第三節(jié)會(huì)講解原因
例2：
#include <stdio.h>
#pragma pack(4)
struct xx{
char b;
long long a;
int c;
char d;
};
#pragma pack()
int main()
{
struct xx bb;
printf("&a = %p/n", &bb.a);
printf("&b = %p/n", &bb.b);
printf("&c = %p/n", &bb.c);
printf("&d = %p/n", &bb.d);
printf("sizeof(xx) = %d/n", sizeof(struct xx));
return 0;
}
打印結(jié)果為：
&a = ffbff5e4
&b = ffbff5e0
&c = ffbff5ec
&d = ffbff5f0
sizeof(xx) = 20
發(fā)現(xiàn)占用8個(gè)字節(jié)的a，存儲(chǔ)在了不能被8整除的位置上，存儲(chǔ)在了被4整除的位置上，采取了操作系統(tǒng)的默認(rèn)對(duì)齊系數(shù)。
三.內(nèi)存對(duì)齊產(chǎn)生的原因
內(nèi)存對(duì)齊是操作系統(tǒng)為了快速訪問內(nèi)存而采取的一種策略，簡(jiǎn)單來說，就是為了放置變量的二次訪問。操作系統(tǒng)在訪問內(nèi)存 時(shí)，每次讀取一定的長(zhǎng)度（這個(gè)長(zhǎng)度就是操作系統(tǒng)的默認(rèn)對(duì)齊系數(shù)，或者是默認(rèn)對(duì)齊系數(shù)的整數(shù)倍）。如果沒有內(nèi)存對(duì)齊時(shí)，為了讀取一個(gè)變量是，會(huì)產(chǎn)生總線的二 次訪問。
例如假設(shè)沒有內(nèi)存對(duì)齊，結(jié)構(gòu)體xx的變量位置會(huì)出現(xiàn)如下情況：
struct xx{
char b; //0xffbff5e8
int a; //0xffbff5e9
int c; //0xffbff5ed
char d; //0xffbff5f1
};
操作系統(tǒng)先讀取0xffbff5e8-0xffbff5ef的內(nèi)存，然后在讀取0xffbff5f0-0xffbff5f8的內(nèi)存，為了獲得值c，就需要將兩組內(nèi)存合并，進(jìn)行整合，這樣嚴(yán)重降低了內(nèi)存的訪問效率。（這就涉及到了老生常談的問題，空間和效率哪個(gè)更重要？這里不做討論）。
這樣大家就能理解為什么結(jié)構(gòu)體的第一個(gè)變量，不管類型如何，都是能被8整除的吧（因?yàn)樵L問內(nèi)存是從8的整數(shù)倍開始的，為了增加讀取的效率）！
內(nèi)存對(duì)齊的問題主要存在于理解struct等復(fù)合結(jié)構(gòu)在內(nèi)存中的分布。
首先要明白內(nèi)存對(duì)齊的概念。
許多實(shí)際的計(jì)算機(jī)系統(tǒng)對(duì)基本類型數(shù)據(jù)在內(nèi)存中存放的位置有限制，它們會(huì)要求這些數(shù)據(jù)的首地址的值是某個(gè)數(shù)k(通常它為4或8)的倍數(shù)，這就是所謂的內(nèi)存對(duì)齊。
這個(gè)k在不同的cpu平臺(tái)下，不同的編譯器下表現(xiàn)也有所不同。比如32位字長(zhǎng)的計(jì)算機(jī)與16位字長(zhǎng)的計(jì)算機(jī)。這個(gè)離我們有些遠(yuǎn)了。我們的開發(fā)主要涉及兩大平臺(tái)，windows和linux（unix），涉及的編譯器也主要是microsoft編譯器(如cl),和gcc。
內(nèi)存對(duì)齊的目的是使各個(gè)基本數(shù)據(jù)類型的首地址為對(duì)應(yīng)k的倍數(shù)，這是理解內(nèi)存對(duì)齊方式的終極法寶。另外還要區(qū)分編譯器的分別。明白了這兩點(diǎn)基本上就能搞定所有內(nèi)存對(duì)齊方面的問題。
不同編譯器中的k：
1、對(duì)于microsoft的編譯器，每種基本類型的大小即為這個(gè)k。大體上char類型為8，int為32，long為32，double為64。
2、對(duì)于linux下的gcc編譯器，規(guī)定大小小于等于2的，k值為其大小，大于等于4的為4。
明白了以上的說明對(duì)struct等復(fù)合結(jié)構(gòu)的內(nèi)存分布就應(yīng)該很清楚了。
下面看一下最簡(jiǎn)單的一個(gè)類型：struct中成員都為基本數(shù)據(jù)類型，例如：
struct test1
{
char a;
short b;
int c;
long d;
double e;
};
在windows平臺(tái)，microsoft編譯器下：
假設(shè)從0地址開始，首先a的k值為1，它的首地址可以使任意位置，所以a占用第一個(gè)字節(jié)，即地址0；然后b的k值為2，他的首地址必須是2的倍數(shù)，不能是1，所以地址1那個(gè)字節(jié)被填充，b首地址為地址2，占用地址2，3；然后到c，c的k值為4，他的首地址為4的倍數(shù)，所以首地址為4，占用地址4，5，6，7；再然后到d，d的k值也為4，所以他的首地址為8，占用地址8，9，10，11。最后到e，他的k值為8，首地址為8的倍數(shù)，所以地址12，13，14，15被填充，他的首地址應(yīng)為16，占用地址16-23。顯然其大小為24。
這就是 test1在內(nèi)存中的分布情況。我們建立一個(gè)test1類型的變量，a、b、c、d、e分別賦值2、4、8、16、32。然后從低地址依次打印出內(nèi)存中每個(gè)字節(jié)對(duì)應(yīng)的16進(jìn)制數(shù)為：
2 0 4 0 8 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 40 40
驗(yàn)證：
顯然推斷是正確的。
在linux平臺(tái)，gcc編譯器下：
假設(shè)從0地址開始，首先a的k值為1，它的首地址可以使任意位置，所以a占用第一個(gè)字節(jié)，即地址0；然后b的k值為2，他的首地址必須是2的倍數(shù)，不能是1，所以地址1那個(gè)字節(jié)被填充，b首地址為地址2，占用地址2，3；然后到c，c的k值為4，他的首地址為4的倍數(shù)，所以首地址為4，占用地址4，5，6，7；再然后到d，d的k值也為4，所以他的首地址為8，占用地址8，9，10，11。最后到e，從這里開始與microsoft的編譯器開始有所差異，他的k值為不是8，仍然是4，所以其首地址是12，占用地址12-19。顯然其大小為20。
驗(yàn)證：
我們建立一個(gè)test1類型的變量，a、b、c、d、e分別賦值2、4、8、16、32。然后從低地址依次打印出內(nèi)存中每個(gè)字節(jié)對(duì)應(yīng)的16進(jìn)制數(shù)為：
2 0 4 0 8 0 0 0 10 0 0 0 0 0 0 0 0 0 40 40
顯然推斷也是正確的。
接下來，看一看幾類特殊的情況，為了避免麻煩，不再描述內(nèi)存分布，只計(jì)算結(jié)構(gòu)大小。
第一種：嵌套的結(jié)構(gòu)
struct test2
{
char f;
struct test1 g;
};
在windows平臺(tái)，microsoft編譯器下：
這種情況下如果把test2的第二個(gè)成員拆開來，研究?jī)?nèi)存分布，那么可以知道，test2的成員f占用地址0，g.a占用地址1，以后的內(nèi)存分布不變，仍然滿足所有基本數(shù)據(jù)成員的首地址都為其對(duì)應(yīng)k的倍數(shù)這一原則，那么test2的大小就還是24了。但是實(shí)際上test2的大小為32，這是因?yàn)椋翰荒芤驗(yàn)閠est2的結(jié)構(gòu)而改變test1的內(nèi)存分布情況，所以為了使test1種各個(gè)成員仍然滿足對(duì)齊的要求，f成員后面需要填充一定數(shù)量的字節(jié)，不難發(fā)現(xiàn)，這個(gè)數(shù)量應(yīng)為7個(gè)，才能保證test1的對(duì)齊。所以test2相對(duì)于test1來說增加了8個(gè)字節(jié)，所以test2的大小為32。
在linux平臺(tái)，gcc編譯器下：
同樣，這種情況下如果把test2的第二個(gè)成員拆開來，研究?jī)?nèi)存分布，那么可以知道，test2的成員f占用地址0，g.a占用地址1，以后的內(nèi)存分布不變，仍然滿足所有基本數(shù)據(jù)成員的首地址都為其對(duì)應(yīng)k的倍數(shù)這一原則，那么test2的大小就還是20了。但是實(shí)際上test2的大小為24，同樣這是因?yàn)椋翰荒芤驗(yàn)閠est2的結(jié)構(gòu)而改變test1的內(nèi)存分布情況，所以為了使test1種各個(gè)成員仍然滿足對(duì)齊的要求，f成員后面需要填充一定數(shù)量的字節(jié)，不難發(fā)現(xiàn)，這個(gè)數(shù)量應(yīng)為3個(gè)，才能保證test1的對(duì)齊。所以test2相對(duì)于test1來說增加了4個(gè)字節(jié)，所以test2的大小為24。
第二種：位段對(duì)齊
struct test3
{
unsigned int a:4;
unsigned int b:4;
char c;
};
或者
struct test3
{
unsigned int a:4;
int b:4;
char c;
};
在windows平臺(tái)，microsoft編譯器下：
相鄰的多個(gè)同類型的數(shù)(帶符號(hào)的與不帶符號(hào)的，只要基本類型相同，也為相同的數(shù)),如果他們占用的位數(shù)不超過基本類型的大小，那么他們可作為一個(gè)整體來看待。不同類型的數(shù)要遵循各自的對(duì)齊方式。
如：test3中，a、b可作為一個(gè)整體，他們作為一個(gè)int型數(shù)據(jù)來看待，所以test3的大小為8字節(jié)。并且a與b的值在內(nèi)存中從低位開始依次排列，位于4字節(jié)區(qū)域中的前0-3位和4-7位
如果test4位以下格式
struct test4
{
unsigned int a:30;
unsigned int b:4;
char c;
};
那么test4的大小就為12個(gè)字節(jié)，并且a與b的值分別分布在第一個(gè)4字節(jié)的前30位，和第二個(gè)4字節(jié)的前4位。
如過test5是以下形式
struct test5
{
unsigned int a:4;
unsigned char b:4;
char c;
};
那么由于int和char不同類型，他們分別以各自的方式對(duì)齊，所以test5的大小應(yīng)為8字節(jié)，a與b的值分別位于第一個(gè)4字節(jié)的前4位和第5個(gè)字節(jié)的前4位。
在linux平臺(tái)，gcc編譯器下：
struct test3
{
unsigned int a:4;
unsigned int b:4;
char c;
};
gcc下，相鄰各成員，不管類型是否相同，占的位數(shù)之和超過這些成員中第一個(gè)的大小的時(shí)候，在結(jié)構(gòu)中以k值為1對(duì)齊，在結(jié)構(gòu)外k值為其基本類型的值。不超過的情況下在內(nèi)存中依次排列。
如test3，其大小為4。a，b的值在內(nèi)存中依次排列分別為第一個(gè)四字節(jié)中的0-3和4-7位。
如果test4位以下格式
struct test4
{
unsigned int a:20;
unsigned char b:4;
char c;
};
test4的大小為4個(gè)字節(jié)，并且a與b的值分別分布在第一個(gè)4字節(jié)的0-19位，和20-23位，c存放在第4個(gè)字節(jié)中。
如過test5是以下形式
struct test5
{
unsigned int a:10;
unsigned char b:4;
short c;
};
那么test5的大小應(yīng)為4字節(jié)，a，b的值為0-9位和10-13位。c存放在后兩個(gè)字節(jié)中。如果a的大小變成了20
那么test5的大小應(yīng)為8字節(jié)。即
struct test6
{
unsigned int a:20;
unsigned char b:4;
short c;
};
此時(shí)，test6的a、b共占用0，1，2共3字節(jié)，c的k值為2，其實(shí)可以4位首位置，但是在結(jié)構(gòu)外，a要以int的方式對(duì)齊。也就是說連續(xù)兩個(gè)test6對(duì)象在內(nèi)存中存放的話，a的首位置要保證為4的倍數(shù)，那么c后面必須多填充2位。所以test6的大小為8個(gè)字節(jié)。
關(guān)于位段結(jié)構(gòu)的部分是比較復(fù)雜的。暫時(shí)我就知道這么多。
- C語言結(jié)構(gòu)體內(nèi)存對(duì)齊詳解
- C語言熱門考點(diǎn)結(jié)構(gòu)體與內(nèi)存對(duì)齊詳解
- C語言中結(jié)構(gòu)體與內(nèi)存對(duì)齊實(shí)例解析
- C語言中結(jié)構(gòu)體、聯(lián)合體的成員內(nèi)存對(duì)齊情況
- 一篇文章帶你了解C語言內(nèi)存對(duì)齊公式
- 一篇文章帶你了解C語言內(nèi)存對(duì)齊解決的問題
- 一篇文章帶你了解C語言內(nèi)存對(duì)齊
- C語言重難點(diǎn)之內(nèi)存對(duì)齊和位段
- C語言內(nèi)存對(duì)齊實(shí)例詳解
- C語言結(jié)構(gòu)體中內(nèi)存對(duì)齊的問題理解
相關(guān)文章
C++ OpenCV實(shí)現(xiàn)像素畫的示例代碼
這篇文章主要介紹了通過OpenCV進(jìn)行圖片像素的變化，從而形成像素畫效果的功能。文中的示例代碼講解詳細(xì)，感興趣的小伙伴可以動(dòng)手試一試2022-01-01
C++深入學(xué)習(xí)之徹底理清重載函數(shù)匹配
C++ 不允許變量重名,但是允許多個(gè)函數(shù)取相同的名字,只要參數(shù)表不同即可,這叫作函數(shù)的重載，下面這篇文章主要給大家介紹了關(guān)于C++深入學(xué)習(xí)之徹底理清重載函數(shù)匹配的相關(guān)資料，需要的朋友可以參考下2019-01-01
C++引用是一種強(qiáng)大的工具,可以避免在函數(shù)調(diào)用過程中發(fā)生的常見內(nèi)存復(fù)制問題,本文主要介紹了C++中如何使用引用避免內(nèi)存復(fù)制,感興趣的可以了解一下2023-10-10
這篇文章主要為大家介紹了C語言刷題判斷鏈表中是否有環(huán)題解，有需要的朋友可以借鑒參考下，希望能夠有所幫助，祝大家多多進(jìn)步，早日升職加薪2023-07-07
本篇文章是基礎(chǔ)篇，適合c語言剛?cè)腴T的朋友，本文主要介紹了c語言的內(nèi)存及地址，幫助大家快速入門c語言的世界，更好的理解c語言2021-08-08
以下是對(duì)C#中委托的基本用法進(jìn)行了詳細(xì)的總結(jié)分析，需要的朋友可以過來參考下。希望對(duì)大家有所幫助2013-09-09
這篇文章主要給大家介紹了Linux中利用c語言刪除某個(gè)目錄下文件的相關(guān)資料，文中通過示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧2021-01-01
下面小編就為大家?guī)硪黄猚++ 端口掃描程序?qū)崿F(xiàn)案例。小編覺得挺不錯(cuò)的，現(xiàn)在就分享給大家，也給大家做個(gè)參考。一起跟隨小編過來看看吧2017-05-05
這篇文章主要為大家詳細(xì)介紹了C語言實(shí)現(xiàn)三子棋游戲，棋盤可變，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下2021-11-11
C語言實(shí)現(xiàn)大數(shù)值金額大寫轉(zhuǎn)換的方法詳解
這篇文章主要為大家詳細(xì)介紹了如何利用C語言實(shí)現(xiàn)大數(shù)值金額大寫轉(zhuǎn)換的功能，文中的示例代碼講解詳細(xì)，感興趣的小伙伴可以跟隨小編一起了解一下2023-03-03