关于使用Union实现的循环双向链表的技术问询

我来帮你拆解这个用Union实现的循环双向链表设计，其实它的核心思路是复用内存+简化循环链表逻辑，咱们一步步来看：

为什么用Union来设计？ #

这个设计最巧妙的地方，是让链表表头（sys_dlist_t）和普通节点（sys_dnode_t）复用同一个结构体，靠Union的内存共享特性节省空间。

具体来说：

• 当你把它当作链表表头时，只需要用到head和tail字段——分别指向链表的第一个和最后一个节点。
• 当你把它当作普通节点时，只需要用到next和prev字段——分别指向当前节点的后继和前驱节点。

因为Union里的字段共享同一块内存，所以list->head和list->next其实是同一个内存地址，只是我们根据它的角色（表头/节点）来选择不同的字段名，让语义更清晰。

循环链表的工作逻辑 #

这是个循环双向链表，意味着链表的首尾是相连的，而且表头本身也充当了一个“哨兵节点”，参与循环：

• 空链表时，表头的head和tail都指向自己（也就是list->head = list，等价于list->next = list）。
• 插入第一个节点时，这个节点的next和prev都会指向表头，同时表头的head和tail更新为这个节点，形成一个小循环。
• 后续插入节点时，只需要调整对应节点的prev和next指针，让整个链表始终保持循环状态。

解读sys_dlist_is_head函数 #

这个函数判断节点是不是链表头，逻辑非常直接：return list->head == node;。

因为表头的head字段专门用来指向链表的第一个节点，所以直接比较地址就能得出结果。这里要注意，因为Union的特性，用list->next == node也能得到同样的结果，但用head字段更符合“表头指向首节点”的语义，可读性更好。

常见疑问解答 #

• 为什么不分开定义表头和节点结构体？
  分开定义的话，表头需要单独的结构体存head和tail，节点存prev和next，会多占用一份内存。而用Union的方式，表头本身就可以当作一个节点参与循环，插入、删除节点的逻辑不需要区分空链表和非空链表，代码更简洁，还能省内存——这在嵌入式系统里特别实用，因为内存资源有限。

• 这样的设计会不会搞混字段？
  只要严格按照角色使用就行：当变量是sys_dlist_t（表头）时，只操作head和tail；当是sys_dnode_t（普通节点）时，只操作next和prev。习惯之后反而会觉得这种设计很紧凑，语义清晰。

• 怎么遍历这个链表？
  和普通循环双向链表的遍历逻辑差不多，从表头的head开始，直到回到表头就行：

  sys_dnode_t *node = list->head;
  do {
      // 在这里处理你的节点逻辑
      node = node->next;
  } while (node != list->head);
  

  用do-while循环的好处是，空链表也能正确处理——空链表时node一开始就是表头，循环执行一次后退出，不会出错。

内容的提问来源于stack exchange，提问作者nj2237