结构体、共用体、枚举类型的内存模型（详解）

一、结构体

struct {
	int a;
	float b;
	char c;
} S;

1. 内存模型：

结构体变量指向的是整个结构体的首地址，即指向整个结构体。通过结构体变量调用其成员，与类相同，只是类中还存在类方法。

2. 内存占用：

栈中的数据在编译时存储到外存磁盘文件中，而堆中的数据是运行时定义的数据，存储于运行内存中，所以所谓的内存占用是指堆的占用空间，只考虑内存占用而不是外存。

因此，结构体占用的内存为堆中所有元素值的占用内存。但是，在结构体这种包含多种不同数据类型的连续存储结构中，为了内存空间的利用率，在系统中做了位段的统一。以最长类型的元素为位段划分，按照元素定义的顺序，连续的加起来不超过最长类型长度的多个元素划分在一个位段中。

关于结构体位段：位段（详解）

二、共用体

union {
	int a;
	float b;
	char c;
} U;

1. 内存模型：

共用体同一时刻只能指向并表现一个元素形式，堆中的数据自动向共用体此刻表现的类型进行转换。

谭浩强《C程序设计》中特意强调了把 union 译为“共用体”更能反映其结构特点，而不是直译为“联合”。“共用”的确反映了union的结构特征——内存共用，是对于堆而言的，而“联合”更能体现union的实质为某一数据多种类型的结合体，这是对于栈而言的，这多种类型本质上是相同的，只是表现形式不同，并且同一时刻只能有一种表现形式。这种同一的联合性才应该是union的闪光点，也应该是创建者命名为union的原因。

2. 内存占用：

可以看出共用体占用的内存空间是该共用体变量指向元素的值的占用空间。并且多个元素共用一个值空间。而由于共用体中的元素是不同的数据类型，所以系统以最长空间的元素作为整个共用体的内存，以便能放得下所有类型元素值。

三、枚举类型

enum {
	LV1 = 1,
	LV2 = 2,
	LV3 = 3,
} E;

1. 内存模型：

当需要定义多个具有相关性的或连续性的常量时，用枚举类型，其作用就是便于相关常量的集中管理。其本身就是一个一系列常量的集合。