【C语言】自定义类型：结构体、枚举、联合

目录

结构体

结构体的声明 

结构的成员

结构的自引用

结构的不完整声明

结构体变量的定义和初始化

结构体内存对齐

位段

枚举

联合

联合大小的计算

---

结构体

     至今为止，我们已经了解了基本类型（或者简单类型）的变量（如整型、实型、字符型变量等），还有一种构造类型的数据（数组），数组中的各元素属于同一种类型，下面，我们要了解的是将不同类型的数据组合成一个有机的整体——结构体。

结构体的声明 

声明一个结构体类型的一般形式：

          

例如描述一个学生：

struct Stu
{
    char name[20];   //名字
    int age;         //年龄
    char sex[5];     //性别
    char id[20];     //学号
};  //分号不能丢

特殊的声明：

//匿名的结构体类型
struct
{
    int a;
    char b;
} x;
struct
{
    int a;
    char b;
} a[20], *p;

注：上面的两个结构体声明中都省略了结构体标签，当省略了结构体标签，就必须同时定义结构体变量。

       如果在上面的代码基础上，  p = &x ;    将是非法的，因为编译器将会把上面的两个声明当成完全不同的两个类型。

关于结构体的几点说明：

   <1>、类型与变量是不同的概念，不要混同。

   <2>、对结构体中的成员（即“域”），可以单独使用，它的作用与地位相当于普通变量。

   <3>、成员也可以是一个结构体变量。

   <4>、成员名可以与程序中的变量名相同，二者不代表同一对象。

结构的成员

    结构体的成员可以是标量、数组、指针，甚至其他结构体。

结构体成员的访问

<1>、结构体变量访问成员是通过点操作符（ . ）访问的。

           

<2>、结构体访问指向变量的成员，可以通过点操作符（ . ）访问，也可以通过（ - > ）访问。

            

结构的自引用

           

结构的不完整声明

          

结构体变量的定义和初始化

             

结构体内存对齐

结构体的对齐规则：

   <1>、第一个成员在与结构体变量偏移量为 0 的地址处。

   <2>、其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。 对齐数 = 编译器默认对齐数 与 该成员大小的较小值。VS中默认的值为 8 ，Linux中默认的值为 4 。

   <3>、结构体总大小为最大对齐数（每个成员变量除第一个成员都有一个对齐数）的整数倍。

   <4>、如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

下面我们来看几个例子，然后计算一下它的大小：

           

       通过上面两个例子，我们应该已经了解了结构体对齐的规则，并且通过上面的两个例子来看，成员变量是一样的，只是顺序不一样，导致所占的空间也不一样，因此我们既要满足对齐，又要节省空间的方法是：让空间小的成员尽量集中在一起。

为什么存在内存对齐？

<1>、平台原因（移植原因）

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

<2>、性能原因

          数据结构（尤其是栈）应该尽可能地在自然边界上对齐。

          原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要一次访问。

位段

位段的声明与结构类似，不同在于：

<1>、位段的成员必须是 int 、 unsigned int 、 signed int 或 char

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

位段的内存分配

<1>、位段的成员可以是 int 、 unsigned int 、 signed int 或 char（属于整型家族）类型。

<2>、位段的空间上是按照需要以 4 个字节（int）或者 1 个字节（char）的方式来开辟的。

<3>、位段涉及很多不确定因素，位段是不跨平台的，注重可移植的程序应该避免使用位段。

下面通过一个例子来查看位段的内存分配：

          

位段的跨平台问题

<1>、int 位段被当成有符号数还是无符号数是不确定的；

<2>、位段中最大位的数目不能确定。（16位机器最大16， 32位机器最大32，写成27，在16位机器会出问题）；

<3>、位段中的成员在内存中从左向右分配，还是从右向左分配标准尚未定义。

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

枚举

   如果一个变量只有几种可能的值，则可以定义为枚举类型。所谓“枚举”是指将变量的值一一列举出来，变量的值只限于列举出来的值的范围内。

枚举类型的定义

        

   { }中的内容是枚举类型的可能取值，也叫枚举常量。这些可能的取值都是有值的，默认从 0 开始，依此递增 1 ，也可以在定义的时候赋值。

枚举的优点

<1>、增加代码的可读性和可维护性；

<2>、和#define定义的标识符比较枚举有类型检查，更加严谨；

<3>、防止命名污染（封装）；

<4>、便于调试；

<5>、使用方便，一次可以定义多个常量。

联合

    联合是特殊的自定义类型。

    这种类型定义的变量也包含一系列的成员，特征是这些成员共用同一块空间，所以一个联合变量的大小，至少是最大成员的大小（因为联合至少得有能力保存最大的那个成员）。

我们通过联合来判断当前计算机的大小端存储

        

联合大小的计算

      

联合大小的计算方法：

   <1>、联合的大小至少是最大成员的大小；

   <2>、当最大成员大小不是最大对齐数的整数倍的时候，就要对齐到最大对齐数的整数倍。