为什么我们需要list_for_each_safe()来删除内核链表中的节点？

Question

我正在学习如何使用 list.h 中的内核链表 API。

我了解到，在使用 list_del() 删除节点时需要使用 list_for_each_safe()，而不是使用 list_for_each()。

list_for_each_safe() 的代码：

#define list_for_each_safe(pos, n, head) \
    for (pos = (head)->next, n = pos->next; pos != (head); \
        pos = n, n = pos->next)

list_for_each() 的代码：

    for (pos = (head)->next; pos != (head); pos = pos->next)

我注意到它们都非常相似，除了 _safe 版本需要一个额外的参数用作“临时存储”（此处声明，list.h）。

我了解何时正确应用该函数，_safe 版本用于删除，正常版本用于访问，但我很好奇额外的参数如何使其“安全”？

考虑以下情况，我使用 list_for_each_safe() 删除链表中的每个节点：

struct kool_list{
    int to;
    struct list_head list;
    int from;
    };

struct kool_list *tmp;
struct list_head *pos, *q;
struct kool_list mylist;

list_for_each_safe(pos, q, &mylist.list){
         tmp= list_entry(pos, struct kool_list, list);
         printf("freeing item to= %d from= %d\n", tmp->to, tmp->from);
         list_del(pos);
         free(tmp);
    }

给出 q 如何帮助删除？

感谢您的帮助！

Answer 1

这是必要的，因为 list_del 在内部修改 pos 字段的值。在您的示例中，循环体甚至释放了 pos 占用的内存。假设您将使用循环的不安全版本：

for (pos = (head)->next; pos != (head); pos = pos->next)

执行循环体后，pos 指针变得无效，破坏增量表达式：pos = pos->next。

相反，安全 foreach 将 pos->next 的值预先保存在临时变量中，然后引用后者而不是取消引用 pos：

for (pos = (head)->next, n = pos->next; pos != (head); \
    pos = n, n = pos->next)

Answer 2

pos = start;
del(pos);
pos = pos->next;

与 if del() is free() 和 memset() 相反

pos = start;
n = pos->next;
del(pos);
pos = n;

， pos->next 是未定义的