解释使用union的循环双链表实现

我在解释这个双链接列表时遇到了一些问题:

struct _dnode {
    union {
        struct _dnode *head;
        struct _dnode *next;
    };
    union {
        struct _dnode *tail;
        struct _dnode *prev;
    };
};

typedef struct _dnode sys_dlist_t;
typedef struct _dnode sys_dnode_t;

在此列表上定义了其他函数,例如,查找给定节点是否为列表的头部:

static inline int sys_dlist_is_head(sys_dlist_t *list, sys_dnode_t *node)
{
    return list->head == node;
}

现在,我的问题是-

(i) 为什么我们需要一个联盟?这也是,以这种特定的方式?

(ii)为什么 list 和 node 列表中的将是相同类型的指针?(参见 typedef 声明)

(iii)如果我声明了此类列表,即 data_node 项目将是 sys_dlist_t 类型:

struct data_node{
    sys_dnode_t node;
    int data = 0;
} data_node[2];

我声明一个节点,这样:

sys_dnode_t *node = NULL;

然后如果我想迭代我的列表,检查 data 的 data\u节点 元素匹配,比如数字3。我可以用打字的方式吗 节点 (当前是指向类型的指针 sys_dnode_t )指向类型的指针 data\u节点 ?

现在,在代码中,这已经完成了,就像:

if (((struct data_node *)node)->data == 3) {
    break;
}

这让我困惑。我可能遗漏了一些代码来解决这个问题,所以如果您需要更多信息,请告诉我。我们可以打字吗 节点 指向某个结构的指针,该结构包含 节点 然后访问结构的其他数据?这是如何工作的?

编辑1: 此列表中没有更多信息:

“应初始化列表,使头指针和尾指针都指向列表本身。以这种方式初始化列表可简化向列表中添加或从列表中删除节点的过程。”

初始化如下:

static inline void sys_dlist_init(sys_dlist_t *list)
{
    list->head = (sys_dnode_t *)list;
    list->tail = (sys_dnode_t *)list;
}