許多實(shí)際的計(jì)算機(jī)系統(tǒng)對(duì)基本類型數(shù)據(jù)在內(nèi)存中存放的位置有限制，它們會(huì)要求這些數(shù)據(jù)的起始地址的值是某個(gè)數(shù)k的倍數(shù)，這就是所謂的內(nèi)存對(duì)齊，而這個(gè)k則被稱為該數(shù)據(jù)類型的對(duì)齊模數(shù)(alignment modulus)。這種強(qiáng)制的要求一來簡(jiǎn)化了處理器與內(nèi)存之間傳輸系統(tǒng)的設(shè)計(jì)，二來可以提升讀取數(shù)據(jù)的速度。比如這么一種處理器，它每次讀寫內(nèi)存的時(shí)候都從某個(gè)8倍數(shù)的地址開始，一次讀出或?qū)懭?個(gè)字節(jié)的數(shù)據(jù)，假如軟件能保證double類型的數(shù)據(jù)都從8倍數(shù)地址開始，那么讀或?qū)懸粋€(gè)double類型數(shù)據(jù)就只需要一次內(nèi)存操作。否則，我們就可能需要兩次內(nèi)存操作才能完成這個(gè)動(dòng)作，因?yàn)閿?shù)據(jù)或許恰好橫跨在兩個(gè)符合對(duì)齊要求的8字節(jié)內(nèi)存塊上。
1)結(jié)構(gòu)體總長(zhǎng)度
2)結(jié)構(gòu)體內(nèi)各數(shù)據(jù)成員的內(nèi)存對(duì)齊，即該數(shù)據(jù)成員相對(duì)結(jié)構(gòu)體的起始位置
1)將結(jié)構(gòu)體內(nèi)所有數(shù)據(jù)成員的長(zhǎng)度值相加，記為sum_a；
2)將各數(shù)據(jù)成員為了內(nèi)存對(duì)齊，按各自對(duì)齊模數(shù)而填充的字節(jié)數(shù)累加到和sum_a上，記為sum_b。對(duì)齊模數(shù)是#pragma pack指定的數(shù)值以及該數(shù)據(jù)成員自身長(zhǎng)度中數(shù)值較小者。該數(shù)據(jù)相對(duì)起始位置應(yīng)該是對(duì)齊模式的整數(shù)倍;
3)將和sum_b向結(jié)構(gòu)體模數(shù)對(duì)齊，該模數(shù)是#pragma pac指定的數(shù)值和結(jié)構(gòu)體內(nèi)部最大的基本數(shù)據(jù)類型成員長(zhǎng)度中數(shù)值較小者。結(jié)構(gòu)體的長(zhǎng)度應(yīng)該是該模數(shù)的整數(shù)倍。
在計(jì)算之前，我們首先需要明確的是各個(gè)數(shù)據(jù)成員的對(duì)齊模數(shù)，對(duì)齊模數(shù)和數(shù)據(jù)成員本身的長(zhǎng)度以及pragma pack編譯參數(shù)有關(guān)，其值是二者中最小數(shù)。如果程序沒有明確指出，就需要知道編譯器默認(rèn)的對(duì)齊模數(shù)值。下表是Windows XP/DEV-C++和Linux/GCC中基本數(shù)據(jù)類型的長(zhǎng)度和默認(rèn)對(duì)齊模數(shù)。
| char | short | int | long | double | long double | ||
| Windows | 長(zhǎng)度 | 1 | 2 | 4 | 4 | 8 | 8 |
| 模數(shù) | 1 | 2 | 4 | 4 | 8 | 8 | |
| Linux | 長(zhǎng)度 | 1 | 2 | 4 | 4 | 8 | 12 |
| 模數(shù) | 1 | 2 | 4 | 4 | 4 | 4 |
例子1：
struct my_struct{char a;long double b;};此例子Windows和Linux計(jì)算方法有些許不一致。
在Windows中計(jì)算步驟如下：
步驟1：所有數(shù)據(jù)成員自身長(zhǎng)度和：1B + 8B = 9B --> sum_a = 9B
步驟2：數(shù)據(jù)成員a放在相對(duì)偏移0處，之前不需要填充字節(jié)；數(shù)據(jù)成員b為了內(nèi)存對(duì)齊，根據(jù)“結(jié)構(gòu)體大小的計(jì)算方法和步驟”中第二條原則，其對(duì)齊模數(shù)是8，之前需填充7個(gè)字節(jié)，sum_a + 7 = 16B --> sum_b = 16 B
步驟3：按照定義，結(jié)構(gòu)體對(duì)齊模數(shù)是結(jié)構(gòu)體內(nèi)部最大數(shù)據(jù)成員長(zhǎng)度和pragma pack中較小者，前者為8后者為4，所以結(jié)構(gòu)體對(duì)齊模數(shù)是4。sum_b是4的4倍，不需再次對(duì)齊。
綜上3步，可知結(jié)構(gòu)體的長(zhǎng)度是16B，各數(shù)據(jù)成員在內(nèi)存中的分布如圖1-1所示。
在Linux中計(jì)算步驟如下：
步驟1：所有數(shù)據(jù)成員自身長(zhǎng)度和：1B + 12B = 13B --> sum_a = 13B
步驟2：數(shù)據(jù)成員a放在相對(duì)偏移0處，之前不需要填充字節(jié)；數(shù)據(jù)成員b為了內(nèi)存對(duì)齊，根據(jù)“結(jié)構(gòu)體大小的計(jì)算方法和步驟”中第二條原則，其對(duì)齊模數(shù)是4，之前需填充3個(gè)字節(jié)，sum_a + 3 = 16B --> sum_b = 16 B
步驟3：按照定義，結(jié)構(gòu)體對(duì)齊模數(shù)是結(jié)構(gòu)體內(nèi)部最大數(shù)據(jù)成員長(zhǎng)度和pragma pack中較小者，前者為12后者為4，所以結(jié)構(gòu)體對(duì)齊模數(shù)是4。sum_b是4的4倍，不需再次對(duì)齊。
綜上3步，可知結(jié)構(gòu)體的長(zhǎng)度是16B，各數(shù)據(jù)成員在內(nèi)存中的分布如圖1-2所示。 
例子2：
#pragma pack(2)struct my_struct{char a;long double b;};#pragma pack()例子1和例子2不同之處在于例子2中使用了#pragma pack(2)編譯參數(shù)，它強(qiáng)制指定對(duì)齊模數(shù)是2。此例子Windows和Linux計(jì)算方法有些許不一致。
在Windows中計(jì)算步驟如下：
步驟1：所有數(shù)據(jù)成員自身長(zhǎng)度和：1B + 8B = 13B --> sum_a = 9B
步驟2：數(shù)據(jù)成員a放在相對(duì)偏移0處，之前不需要填充字節(jié)；數(shù)據(jù)成員b為了內(nèi)存對(duì)齊，根據(jù)“結(jié)構(gòu)體大小的計(jì)算方法和步驟”中第二條原則，其對(duì)齊模數(shù)是2，之前需填充1個(gè)字節(jié)，sum_a + 1 = 10B --> sum_b = 10 B
步驟3：按照定義，結(jié)構(gòu)體對(duì)齊模數(shù)是結(jié)構(gòu)體內(nèi)部最大數(shù)據(jù)成員長(zhǎng)度和pragma pack中較小者，前者為8后者為2，所以結(jié)構(gòu)體對(duì)齊模數(shù)是2。sum_b是2的5倍，不需再次對(duì)齊。
綜上3步，可知結(jié)構(gòu)體的長(zhǎng)度是10B，各數(shù)據(jù)成員在內(nèi)存中的分布如圖2-1所示。
在Linux中計(jì)算步驟如下：
步驟1：所有數(shù)據(jù)成員自身長(zhǎng)度和：1B + 12B = 13B --> sum_a = 13B
步驟2：數(shù)據(jù)成員a放在相對(duì)偏移0處，之前不需要填充字節(jié)；數(shù)據(jù)成員b為了內(nèi)存對(duì)齊，根據(jù)“結(jié)構(gòu)體大小的計(jì)算方法和步驟”中第二條原則，其對(duì)齊模數(shù)是2，之前需填充1個(gè)字節(jié)，sum_a + 1 = 14B --> sum_b = 14 B
步驟3：按照定義，結(jié)構(gòu)體對(duì)齊模數(shù)是結(jié)構(gòu)體內(nèi)部最大數(shù)據(jù)成員長(zhǎng)度和pragma pack中較小者，前者為8后者為2，所以結(jié)構(gòu)體對(duì)齊模數(shù)是2。sum_b是2的7倍，不需再次對(duì)齊。
綜上3步，可知結(jié)構(gòu)體的長(zhǎng)度是14B，各數(shù)據(jù)成員在內(nèi)存中的分布如圖2-2所示。 
例子3：
struct my_struct{char a;double b;char c;}; 前兩例中，數(shù)據(jù)成員在Linux和Windows下都相同，例3中double的對(duì)齊模數(shù)在Linux中是4，在Windows下是8，針對(duì)這種模數(shù)不相同的情況加以分析。
在Windows中計(jì)算步驟如下：
步驟1：所有數(shù)據(jù)成員自身長(zhǎng)度和：1B + 8B + 1B = 10B --> sum_a = 10B
步驟2：數(shù)據(jù)成員a放在相對(duì)偏移0處，之前不需要填充字節(jié)；數(shù)據(jù)成員b為了內(nèi)存對(duì)齊，根據(jù)“結(jié)構(gòu)體大小的計(jì)算方法和步驟”中第二條原則，其對(duì)齊模數(shù)是8，之前需填充7個(gè)字節(jié)，sum_a + 7 = 17B --> sum_b = 17B
步驟3：按照定義，結(jié)構(gòu)體對(duì)齊模數(shù)是結(jié)構(gòu)體內(nèi)部最大數(shù)據(jù)成員長(zhǎng)度和pragma pack中較小者，前者為8后者為8，所以結(jié)構(gòu)體對(duì)齊模數(shù)是8。sum_b應(yīng)該是8的整數(shù)倍，所以要在結(jié)構(gòu)體后填充8*3 - 17 = 7個(gè)字節(jié)。
綜上3步，可知結(jié)構(gòu)體的長(zhǎng)度是24B，各數(shù)據(jù)成員在內(nèi)存中的分布如圖3-1所示。
在Linux中計(jì)算步驟如下：
步驟1：所有數(shù)據(jù)成員自身長(zhǎng)度和：1B + 8B + 1B = 10B，sum_a = 10B
步驟2：數(shù)據(jù)成員a放在相對(duì)偏移0處，之前不需要填充字節(jié)；數(shù)據(jù)成員b為了內(nèi)存對(duì)齊，根據(jù)“結(jié)構(gòu)體大小的計(jì)算方法和步驟”中第二條原則，其對(duì)齊模數(shù)是4，之前需填充3個(gè)字節(jié)，sum_b = sum_a + 3 = 13B
步驟3：按照定義，結(jié)構(gòu)體對(duì)齊模數(shù)是結(jié)構(gòu)體內(nèi)部最大數(shù)據(jù)成員長(zhǎng)度和pragma
pack中較小者，前者為8后者為4，所以結(jié)構(gòu)體對(duì)齊模數(shù)是4。sum_b應(yīng)該是4的整數(shù)倍，所以要在結(jié)構(gòu)體后填充4*4 - 13 = 3個(gè)字節(jié)。
綜上3步，可知結(jié)構(gòu)體的長(zhǎng)度是16B，各數(shù)據(jù)成員在內(nèi)存中的分布如圖3-2所示。 
例子4：
struct my_struct{char a[11];int b;char c;}; 此例子Windows和Linux計(jì)算方法一樣，如下：
步驟1：所有數(shù)據(jù)成員自身長(zhǎng)度和：11B + 4B + 1B = 16B --> sum_a = 16B
步驟2：數(shù)據(jù)成員a放在相對(duì)偏移0處，之前不需要填充字節(jié)；數(shù)據(jù)成員b為了內(nèi)存對(duì)齊，根據(jù)“結(jié)構(gòu)體大小的計(jì)算方法和步驟”中第二條原則，其對(duì)齊模數(shù)是4，之前需填充3個(gè)字節(jié)，sum_a + 1 = 17B --> sum_b = 17B
步驟3：按照定義，結(jié)構(gòu)體對(duì)齊模數(shù)是結(jié)構(gòu)體內(nèi)部最大數(shù)據(jù)成員長(zhǎng)度和pragma pack中較小者，前者為4后者為4，所以結(jié)構(gòu)體對(duì)齊模數(shù)是4。sum_b是4的整數(shù)倍，需在結(jié)構(gòu)體后填充4*5 - 17 = 1個(gè)字節(jié)。
綜上3步，可知結(jié)構(gòu)體的長(zhǎng)度是20B，各數(shù)據(jù)成員在內(nèi)存中的分布如圖4所示。 
例子5：
struct my_test{int my_test_a;char my_test_b;};struct my_struct{struct my_test a;double my_struct_a;int my_struct_b;char my_struct_c;}; 例子5和前幾個(gè)例子均不同，在此例子中我們要計(jì)算struct my_struct的大小，而my_struct中嵌套了一個(gè)my_test結(jié)構(gòu)體。這種結(jié)構(gòu)體應(yīng)該如何計(jì)算呢？原則是將my_test在my_struct中先展開，然后再計(jì)算，即是展開成如下結(jié)構(gòu)體：
struct my_struct{int my_test_a;char my_test_b;double my_struct_a;int my_struct_b;char my_struct_c;}; 此例子Windows中的計(jì)算方法如下：
步驟1：所有數(shù)據(jù)成員自身長(zhǎng)度和：4B + 1B + 8B + 4B + 1B= 18B --> sum_a = 18B
步驟2：數(shù)據(jù)成員my_struct_a為了內(nèi)存對(duì)齊，根據(jù)“結(jié)構(gòu)體大小的計(jì)算方法和步驟”中第二條原則，其對(duì)齊模數(shù)是8，之前需填充3個(gè)字節(jié)：sum_a + 3 = 21B --> sum_b = 21B
步驟3：按照定義，結(jié)構(gòu)體對(duì)齊模數(shù)是結(jié)構(gòu)體內(nèi)部最大數(shù)據(jù)成員長(zhǎng)度和pragma pack中較小者，前者為8后者為8，所以結(jié)構(gòu)體對(duì)齊模數(shù)是8。sum_b是8的整數(shù)倍，需在結(jié)構(gòu)體后填充3*8 - 21 = 3個(gè)字節(jié)。
綜上3步，可知結(jié)構(gòu)體的長(zhǎng)度是24B，各數(shù)據(jù)成員在內(nèi)存中的分布如圖5所示。
此例子Linux中的計(jì)算方法如下：
步驟1：所有數(shù)據(jù)成員自身長(zhǎng)度和：4B + 1B + 8B + 4B + 1B= 18B，sum_a = 18B
步驟2：數(shù)據(jù)成員my_struct_a為了內(nèi)存對(duì)齊，根據(jù)“結(jié)構(gòu)體大小的計(jì)算方法和步驟”中第二條原則，其對(duì)齊模數(shù)是4，之前需填充3個(gè)字節(jié)，sum_b = sum_a + 3 = 21B
步驟3：按照定義，結(jié)構(gòu)體對(duì)齊模數(shù)是結(jié)構(gòu)體內(nèi)部最大數(shù)據(jù)成員長(zhǎng)度和pragma
pack中較小者，前者為4后者為4，所以結(jié)構(gòu)體對(duì)齊模數(shù)是4。sum_b是4的整數(shù)倍，需在結(jié)構(gòu)體后填充6*4 - 21 = 3個(gè)字節(jié)。
綜上3步，可知結(jié)構(gòu)體的長(zhǎng)度是24B，各數(shù)據(jù)成員在內(nèi)存中的分布如圖5所示。 
上面的例子均在Windows(VC++6.0)和Linux(GCC4.1.0)上測(cè)試驗(yàn)證。下面是測(cè)試程序。
#include <iostream>int main(){//////////////////////////////////////////////////////////////////////////////////////////// 例子1{struct my_struct{char a;long double b;};std::cout << "exapmle-1: sizeof(my_struct) = " << sizeof(my_struct) << std::endl;struct my_struct data;printf("my_struct->a: %u\n""my_struct->b: %u\n""sizeof(long double): %u\n", &data.a, &data.b, sizeof(long double));}//////////////////////////////////////////////////////////////////////////////////////////// 例子2{#pragma pack(2)struct my_struct{char a;long double b;};#pragma pack()struct my_struct data;std::cout << "exapmle-2: sizeof(my_struct) = " << sizeof(my_struct) << std::endl;printf("my_struct->a: %u\n""my_struct->b: %u\n""sizeof(long double): %u\n", &data.a, &data.b, sizeof(long double));}//////////////////////////////////////////////////////////////////////////////////////////// 例子3{struct my_struct{char a;double b;char c;};struct my_struct data;std::cout << "exapmle-3: sizeof(my_struct) = " << sizeof(my_struct) << std::endl;printf("my_struct->a: %u\n""my_struct->b: %u\n""my_struct->c: %u\n", &data.a, &data.b, &data.c);}//////////////////////////////////////////////////////////////////////////////////////////// 例子4{struct my_struct{char a[11];int b;char c;};std::cout << "example-4: sizeof(my_struct) = " << sizeof(struct my_struct) << std::endl;struct my_struct data;printf("my_struct->a: %u\n""my_struct->b: %u\n""my_struct->c: %u\n", &data, &data.b, &data.c);}//////////////////////////////////////////////////////////////////////////////////////////// 例子5{struct my_test{int my_test_a;char my_test_b;};struct my_struct{struct my_test a;double my_struct_a;int my_struct_b;char my_struct_c;};std::cout << "example-5: sizeof(my_struct) = " << sizeof(struct my_struct) << std::endl;struct my_struct data;printf("my_struct->my_test_a : %u\n""my_struct->my_test_b : %u\n""my_struct->my_struct_a: %u\n""my_struct->my_struct_b: %u\n""my_struct->my_struct_c: %u\n", &data.a.my_test_a, &data.a.my_test_b,&data.my_struct_a, &data.my_struct_b, &data.my_struct_c);}return 0;}聯(lián)系客服
