STL中的空间配置器关于free_list的节点的union使用

配置器中free_lists的结构如下：

union obj{
    union obj* free_list_link;
    char client_data[1];
}

因为为了维护链表。每个节点即需要用指针来指向实际区块，同时还要链接着下一个空闲节点。从而每个节点就需要额外的指针来指向下一个空闲节点，这就造成了额外负担。但是在实际赋值时，你只会二选一，要么表示实际区块，要么就表示下一个空闲块。这时你就可以用union联合体来帮你节省内存空间，我们用空间配置器本来就是为了合理的分配内存，不造成额外的浪费。

      在C/C++程序的编写中，当多个基本数据类型或复合数据结构要占用同一片内存时，我们要使用联合体；当多种类型，多个对象，多个事物只取其一时（我们姑且通俗地称其为“n 选1”），我们也可以使用联合体来发挥其长处。

      union类型是共享内存，以sizeof最大的结构作为自己的大小。每个数据成员在内存中得起始地址是相同的，对于首地址的偏移量均为0；

      下面举一个例子：

#include <iostream>
using namespace std;
 
union Test{
	struct{
		int x;
		int y;
		int z;
	}s;
		int k;
}myUnion;
 
int main()
{
	myUnion.s.x = 4;
	myUnion.s.y = 5;
	myUnion.s.z = 6;
	myUnion.k = 0;
	cout<< myUnion.s.x <<endl;
	cout<< myUnion.s.y <<endl;
	cout<< myUnion.s.z <<endl;
	cout<< myUnion.k <<endl;
}

运行结果：

union类型是共享内存的，以sizeof最大的结构作为自己的大小。每个数据成员在内存中的起始地址是相同的。这样的话，myun这个结构就包含u这个结构体，而大小也等于u这个结构体的大小，在内存中的排列为声明的顺序x,y,z从低到高，然后赋值的时候，在内存中，就是x的位置放置4，y的位置放置5，z的位置放置6，现在对k赋值，对k的赋值因为是union，要共享内存，所以从union的首地址开始放置，首地址开始的位置其实是x的位置，这样原来内存中x的位置就被k所赋的值代替了，就变为0了，这个时候要进行打印，就直接看内存里就行了，x的位置也就是k的位置是0，而y，z的位置的值没有改变。
因此就知道了union的使用方式。

所以对于空间配置器中，使用union是一个很好的选择，因为在赋值时，只会二选一；

这里有以下注意事项：

• union以sizeof最大的成员作为自己的内存大小，但是也要注意内存对齐，且内存对齐方式要适合其所有的成员
• 联合体是一个结构体
• union的成员只能是基本数据成员，因为如果是vector和string这种可以扩容的，那么union的大小就没法计算，在赋值时就会报错
• union可以有构造函数和析构函数，但是没啥意义，因为都是基本数据成员

像这样是ok的：

union kk {
	kk(int A) :a(A) {};
	kk(char B) :b(B) {};
	int a;
	char b;
	~kk() {};
};

• 使用时最好是用c的风格，不然会有很多意想不到的麻烦

定义形式如下：

union 名称{
    public: //此行可不写，默认为public
        公有成员
    protected:
        保护型成员
    private:
        私有成员
};

无名联合体

union { 
    int i; 
    float f; 
};
i = 5; // 无名联合体可直接用变量名使用
f = 2.0; // 此时i赋值的内容已无效

使用举例：

union Mark{ //表示成绩的联合体，同一门课程只会存在一种成绩表示方法
    char level; // 表示等级制的成绩‘A’ ‘B’ 'C'等
    bool pass; // 只计是否通过课程的成绩 0 1
    int grade; // 表示分数制的成绩
};

使用联合体保存成绩信息，并且输出：

#include<iostream>
#include<string>

using namespace std;

class ExamInfo {
private:
    string name; //课程名
    enum { LEVEL, PASS, GRADE } mode; //计分方式
    union {
        char level; // 表示等级制的成绩‘A’ ‘B’ 'C'等
        bool pass; // 只计是否通过课程的成绩 
        int grade; // 表示分数制的成绩
    };
public:
    ExamInfo() {};
    ExamInfo(string name, char level) : name(name), mode(ExamInfo::LEVEL), level(level) {};
    ExamInfo(string name, bool pass) : name(name), mode(ExamInfo::PASS), pass(pass) {};
    ExamInfo(string name, int grade) : name(name), mode(ExamInfo::GRADE), grade(grade) {};
    void show() {
        cout << name << ":";
        switch (mode) {
        case ExamInfo::LEVEL: cout << level << endl; break;
        case ExamInfo::PASS: cout << (pass ? "PASS" : "FAIL") << endl; break;
        case ExamInfo::GRADE: cout << grade << endl; break; 
        }
    }
};

int main() {
    ExamInfo course1("English", 'B');
    ExamInfo course2("Math", true);
    ExamInfo course3("C++ Programming", 89);
    course1.show();
    course2.show();
    course3.show();
    system("pause");
    return 0;
}

输入结果：

例子借用：C/C++中的联合体union介绍

union和struct的区别：

在struct类型中，所有数据成员是存储在相邻的内存中的。一个struct对象的大小事其所有数据成员的大小总和，且所有成员都是public；

而union中却是所有数据成员是共享一片内存，如果struct和union有相同数据成员，那么他们分配的大小也是不一样的。