结构是一些值的集合,这些值称为成员变量,结构的每个成员可以是不同类型的变量,对比数组,是一群相同元素类型的集合。
1. 定义和声明:
结构体的定义如下所示,struct为结构体关键字,tag为结构体的标志,member-list为结构体成员列表,其必须列出其所有成员;variable-list为此结构体声明的变量。
struct tag
{
member-list;
} variable-list ;
在一般情况下,tag、member-list、variable-list这3部分至少要出现2个。
例如描述一个学生:
struct stu
{
char name[20];
int age;
char sex[5];
char ID[10];
};
struct stu s1, s2, s3;//创建变量s1,s2,s3; (局部变量)
//也可以像下面在结构体后面直接创建变量:
struct stu
{
char name[20];
int age;
char sex[5];
char ID[10];
}s1,s2,s3;(全局变量)
2. 关于结构体的大小计算:
比较下面两个结构体的大小:
//case 1:
struct S1
{
char c1;
int i;
char c2;
};
int main()
{
printf("%d\n", sizeof(struct S1));
return 0;
}
//case 2:
struct S2
{
char c1;
char c2;
int i;
};
int main()
{
printf("%d\n", sizeof(struct S2));
return 0;
}
结构体struct s1的大小结算结果为12,但是struct s2却为8;那么问题产生了,结构体里面的成员是一样的,只是顺序略微不同,结果整个结构体的大小都不一样,为什么呢?
要解答上面的问题,首先要掌握结构体的对齐规则:
(1) 第一个成员在与结构体变量偏移量为0的地址处。
(2) 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。
VS中默认的值为8
(3) 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
(4)如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整
体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
对于case 1:
C1的对齐数为1,放在偏移量为0的地址处,C2的大小为4,VS的默认对齐数为8,所以对齐数为4,所以根据上面的规则2放在地址为偏移量为4的位置,同理C3的对齐数为1,放在偏移量为8的位置,此时,总的大小为9个字节,然后根据规则3,结构体成员的最大对齐数为4,所以结构体大小为最大对齐数的整数倍,所以最后的结构体大小4的整数倍为12;所以可以发现浪费了7个字节;
对于case 2: (分析情况一样)
最后的结构体大小为8,刚好为结构体最大对齐数的整数倍,所以结构体的整体大小也为8;
3. 为什么存在内存对齐?
(1) 平台原因(移植原因):
不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特
定类型的数据,否则抛出硬件异常。
(2)性能原因:
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。
原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访
问。
总体来说:
结构体的内存对齐是拿空间来换取时间的做法。
那在设计结构体的时候,我们既要满足对齐,又要节省空间,如何做到:
根据前面的两个case,不难发现,同样的成员变量,case 2比case 1 所占的空间大小要小,所以为了节省空间,就让占用空间小的成员尽量集中在一起即可。