关于双向链表的审计 audit

双向链表除了有增删查的功能以外，应该为双向链表添加期审计功能

可使用在定时器定期检查双向链表中有没有数据存储错误，如果发现不符合双向链表中有不符合存储逻辑的地方，及时发现并且report出来。

审计函数如下：

int DList_audit(DLIST_P list)
{
        assert(list);

        GEN_NODE_P      node = list->head;
        int             count = 0;

        while ((node != NULL) && (count < list->numObjects)) {
                if (node->prev == NULL)  {
                        if (list->head != node) return DLIST_ERROR_INCONSISTENT;
                } else {
                        if (node->prev->next != node) return DLIST_ERROR_INCONSISTENT;
                }

                if (node->next == NULL) {
                        if (list->tail != node) return DLIST_ERROR_INCONSISTENT;
                } else {
                        if (node->next->prev != node) return DLIST_ERROR_INCONSISTENT;
                }

                count++;
                node = node->next;
        }

        if ((node != NULL) || (count != list->numObjects)) return DLIST_ERROR_INCONSISTENT;

        return DLIST_NO_ERROR;
}

1. 将双向链表的传入到函数中来。首先将链表的表头放入节点中，然后开始逐一检查

2. 由于双向链表的表尾的后继，一定为空，或者判断链表中的数据个数。每循环一次，节点后移，个数加一。当节点的后继为空时或者统计个数不小于总个数时，跳出循环。

3. 先判断节点的前驱，如果前驱为空，说明此节点时是head，如果不是head，报错。 如果前驱不为空，此节点前驱的后继应为此节点，如果不是，报错。

4. 再判断节点的后继，如果后继为空，说明此节点为tail，如果不是tail，报错。如果后继不为空，此节点的后继的前驱应为此节点，如果不是，报错。

5. 循环结束，node不为空与计数不统一，报错。

6，不满足任何以上条件，即为无错。