从container_of到list_for_each_entry：Linux内核链表遍历的基石剖析

1. 从零理解Linux内核链表的基石

第一次看到list_for_each_entry这个宏的时候，我盯着那一行代码看了足足十分钟。当时正在调试一个内核模块，需要遍历设备链表，这个看似简单的宏却让我感到困惑——它究竟是如何通过链表节点找到完整数据结构的？后来才发现，理解它的关键在于三个层层递进的宏：offsetof、container_of和list_entry。这就像搭积木，每一块都是下一块的基础。

想象你有一本通讯录，里面只记录了每个人的电话号码（相当于链表节点），但你需要通过电话号码反查这个人的完整信息（姓名、地址等）。内核链表的设计正是解决了这类问题——它允许你只维护一个轻量级的链表结构，却能通过节点指针访问到包含它的完整数据结构。这种设计在资源有限的内核环境中尤为重要，避免了为每个数据结构重复实现链表操作。

2. offsetof：计算结构体成员偏移量的魔法

2.1 offsetof的原理解析

offsetof是这一切的起点，它的定义看起来有些吓人：

c复制#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)

这个宏的巧妙之处在于它利用了编译器对空指针的解引用特性。让我用一个生活中的例子来解释：假设你要测量一栋大楼里某个房间到楼前门的距离，最直接的方法就是从楼前门开始测量。但offsetof用了更聪明的方法——它假设整栋楼建在坐标为0的位置上（(TYPE *)0），然后直接取房间的地址，这个地址值自然就是偏移量。

具体来说：

1. 将0强制转换为TYPE*类型指针，得到一个"虚拟"的结构体起始地址
2. 用->MEMBER访问成员，得到成员的"虚拟"地址
3. 由于结构体起始地址是0，成员的地址就是偏移量
4. 最后转换为size_t类型返回

2.2 offsetof的实际应用示例

让我们用一个具体例子来说明。假设有以下结构体：

c复制struct person {
    char name[20];
    int age;
    float height;
};

要计算age成员的偏移量：

c复制size_t age_offset = offsetof(st