快捷導(dǎo)航

C++面試題之結(jié)構(gòu)體內(nèi)存對齊計算問題總結(jié)大全

更新時間：2017年08月04日 09:24:14 作者：Suhw

這篇文章主要給大家總結(jié)了關(guān)于C++面試題中結(jié)構(gòu)體內(nèi)存對齊計算問題的相關(guān)資料，文中通過示例代碼介紹的非常詳細(xì)，通過這些介紹的內(nèi)容對大家在面試C++工作的時候，會有一定的參考幫助，需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧。

前言

本文給大家介紹的是關(guān)于C++結(jié)構(gòu)體內(nèi)存對齊計算的相關(guān)內(nèi)容，內(nèi)存對齊計算可謂是筆試題的必考題，但是如何按照計算原則算出正確答案一開始也不是很容易的事，所以專門通過例子來復(fù)習(xí)下關(guān)于結(jié)構(gòu)體內(nèi)存對齊的計算問題。話不多說，來一起看看詳細(xì)介紹吧。

編譯環(huán)境：vs2015

對齊原則：

原則1：數(shù)據(jù)成員對齊規(guī)則：結(jié)構(gòu)(struct)(或聯(lián)合(union))的數(shù)據(jù)成員，第一個數(shù)據(jù)成員放在offset為0的地方，以后每個數(shù)據(jù)成員的對齊按照#pragma pack指定的數(shù)值和這個數(shù)據(jù)成員自身長度中，比較小的那個進(jìn)行。

原則2：結(jié)構(gòu)(或聯(lián)合)的整體對齊規(guī)則：在數(shù)據(jù)成員完成各自對齊之后，結(jié)構(gòu)(或聯(lián)合)本身也要進(jìn)行對齊，對齊將按照#pragma pack指定的數(shù)值和結(jié)構(gòu)(或聯(lián)合)最大數(shù)據(jù)成員長度中，比較小的那個進(jìn)行。

原則3：結(jié)構(gòu)體作為成員：如果一個結(jié)構(gòu)里有某些結(jié)構(gòu)體成員，則結(jié)構(gòu)體成員要從其內(nèi)部最大元素大小的整數(shù)倍地址開始存儲。

默認(rèn)對齊值：

Linux 默認(rèn)#pragma pack(4)

window 默認(rèn)#pragma pack(8)

注：可以通過預(yù)編譯命令#pragma pack(n) ，n=1,2,4,8,16來改變這一系數(shù)，其中的n就是指定的“對齊系數(shù)”。

例一：一字節(jié)對齊

第一步：成員數(shù)據(jù)對齊

#pragma pack(1)
struct AA {
 int a; //長度4 < 1 按1對齊；偏移量為0；存放位置區(qū)間[0,3]
 char b; //長度1 = 1 按1對齊；偏移量為4；存放位置區(qū)間[4]
 short c; //長度2 > 1 按1對齊；偏移量為5；存放位置區(qū)間[5,6]
 char d; //長度1 = 1 按1對齊；偏移量為6；存放位置區(qū)間[7]
 //整體存放在[0~7]位置區(qū)間中，共八個字節(jié)。
};
#pragma pack()

第二步：整體對齊

