STL学习笔记之union obj

最近看STL源码剖析时遇到了一个有趣union的用法，简单谈谈自己的看法

STL第二级空间配置器中，自由链表的节点结构如下：

union obj{

union obj * free_list_link;

char client_data[1];

};

书上给的解释是这样的：“上述obj所用用的是union，由于union之故，从其第一字段观之，obj可被视为—个指针，指向相同形式的另一个obj。从其第二字段观之,obj可被视为一个指针，指向实际区块。一物二用的结果是，不会为了维
护链表所必须的指针而造成内存的另一种浪费。”

第一句话很好理解，在此就不再赘述，本文将探讨的重点放在第二句话，即其为何指向实际区块。

现在看下面一段代码的运行结果

如图所示，指针p所存的地址为0x008ff7a0即为数组m1首元素地址，同时data首元素地址与数组m首元素地址相同。

对此，我的理解是：此时test = (union obj*)m;使得test指向数组m所在空间，则data[0]所占空间为m[0]所占空间，于是data所指空间即为m所指空间。

由上述可知在第二级空间配置器中，自由链表某节点client_data所指地址即为该区块首地址。