Linux 中的列表条目

Question

user/include/linux/list.h

此声明：

#define list_entry(ptr, type, member) \
((type *)((char *)(ptr) – (unsigned long)(&((type *)0)->member)))

有人可以解释一下这是什么以及它是如何工作的，提前

致谢请尽可能简化你的答案，我了解Linux中的线程、进程，现在我正在探索可能性，但我对这个问题有点困惑。

Answer 1

考虑这样的两个结构：

struct data {
    int something;
};

struct container {
    int something_before;
    struct data data_item;
    int something_after;
};

假设您有一个指向 struct data 值的指针：

struct data *data_ptr;

list_entry() 宏可帮助您将 data_ptr 转换为指向保存 struct data 值的 struct 容器 值的指针，由 ptr 指向：

struct container *cont_ptr = list_entry(data_ptr, struct container, data_item);

该宏通过计算 的偏移量来工作data_item 在 struct 容器 中，并从 data_ptr 指针中减去那么多字节。当转换为struct container *时，会给出一个指向“内部”保存此特定struct数据的struct container的有效指针。

还可以使用内置的 offsetof() 宏来稍微简化该宏：

#define list_entry(ptr, type, member) \
    ((type *)((char *)(ptr) – offsetof(type, member)))

Answer 2

您可以在此处找到对此的解释：部分这是如何工作的？

Answer 3

该宏用于查找给定其成员之一的结构的地址。

因此，例如，假设您有结构：

typedef struct
{
    int i;
    int j;
} typestruct;

您需要知道的第一件事是宏的最后部分：

 &((typestruct *)0)->j

用于给出成员的偏移量。因此，它是从零内存转换为类型和成员的大小（以字节为单位）。在本例中，它是 sizeof(int)，因为 j 就在 int i 下面；因此，为了简单起见，我们假设该表达式值为 4。使用宏可以得到相同的结果

offsetof(typestruct, j);

现在我们要计算temp的地址，其中temp是typestruct temp。为此，我们简单地计算指针的地址减去成员位置。指针的地址是：

(typestruct *)((char *) &temp.j)

因此，减法是：

&temp ==  (typestruct *)((char *) &temp.j) - offsetof(typestruct, j)

或者，就像宏所说：

&temp ==  (typestruct *)((char *) &temp.j) - &((typestruct *)0)->j

你可以了解更多 此处，以及此问题。

（括号是必要的，但为了澄清而被删除）