关于字节对齐

奇怪的答案

#include <stdio.h>

struct {

char A;

short B;

char C;

}Alignment1;

struct {

char A[2];

long long B;

short C;

char  D;

}Alignment2;

int main(int argc,int* argv[])

{

        printf("sizeof(Alignment1)=%d\n",sizeof(Alignment1));

        printf("sizeof(Alignment2)=%d\n",sizeof(Alignment2));

        printf("A=%p;B=%p;C=%p D=%p\n",&Alignment2.A,&Alignment2.B,&Alignment2.C,&Alignment2.D);

}

[root@localhost project]# gcc alignment.c 

[root@localhost project]# ./a.out 

sizeof(Alignment1)=6

sizeof(Alignment2)=16

A=0x804961c;B=0x8049620;C=0x8049628 D=0x804962a

可以看到natural align 不是以结构体成员中size最大的成员对齐的，编译器很聪明的按照存取效率实现的。

64位系统开发对齐问题

还有一个问题也与数据结构中 32 位 long long 元素的对齐相关；i386 应用程序仅以 32 位为边界将 long long 元素对齐，而 amd64 ABI 则限制 long long 元素以 64 位为边界，这有可能会在数据结构中产生更宽的空白区域。 这与 SPARC 中有所不同，在 SPARC 中 32 位或 64 位long long 项均以 64 位为边界对齐。

下表说明了指定体系结构中的数据类型对齐情况。

表 6–2 数据类型对齐

体系结构	long long	double	long double
i386	4	4	4
amd64	8	8	16
sparcv8	8	8	8
sparcv9	8	8	16

针对 SPARC 系统，尽管看起来已经是干净的 64 位代码，但是如果在 32 位和 64 位编程环境之间复制数据结构，则这两个环境中不同的对齐情况可能会产生问题。这些编程环境包括设备驱动程序的 ioctl 例程、doors 例程或其他 IPC 机制。通过对这些接口仔细进行编码，并且谨慎地使用#pragma pack 或 _Pack 指令，可避免对齐问题。

•