C++字节对齐

对齐值

• 自身对齐值：char、char p[]自身都是1，short是2，int是4，double是8----单位都是字节
• 指定对齐值：#pragma pack (value) 时的指定对齐值 value，vs默认是8…
• 有效对齐值：取上面两者的较小者，即min(自身对齐值, 指定对齐值)

分析和方法

网上说的每个成员起始地址能被自身长度整除其实并不对的，例如Struct1，假设从0x00开始编址，Struct1的地址如下：
p1：0x00-0x03
l ：0x04-0x0b 0x04就不能被自身长度8整除
p2：0x0c-0x0f
i ：0x10-0x13
总共20字节大小

小编总结复合结构(类，结构体)的方法如下：

1. 明确自身对齐值和指定对齐值
2. 按顺序填入内存，全过程尊随该句子：编译器会尽可能的减少内存分配
3. 连续挨着的变量自身对齐值有一种特殊情况，先小后大（如char，int）
4. 根据编译器会尽可能的减少内存分配这句话：对于先小后大，取大变量的自身对齐值和指定对齐值的较小者作为有效对齐值
5. 对于整个复合结构，整个大小应该是复合结构有效对齐值的整数倍。
   这个复合结构有效对齐值怎么决定呢？就是每个成员的有效对齐值得最大者，如下代码复合结构有效对齐值=4，因此
   StructF的大小应该是4的整数倍，如果不满足则在末尾填充

//x86vs2015
//设指定对齐值=4，每个成员有效对齐值如下图
struct Struct1
{
	char p1[1];		//有效对齐值1
	double l;		//有效对齐值4
	char p2[2];		//有效对齐值1
	int i;			//有效对齐值4
};

//x86vs2015
//设指定对齐值=8，每个成员有效对齐值如下图
struct Struct2
{								
	char p1[1];		//有效对齐值1	8(真实大小)
	double l;		//有效对齐值8	8(真实大小)
	char p2[5];		//有效对齐值4	8(真实大小) 先小后大：int的对齐值4，指定对齐值8，取4，因为5字节，因此要填充到2*4字节
	int i;			//有效对齐值4	4(真实大小) 这里4字节，总共28字节，不能被8整除，因此需要补4字节
};

代码

vs2015，x86程序，带*的表示易错

//#pragma pack(value) value值最终肯定是1，2，4，8，16...2^n^，不设置命令的话vs默认是8 					

//						理论值大小	真实值(value=1)	真实值(value=2)	真实值(value=4)	真实值(value=8)	真实值(value=16)					
struct StructA
{
	char p1[1];		//	1			1				1				1				1				1
	char p2[2]; 	//	2			2				2				2				2				2
};

struct StructB
{
	char p[1];		//	1			1				2*				2				2				2
	short s;		//	2			2				2				2				2				2
};

struct StructC
{
	char p[1];		//	1			1				2				4				4				4
	int i;			//	4			4				4				4				4				4
};

struct StructD
{
	char p[1];		//	1			1				2				4				8				8
	double d;		//	8			8				8				8				8				8
};

struct StructE
{
	char p1[1];		//	1			1				2				4				4				4
	int i;			//	4			4				4				4				4				4
	char p2[2];		//	2			2				2				4*				4*				8*
};

struct StructF
{
	char p1[1];		//	1			1				2				4				8				8
	double l;		//	8			8				8				8				8				8
	char p2[2];		//	2			2				2				4				4				4
	int i;			//	4			4				4				4				4				4
};