Kev*_*vin 614
这是因为添加了填充以满足对齐约束.数据结构对齐会影响程序的性能和正确性:
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语句来更改结构对齐设置.
Emm*_*Eff 170
包装和字节对齐,如在C FAQ描述在这里:
这是为了对齐.许多处理器如果以各种方式填充,则无法访问2字节和4字节数量(例如,整数和长整数).
假设你有这个结构:
Run Code Online (Sandbox Code Playgroud)struct { char a[3]; short int b; long int c; char d[3]; };现在,您可能认为应该可以将此结构打包到内存中,如下所示:
Run Code Online (Sandbox Code Playgroud)+-------+-------+-------+-------+ | a | b | +-------+-------+-------+-------+ | b | c | +-------+-------+-------+-------+ | c | d | +-------+-------+-------+-------+但是如果编译器像这样安排它,它在处理器上要容易得多:
Run Code Online (Sandbox Code Playgroud)+-------+-------+-------+ | a | +-------+-------+-------+ | b | +-------+-------+-------+-------+ | c | +-------+-------+-------+-------+ | d | +-------+-------+-------+在打包版本中,请注意你和我看到b和c字段如何环绕至少有点困难？简而言之,处理器也很难.因此,大多数编译器将填充结构(就好像有额外的,不可见的字段),如下所示:
Run Code Online (Sandbox Code Playgroud)+-------+-------+-------+-------+ | a | pad1 | +-------+-------+-------+-------+ | b | pad2 | +-------+-------+-------+-------+ | c | +-------+-------+-------+-------+ | d | pad3 | +-------+-------+-------+-------+
INS*_*INS 23
如果您希望结构具有一定的GCC大小,例如使用__attribute__((packed)).
在Windows上,将cl.exe compier与/ Zp选项一起使用时,可以将对齐设置为一个字节.
通常,CPU更容易访问4(或8)的倍数,具体取决于平台和编译器.
所以这基本上是一个对齐的问题.
你需要有充分的理由来改变它.
Kyl*_*ton 13
这可能是由于字节对齐和填充,因此结构在平台上产生偶数个字节(或字).例如,在Linux上的C中,有以下3种结构:
#include "stdio.h"
struct oneInt {
int x;
};
struct twoInts {
int x;
int y;
};
struct someBits {
int x:2;
int y:6;
};
int main (int argc, char** argv) {
printf("oneInt=%zu\n",sizeof(struct oneInt));
printf("twoInts=%zu\n",sizeof(struct twoInts));
printf("someBits=%zu\n",sizeof(struct someBits));
return 0;
}
具有大小(以字节为单位)的成员分别是4字节(32位),8字节(2x32位)和1字节(2 + 6位).上面的程序(在Linux上使用gcc)将大小打印为4,8和4 - 其中最后一个结构被填充,因此它是一个单词(在我的32位平台上为4 x 8位字节).
oneInt=4
twoInts=8
someBits=4
也可以看看:
对于Microsoft Visual C:
http://msdn.microsoft.com/en-us/library/2e70t5y1%28v=vs.80%29.aspx
和GCC声称与微软的编译器兼容:
http://gcc.gnu.org/onlinedocs/gcc/Structure_002dPacking-Pragmas.html
除了之前的答案,请注意,无论包装如何,C++中都没有成员订单保证.编译器可以(当然也可以)将虚拟表指针和基础结构的成员添加到结构中.标准不能确保虚拟表的存在(未指定虚拟机制实现),因此可以得出结论,这种保证是不可能的.
我非常确定C语言中的成员顺序是有保证的,但在编写跨平台或交叉编译程序时我不会指望它.
C 语言为编译器提供了关于内存中结构元素位置的一些自由：
C 语言为程序员提供了结构中元素布局的一些保证：
与元素对齐相关的问题：
对齐的工作原理：
ps 更详细的信息可在此处找到：“Samuel P.Harbison，Guy L.Steele CA 参考，(5.6.2 - 5.6.7)”
这个想法是，出于速度和缓存的考虑，应该从与其自然大小对齐的地址读取操作数。为了实现这一点，编译器会填充结构成员，以便后续成员或后续结构将对齐。
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：对齐很重要。
由于所谓的包装,结构的尺寸大于其部件的总和.特定处理器具有与其一起使用的优选数据大小.大多数现代处理器的首选大小,如果是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处.data.c的4个字节位于0x405,0x406,0x407,0x408.在32位机器上,系统将在一个存储器周期内读取data.c,但只能获得4个字节中的3个(第4个字节位于下一个边界).因此,系统必须进行第二次内存访问才能获得第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的长度.没有编译指示,我可以是11到14之间的任何东西(对于某些系统,多达32个),具体取决于编译器的默认打包.
如果您隐式或显式设置结构的对齐方式,它可以这样做.对齐4的结构将始终是4个字节的倍数,即使其成员的大小不是4个字节的倍数.
也可以在x86下使用32位整数编译库,如果你手动执行此操作,可能会在64位进程上比较它的组件会产生不同的结果.
除了其他答案之外，结构体可以（但通常没有）具有虚函数，在这种情况下，结构体的大小还将包括 vtbl 的空间。
C99 N1256标准草案
http://www.open-std.org/JTC1/SC22/WG14/www/docs/n1256.pdf
6.5.3.4 sizeof运算符:
3当应用于具有结构或联合类型的操作数时,结果是此类对象中的总字节数,包括内部和尾部填充.
6.7.2.1结构和联合说明符:
13 ...结构对象中可能有未命名的填充,但不是在它的开头.
和:
15结构或联合的末尾可能有未命名的填充.
新的C99 灵活数组成员feature(struct 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++来理解笔记:-)
| 归档时间： |
|
| 查看次数： |
180403 次 |
| 最近记录： |