为什么sizeof运算符返回的结构大小大于结构成员的总大小？
当前回答
C99 N1256标准草案
http://www.open-std.org/JTC1/SC22/WG14/www/docs/n1256.pdf
6.5.3.4操作员尺寸：
3当应用于具有结构或并集类型的操作数时，结果是这样的对象中的字节总数，包括内部和尾部衬垫。
6.7.2.1结构和接头规范：
13 ... 可能有未命名的在结构对象内填充，但不能在其开头填充。
and:
15在结构或联合体的末端可能有未命名的填充。
新的C99灵活数组成员特性（结构S｛int is[]；｝；）也可能影响填充：
16作为一种特殊情况，具有多个命名构件的结构的最后一个元素可以具有不完整的数组类型；这称为灵活阵列成员。在大多数情况下，柔性阵列成员被忽略。特别是，结构的大小似乎省略了灵活的数组成员，除了它可能具有比这一遗漏意味着。
附件J便携性问题重申：
以下未指定：。。。在结构或联合中存储值时填充字节的值（6.2.6.1）
C++11 N3337标准草案
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3337.pdf
5.3.3尺寸：
2应用时对于类，结果是该类的对象中的字节数，包括将该类型的对象放置在数组中。
9.2班级成员：
指向标准布局结构对象的指针（使用reinterpret_cast进行适当转换）指向其初始成员（或者如果该成员是位字段，则返回到它所在的单元），反之亦然。[注：因此，在标准布局结构对象中可能存在未命名的填充，必要时实现适当的对齐。-尾注]
我只知道足够的C++来理解注释：-）
其他回答
C99 N1256标准草案
http://www.open-std.org/JTC1/SC22/WG14/www/docs/n1256.pdf
6.5.3.4操作员尺寸：
3当应用于具有结构或并集类型的操作数时，结果是这样的对象中的字节总数，包括内部和尾部衬垫。
6.7.2.1结构和接头规范：
13 ... 可能有未命名的在结构对象内填充，但不能在其开头填充。
and:
15在结构或联合体的末端可能有未命名的填充。
新的C99灵活数组成员特性（结构S｛int is[]；｝；）也可能影响填充：
16作为一种特殊情况，具有多个命名构件的结构的最后一个元素可以具有不完整的数组类型；这称为灵活阵列成员。在大多数情况下，柔性阵列成员被忽略。特别是，结构的大小似乎省略了灵活的数组成员，除了它可能具有比这一遗漏意味着。
附件J便携性问题重申：
以下未指定：。。。在结构或联合中存储值时填充字节的值（6.2.6.1）
C++11 N3337标准草案
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3337.pdf
5.3.3尺寸：
2应用时对于类，结果是该类的对象中的字节数，包括将该类型的对象放置在数组中。
9.2班级成员：
指向标准布局结构对象的指针（使用reinterpret_cast进行适当转换）指向其初始成员（或者如果该成员是位字段，则返回到它所在的单元），反之亦然。[注：因此，在标准布局结构对象中可能存在未命名的填充，必要时实现适当的对齐。-尾注]
我只知道足够的C++来理解注释：-）
这是因为添加了填充以满足对齐约束。数据结构对齐会影响程序的性能和正确性：
未对齐的访问可能是一个硬错误（通常是SIGBUS）。未对齐的访问可能是软错误。要么在硬件中进行了纠正，以适度降低性能。或通过软件仿真进行纠正，以严重降低性能。此外，原子性和其他并发性保证可能会被破坏，从而导致微妙的错误。
下面是一个使用x86处理器典型设置的示例（均使用32位和64位模式）：
struct X
{
short s; /* 2 bytes */
/* 2 padding bytes */
int i; /* 4 bytes */
char c; /* 1 byte */
/* 3 padding bytes */
};
struct Y
{
int i; /* 4 bytes */
char c; /* 1 byte */
/* 1 padding byte */
short s; /* 2 bytes */
};
struct Z
{
int i; /* 4 bytes */
short s; /* 2 bytes */
char c; /* 1 byte */
/* 1 padding byte */
};
const int sizeX = sizeof(struct X); /* = 12 */
const int sizeY = sizeof(struct Y); /* = 8 */
const int sizeZ = sizeof(struct Z); /* = 8 */
可以通过对齐对成员进行排序来最小化结构的大小（按大小排序足以满足基本类型的排序）（如上面示例中的结构Z）。
重要提示：C和C++标准都规定结构对齐是由实现定义的。因此，每个编译器可能会选择不同的数据对齐方式，从而导致不同且不兼容的数据布局。因此，在处理不同编译器将使用的库时，了解编译器如何对齐数据很重要。某些编译器具有命令行设置和/或特殊的#pragma语句来更改结构对齐设置。
另请参见：
对于Microsoft Visual C:
http://msdn.microsoft.com/en-us/library/2e70t5y1%28v=vs.80%29.aspx
GCC声称与微软编译器兼容
https://gcc.gnu.org/onlinedocs/gcc-4.6.4/gcc/Structure_002dPacking-Pragmas.html
除了前面的答案，请注意，无论包装如何，C++中没有成员订单保证。编译器可以（当然也可以）向结构中添加虚拟表指针和基结构的成员。即使是虚拟表的存在也没有得到标准的保证（没有规定虚拟机制的实现），因此可以得出这样的保证是不可能的。
我很确定C语言保证了成员顺序，但在编写跨平台或跨编译器程序时，我不会指望它。
结构的尺寸大于其部件的总和，这是因为所谓的填充。一个特定的处理器有一个首选的数据大小。大多数现代处理器的首选大小为32位（4字节）。当数据位于这种边界上时，访问内存比跨越这种大小边界的东西更有效。
例如考虑简单的结构：
struct myStruct
{
int a;
char b;
int c;
} data;
如果机器是32位机器，并且数据在32位边界上对齐，我们会看到一个直接的问题（假设没有结构对齐）。在此示例中，让我们假设结构数据从地址1024开始（0x400-请注意，最低2位为零，因此数据与32位边界对齐）。对data.a的访问将正常工作，因为它从边界0x400开始。对data.b的访问也会很好，因为它位于地址0x404——另一个32位边界。但未对齐的结构将把data.c放在地址0x405。数据.c的4个字节位于0x405、0x406、0x407、0x408。在32位机器上，系统将在一个内存周期内读取data.c，但只能获得4个字节中的3个字节（第4个字节位于下一个边界）。因此，系统必须进行第二次内存访问以获得第四个字节，
现在，如果编译器不将data.c放在地址0x405，而是将结构填充3字节，并将data.c放到地址0x408，那么系统只需要1个周期就可以读取数据，从而将对该数据元素的访问时间减少50%。填充以内存效率换取处理效率。考虑到计算机可以拥有大量的内存（许多千兆字节），编译器认为这种交换（速度与大小）是合理的。
不幸的是，当您试图通过网络发送结构，甚至将二进制数据写入二进制文件时，这个问题就成了一个杀手。在结构或类的元素之间插入的填充会破坏发送到文件或网络的数据。为了编写可移植的代码（一个将被几个不同的编译器使用），您可能必须分别访问结构的每个元素，以确保正确的“打包”。
另一方面，不同的编译器有不同的能力来管理数据结构打包。例如，在Visual C/C++中，编译器支持#pragma pack命令。这将允许您调整数据打包和对齐。
例如：
#pragma pack 1
struct MyStruct
{
int a;
char b;
int c;
short d;
} myData;
I = sizeof(myData);
我现在的长度应该是11。如果没有pragma，我可以从11到14（对于某些系统，可以多达32），这取决于编译器的默认打包。
其思想是，出于速度和缓存的考虑，操作数应从与其自然大小对齐的地址中读取。为了实现这一点，编译器填充结构成员，以便对齐以下成员或以下结构。
struct pixel {
unsigned char red; // 0
unsigned char green; // 1
unsigned int alpha; // 4 (gotta skip to an aligned offset)
unsigned char blue; // 8 (then skip 9 10 11)
};
// next offset: 12
x86体系结构始终能够获取未对齐的地址。然而，它速度较慢，当未对齐与两个不同的缓存线重叠时，当对齐的访问只会逐出一个缓存线时，它会逐出两个缓存线。
有些架构实际上必须捕获未对齐的读写，而早期版本的ARM架构（演变成当今所有移动CPU的架构）。。。事实上，他们只是返回了这些错误的数据。（他们忽略了低位。）
最后，请注意缓存线可以任意大，编译器不会试图猜测这些缓存线，也不会做出空间与速度的权衡。相反，对齐决策是ABI的一部分，表示最终将均匀填充缓存行的最小对齐。
TL；DR：对齐很重要。
