拥抱STL - union,天作之秀

1、缘起

没错，我的《走进STL - 空间配置器》又被截胡了。。。行了，不多说，先看看这次截胡的“罪魁祸首”：

  union obj {
        union obj * free_list_link;//指向下一个节点
        char client_data[1];    /* The client sees this. */
  };

其实这串后来我看懂了，于是有了第二串：

obj * __VOLATILE * my_free_list;
obj * __RESTRICT result;

然后有了第三串：

好，开个玩笑，还有第三串我估计得晕死

接下来我们一个一个来看：

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先看吧，比较简单。

obj * __VOLATILE * my_free_list;
obj * __RESTRICT result;

volatile和restrict是两个关键字。。。完全可以当作没看到。

好，问题一：

  union obj {
        union obj * free_list_link;//指向下一个节点
        char client_data[1];    /* The client sees this. */
  };

还是那句，这个设计真是天秀！

union能够实现一物二用的效果，当节点所指的内存块是空闲块时，obj被视为一个指针，指向另一个节点。当节点已被分配时，被视为一个指针，指向实际区块。

那就会牵涉到一个节点交接的问题，确实也困扰了我，后来发现是我读书不用功。苍白的文字啊，看图

茅塞顿开吧！