整體對齊系數(shù) = min((max(int,short,char), 1) = 1，所以不需要再進(jìn)行整體對齊。整體大小就為8。

圖示如下：

例二：二字節(jié)對齊

第一步：成員數(shù)據(jù)對齊

#pragma pack(2)
struct AA {
 int a; //長度4 > 2 按2對齊；偏移量為0；存放位置區(qū)間[0,3]
 char b; //長度1 < 2 按1對齊；偏移量為4；存放位置區(qū)間[4]
 short c; //長度2 = 2 按2對齊；偏移量要提升到2的倍數(shù)6；存放位置區(qū)間[6,7]
 char d; //長度1 < 2 按1對齊；偏移量為7；存放位置區(qū)間[8]；共九個字節(jié)
};
#pragma pack()

第二步：整體對齊

整體對齊系數(shù) = min((max(int,short,char), 2) = 2，將9提升到2的倍數(shù)，則為10.所以最終結(jié)果為10個字節(jié)。

圖示如下：（X為補齊部分）

例三：四字節(jié)對齊

第一步：成員數(shù)據(jù)對齊

#pragma pack(4)
struct AA {
 int a; //長度4 = 4 按4對齊；偏移量為0；存放位置區(qū)間[0,3]
 char b; //長度1 < 4 按1對齊；偏移量為4；存放位置區(qū)間[4]
 short c; //長度2 < 4 按2對齊；偏移量要提升到2的倍數(shù)6；存放位置區(qū)間[6,7]
 char d; //長度1 < 4 按1對齊；偏移量為7；存放位置區(qū)間[8]；總大小為9
};
#pragma pack()

第二步：整體對齊

整體對齊系數(shù) = min((max(int,short,char), 4) = 4，將9提升到4的倍數(shù)，則為12.所以最終結(jié)果為12個字節(jié)。

圖示如下：（X為補齊部分）

例三：八字節(jié)對齊

第一步：成員數(shù)據(jù)對齊

#pragma pack(8)
struct AA {
 int a; //長度4 < 8 按4對齊；偏移量為0；存放位置區(qū)間[0,3]
 char b; //長度1 < 8 按1對齊；偏移量為4；存放位置區(qū)間[4]
 short c; //長度2 < 8 按2對齊；偏移量要提升到2的倍數(shù)6；存放位置區(qū)間[6,7]
 char d; //長度1 < 8 按1對齊；偏移量為7；存放位置區(qū)間[8]，總大小為9
};
#pragma pack()

第二步：整體對齊

整體對齊系數(shù) = min((max(int,short,char), 8) = 4，將9提升到4的倍數(shù)，則為12.所以最終結(jié)果為12個字節(jié)。圖示如上。

注：可以通過stddef.h庫中的offsetof宏來查看對應(yīng)結(jié)構(gòu)體元素的偏移量。

例四：結(jié)構(gòu)體中包含結(jié)構(gòu)體的運算

整體計算過程如下

struct EE
{
 int a; //長度4 < 8 按4對齊；偏移量為0；存放位置區(qū)間[0,3]
 char b; //長度1 < 8 按1對齊；偏移量為4；存放位置區(qū)間[4]
 short c; //長度2 < 8 按2對齊；偏移量由5提升到6；存放位置區(qū)間[6,7]
 //結(jié)構(gòu)體內(nèi)部最大元素為int,由于偏移量為8剛好是4的整數(shù)倍，所以從8開始存放接下來的struct FF
 struct FF
 {
 int a1; //長度4 < 8 按4對齊；偏移量為8；存放位置區(qū)間[8,11]
 char b1; //長度1 < 8 按1對齊；偏移量為12；存放位置區(qū)間[12]
 short c1; //長度2 < 8 按2對齊；偏移量為13,提升到2的倍數(shù)14；存放位置區(qū)間[14,15]
 char d1; //長度1 < 8 按1對齊；偏移量為16；存放位置區(qū)間[16]
 };
 //整體對齊系數(shù) = min((max(int,short,char), 8) = 4，將內(nèi)存大小由17補齊到4的整數(shù)倍20
 char d;  //長度1 < 8 按1對齊；偏移量為21；存放位置區(qū)間[21]
 //整體對齊系數(shù) = min((max(int,short,char), 8) = 4，將內(nèi)存大小由21補齊到4的整數(shù)倍24
};

圖示如下：

例五：再來一個嵌套結(jié)構(gòu)體的計算

整體計算過程如下

struct B {
 char e[2]; //長度1 < 8 按2對齊；偏移量為0；存放位置區(qū)間[0,1]
 short h; //長度2 < 8 按2對齊；偏移量為2；存放位置區(qū)間[2,3]
 //結(jié)構(gòu)體內(nèi)部最大元素為double,偏移量為4，提升到8，所以從8開始存放接下來的struct A
 struct A {
 int a; //長度4 < 8 按4對齊；偏移量為8；存放位置區(qū)間[8,11]
 double b; //長度8 = 8 按8對齊；偏移量為12，提升到16；存放位置區(qū)間16,23]
 float c; //長度4 < 8,按4對齊；偏移量為24，存放位置區(qū)間[24,27]
 };
 //整體對齊系數(shù) = min((max(int,double,float), 8) = 8，將內(nèi)存大小由28補齊到8的整數(shù)倍32
};

圖示如下：