关于边界标识法中可利用空间表结点结构的定义

边界标识法中可利用空间表的结点结构定义如下：
typedef struct WORD {    //WORD：内存字类型
    union {        //head和foot分别是结点的第一个字和最后的字
            WORD    *llink;    //头部域，指向前驱结点
            WORD    *uplink;    //底部域，指向本结点头部
    };
    int    tag;    //块标志,0:空闲,1:占用,头部和尾部均有。
    int    size;    //头部域，块大小
    WORD        *rlink;    //头部域，指向后继结点
    OtherType    other;    //字的其他部分
        } WORD, head, foot, *Space;    //*Space:可利用空间指针类型
        #define FootLoc (p) p + p－>size-1    //指向p所指结点的底部
请问下，定义中WORD, head, foot, *Space; 分别定义了word类型，head类型和foot类型，那这个head和foot类型是什么情况？也同样是结点类型？但是head中应该只有link,tag,size,rlink域，foot中应该只有uplink,tag域的啊？怎么回事？