C++編程語言對內存的操作是一個非常復雜的應用步驟，我們在學習的過程中，需要不斷的從實踐編程中去總結這方面的應用經驗，以幫助我們理解。在這裡我們就先來介紹一下C++內存對齊的相關方法。
一、為什麼會有C++內存對齊
以下內容節選自《Intel Architecture 32 Manual》。
為了提高程序的性能，數據結構尤其是棧）應該盡可能地在自然邊界上對齊。原因在於，為了訪問未對齊的內存，處理器需要作兩次內存訪問；然而，對齊的內存訪問僅需要一次訪問。
一個字或雙字操作數跨越了4字節邊界，或者一個四字操作數跨越了8字節邊界，被認為是未對齊的，從而需要兩次總線周期來訪問內存。一個字起始地址是奇數但卻沒有跨越字邊界被認為是對齊的，能夠在一個總線周期中被訪問。
二、C++內存對齊規則
每個特定平台上的編譯器都有自己的默認“對齊系數”(也叫對齊模數)。程序員可以通過預編譯命令#pragma pack(n)，n=1,2,4,8,16來改變這一系數，其中的n就是你要指定的“對齊系數”。
對齊規則：
1、數據成員對齊規則：結構(struct)(或聯合(union))的數據成員，第一個數據成員放在offset為0的地方，以後每個數據成員的對齊按照 #pragma pack指定的數值和這個數據成員自身長度中，比較小的那個進行。
2、結構(或聯合)的整體對齊規則：在數據成員完成各自對齊之後，結構(或聯合)本身也要進行對齊，對齊將按照#pragma pack指定的數值和結構(或聯合)最大數據成員長度中，比較小的那個進行。
3、結合1、2推斷：當#pragma pack的n值等於或超過所有數據成員長度的時候，這個n值的大小將不產生任何效果。
4.各成員變量存放的起始地址相對於結構的起始地址的偏移量必須為該變量的類型所占用的字節數的倍數。
5.各成員變量在存放的時候根據在結構中出現的順序依次申請空間，同時按照上面的對齊方式調整位置，空缺的字節自動填充。
6.同時為了確保結構的大小為結構的字節邊界數即該結構中占用最大空間的類型所占用的字節數）的倍數，所以在為最後一個成員變量申請空間後，還會根據需要自動填充空缺的字節。
三、pragma pack 宏
VC中提供了#pragma pack(n)來設定變量以n字節對齊方式。n字節對齊就是說變量存放的起始地址的偏移量有兩種情況：第一、如果n大於等於該變量所占用的字節數，那麼偏移量必須滿足默認的對齊方式，第二、如果n小於該變量的類型所占用的字節數，那麼偏移量為n的倍數，不用滿足默認的對齊方式。結構的總大小也有個約束條件，分下面兩種情況：如果n大於所有成員變量類型所占用的字節數，那麼結構的總大小必須為占用空間最大的變量占用的空間數的倍數;否則必須為n的倍數。下面舉例說明其用法。
- #pragma pack(push) //保存對齊狀態
- #pragma pack(4)//設定為4字節對齊
- struct test
- {
- char m1;
- double m4;
- int m3;
- };
- #pragma pack(pop)//恢復對齊狀態
以上結構的大小為16，下面分析其存儲情況，首先為m1分配空間，其偏移量為0，滿足我們自己設定的對齊方式4字節對齊），m1占用1個字節。接著開始為m4分配空間，這時其偏移量為1，需要補足3個字節，這樣使偏移量滿足為n=4的倍數因為sizeof(double)大於n）,m4占用8個字節。接著為m3分配空間，這時其偏移量為12，滿足為4的倍數，m3占用4個字節。這時已經為所有成員變量分配了空間，共分配了16個字節，滿足為n的倍數。如果把上面的#pragma pack(4)改為#pragma pack(16)，那麼我們可以得到結構的大小為24。
以上就是對C++內存對齊的相關介紹。
