1、缘起
没错，我的《走进STL - 空间配置器》又被截胡了。。。 行了，不多说，先看看这次截胡的“罪魁祸首”：
代码语言：javascript复制 union obj {
union obj * free_list_link;//指向下一个节点
char client_data[1]; /* The client sees this. */
};其实这串后来我看懂了，于是有了第二串：
代码语言：javascript复制obj * __VOLATILE * my_free_list;
obj * __RESTRICT result;然后有了第三串：
代码语言：javascript复制好，开个玩笑，还有第三串我估计得晕死接下来我们一个一个来看：
2、union的特性
联合体的定义如果不清楚可以看一下上面第一串。 联合体，又叫共用体，很直接，就是多个数据共同使用同一块空间。
分配空间准则：分配共用体中最大数据类型的空间大小。
内存共用准则：
- 同等大小的数据视为同一数据（这个要小心，例如long int 和int共存时，修改一个另一个就会随之改变）
- 大类型优先初始化。看示例：
#include<iostream>
using namespace std;
union var{
long int l; //4个字节
double i; //8个字节
};
int main(){
union var v;
v.i = 6.2;
v.l = 5;
// v.i = 6.2; //如果放在这里，会将v.l覆盖
cout<<v.i<<endl;
cout<<v.l<<endl;
// v.i = 6.2; //如果放在这里，且上面不初始化v.i,上面的v.i打印将没有值
// cout<<v.i<<endl;
// cout<<v.l<<endl;
return 0;
}可以拿去测试。
它在网络字节序中的作用这里就不提了，和本篇无关。
根据union固定首地址和union按最大需求开辟一段内存空间两个特征，可以发现，所有表面的定义都是虚的，所谓联合体union，就是在内存给你划了一个足够用的空间，往里边扔什么数据谁管得到？ 这个如果有兴趣的朋友可以自己去试一下将共用体对象强转。
3、问题解决
是时候切正题了，我还想去睡觉呢。
问题2先看吧，比较简单。
代码语言：javascript复制obj * __VOLATILE * my_free_list;
obj * __RESTRICT result;volatile和restrict是两个关键字。。。完全可以当作没看到。
好，问题一：
代码语言：javascript复制 union obj {
union obj * free_list_link;//指向下一个节点
char client_data[1]; /* The client sees this. */
};还是那句，这个设计真是天秀！
union能够实现一物二用的效果，当节点所指的内存块是空闲块时，obj被视为一个指针，指向另一个节点。当节点已被分配时，被视为一个指针，指向实际区块。
那就会牵涉到一个节点交接的问题，确实也困扰了我，后来发现是我读书不用功。苍白的文字啊，看图
茅塞顿开吧！
