自定义类型:结构体,枚举,联合

结构体

---

结构变量

结构的成员可能具有不同的类型.而且,每个结构成员都有名字,所以为了选择特定的结构成员需要指明结构成员的名字而不是他的位置.

结构变量的初始化

和数组一样,结构变量也可以在声明的同时进行初始化.为了对结构进行初始化,要把待储存到结构中的值的列表准备好并用花括号括起来.

初始化式中的值必须按照结构成员的顺序进行显示,

结构初始化式遵循的原则类似于数组初始化式的原则.用于结构初始化的表达式必须是常量.

对结构的操作

同数组一样,结构最常见的操作就是选择结构成员,但是结构成员是通过名字而不是通过位置访问的.

为了访问结构内的成员,首先写出结构的名字,然后写一个句点,再写出成员的名字.

结构的成员是左值,它们可以出现在复制运算的左侧,也可以作为自增自减表达式的操作数.

数组不能用=运算符进行复制,但是结构可以.并且对结构进行复制时,嵌在结构内的数组也得到了复制.运算符=仅仅用于类型兼容的结构.特别是不能使用运算符==和!=来判断两个结构相等还是不相等.

结构类型

C语言提供了两种结构命名的方法:可以声明"结构标记",也可以使用typedef来定义类型名.

内存对齐:

1.第一个成员在于结构体变量偏移量为0的地址处.

2.其他成员变量要对齐到某个数字(对齐数)的整数倍处.对齐数 = 编译器默认的一个对齐数与该成员大小的较小值.VS中默认的值为8,Linux中的默认值为4.

3.结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍.

4.如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍.

为什么存在内存对齐?

1.平台原因: 不是所有的硬件平台都能访问任意地址上的任意数据,某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常.

2.性能原因: 数据结构(尤其是栈)应尽可能的在自然边界上对齐.原因在于,为了访问未对齐的内存,处理器需要作两次内存访问,而对齐的内存访问仅需要一次访问.

总体来说,结构体的内存对齐是拿空间换时间.

修改对齐数:

结构在对齐方式不合适时,我们可以自己更改默认对齐数,

---

 

位段

位段的声明与结构是类似的,有两个不同:

1. 位段的成员必须是int, unsigned int或signed int

2. 位段的成员名后边有一个冒号和一个数字

位段的内存分配:

1. 位段的成员可以是 int, unsigned int, signed int, char类型

2. 位段的空间上是按照需要以4个字节(int)或者一个字节(char)的方式来开辟的

3. 位段涉及很多不确定因素,位段数不跨平台的,注重可移植的程序应该避免使用位段

位段的跨平台问题:

1. int位段被当成有符号数还是无符号数是不确定的

2. 位段中的成员在内存中从左到右分配还是从右到左分配标准尚未定义

3. 位段中的最大位的数目不能确定

4. 当一个结构体包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是舍弃剩余的位还是利用,这是不确定的

总结: 跟结构相比,位段可以达到同样的效果,但是可以很好的节省空间,但是有跨平台的问题存在

---

联合

像结构一样,联合也是由一个或多个成员构成的,而且这些成员可能具有不同的类型.但是,编译器只为联合中的最大成员分配足够的内存空间.联合的成员在这个空间内彼此覆盖.这样的结果是,给一个成员赋予新值也会改变其他成员的值.

联合大小的计算

1. 联合的大小至少是最大成员的大小

2. 当最大成员大小不是最大对齐数的整数倍时,就要对齐到最大对齐数的整数倍

---

枚举

枚举顾名思义就是------列举

C语言为具有可能值较少的变量提供了一种专用类型.枚举类型是一种值由程序员列出的类型,而且程序员必须为每个值命名.

虽然枚举和结构,联合没有什么共同的地方,但是他们的声明方法很类似.但是,与结构或联合的成员不同,枚举常量的名字必须不同于作用域范围内声明的其它标识符

枚举常量类似于用#define指令创建的常量,但是两者又不完全一样.特别地,枚举常量遵循C语言的作用域规则: 如果枚举声明在函数体内,那么它的常量对于外部函数来说是不可见的.