联合体也是一种数据结构,它比使用结构体更节省空间。例如,在实现二叉树时,用结构体实现如下:
struct NODE_S{
struct NODE_S* left;
struct NODE_S* right;
};
那么每个节点需要16个字节,每种类型的节点都要浪费一半的字节。如果我们声明一个节点如下:
union NODE_U{
struct {
union NODE_U *left;
union NODE_U *right;
}internal;
double data;
};
则每个节点需要8个字节。如果n是一个指针,指向union NODE*类型的节点,我们用n->data来引用叶子节点的数据,而用n->internal.left和n->internal.right来引用内部节点的孩子。
然而,如果这样编码,就没有办法确定一个给定的节点到底是叶子节点,还是内部节点。常用的方法是引入一个枚举类型,定义这个联合体中可能的不同选择,然后再创建一个结构,包含一个标签字段和这个联合体:
typedef enum{N_LEAF, N_INTERNAL}nodetype_t;;
struct NODE_T{
nodetype_t type;
union{
struct{
struct NODE_T* left;
struct NODE_t* right;
}internal;
double data;
}info;
};
这个结构体共需要12个字节。