linux的宏定义提高了代码的简洁性，但有时候的命名不够完美。比如list_for_each_entry，看名字只知道是遍历list，但一看里面的三个变量参数，有点懵逼。
/**
* list_for_each_entry - iterate over list of given type
* @pos: the type * to use as a loop cursor.
* @head: the head for your list.
* @member: the name of the list_head within the struct.
*/
#define list_for_each_entry(pos, head, member) \
for (pos = list_first_entry(head, typeof(*pos), member); \
!list_entry_is_head(pos, head, member); \
pos = list_next_entry(pos, member))
谁是given type？ 被遍历的是谁？咋看看不出来。
/**
* list_first_entry - get the first element from a list
* @ptr: the list head to take the element from.
* @type: the type of the struct this is embedded in.
* @member: the name of the list_head within the struct.
*
* Note, that list is expected to be not empty.
*/
#define list_first_entry(ptr, type, member) \
list_entry((ptr)->next, type, member)
这个宏的comments解释说是获取一个list的第一个元素。 但是一看宏定义有点懵，怎么又来一个宏在里面？
/**
* list_entry - get the struct for this entry
* @ptr: the &struct list_head pointer.
* @type: the type of the struct this is embedded in.
* @member: the name of the list_head within the struct.
*/
#define list_entry(ptr, type, member) \
container_of(ptr, type, member)
这个宏定义看解释是获取当前entry的所属结构体，又来一个宏：
-
/**
-
* container_of - cast a member of a structure out to the containing structure
-
* @ptr: the pointer to the member.
-
* @type: the type of the container struct this is embedded in.
-
* @member: the name of the member within the struct.
-
*
-
* WARNING: any const qualifier of @ptr is lost.
-
*/
-
#define container_of(ptr, type, member) ({ \
-
void *__mptr = (void *)(ptr); \
-
static_assert(__same_type(*(ptr), ((type *)0)->member) || \
-
__same_type(*(ptr), void), \
-
"pointer type mismatch in container_of()"); \
-
((type *)(__mptr - offsetof(type, member))); })
此宏就是，给了一个结构体变量的其中成员变量，而获取此结构体变量的地址。ptr是成员变量地址，type是结构体类型，member是成员变量在结构体声明里的名字称谓。
所以说 list_entry 是获取ptr所属的结构体地址。list_first_entry 是获取(ptr)->next 所在结构体的地址，
而list_for_each_entry里面还有宏：
/**
* list_entry_is_head - test if the entry points to the head of the list
* @pos: the type * to cursor
* @head: the head for your list.
* @member: the name of the list_head within the struct.
*/
#define list_entry_is_head(pos, head, member) \
(&pos->member == (head))
这个宏名字取的更敷衍。解释内容说是为了验证是不是list的头指针。 看代码是验证pos这个结构体的成员member地址是不是和head一样。
再看另外一个宏：
/**
* list_next_entry - get the next element in list
* @pos: the type * to cursor
* @member: the name of the list_head within the struct.
*/
#define list_next_entry(pos, member) \
list_entry((pos)->member.next, typeof(*(pos)), member)
解释内容说是获取list的下一个成员指针，看代码是获取(pos)->member.next 所在结构体的地址。
这样整体来看：
#define list_for_each_entry(pos, head, member) \
for (pos = list_first_entry(head, typeof(*pos), member); \ //获取head->next所在结构体地址给pos
!list_entry_is_head(pos, head, member); \//判断pos的member成员地址是否和head一样，如果一样，就跳出循环
pos = list_next_entry(pos, member)) //获取(pos)->member.next 所在结构体的地址
综上所述，这里遍历了一个循环链表，表头是head，但是似乎head没被拿来遍历到？直接从head->next开始的？遍历到再次碰到head的地址就结束了，即表明遍历了一圈了。 member就是链表个成员（链表类型地址）内含的内容地址。这里head为什么是废弃的？