STL空间配置器的union obj

最近学习《STL源码剖析》一书，看到SGI的第二级配置器时，空闲内存链表使用了一个神奇的联合体(union)结构，代码如下：

union obj{
    union obj * free_list_link;
    char client_data[1]; /* The client sees this.*/
};

书中描述为这样： 由于union之故，从其第一字段观之，obj可被视为一个指针，指向相同形式的另一个obj。从其第二字段观之，obj可被视为一个指针，指向实际区块。 union的特性就是其内存空间为其成员中最长长度的整数倍，而且可作为成员中的任意一种类型来使用，他们共用同一块内存空间。该联合体第一个字段是指向下一个union obj的指针，按32位地址空间算，其长度应该为4byte。第二个字段是长度为1的一个数组，也就是1byte；看到这里我就无法理解了，长度为一的数组有什么意义呢？看看下面的栗子：

char client_data;    /*此处的client_data是一个char型变量*/
char client_data[1]; /*而此处client_data是一个数组的首地址*/

他们的区别如上所示，这样就好理解了，事实上我们所关注的并不是client_data[1]里面的内容，而是client_data这个数组首地址。由于client_data[1]和free_list_link使用的是同一块内存区域，因此他们的内存布局应该如下所示：

由于free_list_link长度较大，union obj的长度为它的整数倍，client_data[1]只占了其头部的一个字节。因此client_data首地址指向的也就是整个union obj的首地址，亦即实际区块的地址。再看看下面一个栗子：

// 下面这段代码中的两个输出值完全一样
obj * block = (obj *) malloc(128);
printf("%x\n", block);
printf("%x\n", block->client_data);

// 然后再将它串接到free_list中去
block->free_list_link = free_list;
free_list = block;

// 使用时将其取出，指向下一个区块的free_list_link此时就被我们当做空闲区域来使用了，因而不会额外占用空间
obj *myBlock = free_list;
free_list = free_list->free_list_link;

// 之后直接使用myBlock->client_data来访问该内存区域
// ..............
// ..............

试验我们会发现client_data和myBlock的地址完全相同，那么问题来了：既然它们值是一样的，作者为什么还要画蛇添足的为obj增加client_data这个成员呢？我比较同意的一种观点是：这里client_data其实是作为一种指针类型转换，为了方便使用。一般内存buffer我们都是使用char*指针，如果要使用obj的地址，还得加上 (char *)myBlock 进行强制类型转换。反之直接使用myBlock->client_data即可,方便多了。 

http://blog.csdn.net/w450468524/article/details/51649222