C_and_CPP 版 (精华区)

发信人: hua (pupa), 信区: C_and_CPP
标  题: C编译器对结构空间缺省的分配 
发信站: 哈工大紫丁香 (Sat May 14 15:59:15 2005), 转信

C编译器对结构空间缺省的分配 

作者:ronnie 

　　在C语言中，结构是一种复合数据类型，其构成元素既可以是基本数据类型
（如int、long、float等）的变量，也可以是一些复合数据类型（如数组、
结构、联合等等）的数据单元。在结构中，编译器为结构的每个成员按其自然对
界（alignment）条件分配空间；各个成员按照它们被声明的顺序在内存中顺序
存储，第一个成员的地址和整个结构的地址相同。在缺省情况下，
C编译器为每一个变量或是数据单元按其自然对界条件分配空间 

例如，下面的结构各成员空间分配情况： 
struct test { 
char x1; 
short x2; 
float x3; 
char x4; 
}; 
　　 
　　　　　　　　　　　　　　　　　 
结构的第一个成员x1，其偏移地址为0，占据了第1个字节。
第二个成员x2为short类型，其起始地址必须2字节对界，因此，
编译器在x2和x1之间填充了一个空字节。结构的第三个成员x3和
第四个成员x4恰好落在其自然对界地址上，在它们前面不需要额外的填充字节。
在test结构中，成员x3要求4字节对界，
是该结构所有成员中要求的最大对界单元，
因而test结构的自然对界条件为4字节，编译器在成员x4后面填充了3个空字节。
整个结构所占据空间为12字节。 

结构中的位段 
　　所谓位段是以位为单位定义长度的结构体类型中的成员。
编译器对结构中位段的分配遵从下面几点原则： 
? 对于长度为0的位段，其下一个位段从下一个存储单元开始存放： 
如： 
struct T { 
unsigned char a : 1; 
unsigned char b : 2; 
unsigned : 0; 
unsigned c : 3; 
}; 
　　结构T的成员a和b在一个存储单元中，c则在另一个存储单元中。 
　　· 一个位段必须存储在同一存储单元中，不能跨两个单元： 
如： 
struct T { 
unsigned char a : 4; 
unsigned char b : 6; 
}; 
　　结构T的成员a在一个存储单元中，b则在另一个存储单元中。 

更改C编译器的缺省分配策略 
　　一般地，可以通过下面的两种方法改变缺省的对界条件： 
　　· 使用伪指令#pragma pack ([n]) 
　　· 在编译时使用命令行参数 
#pragma pack ([n])伪指令允许你选择编译器为数据分配空间所采取的对界策略.

--

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 219.217.235.95]