最外面的一层括号可以去掉，这是为了防止宏扩展的，去掉如下：
(type *) ((char *)(ptr)-(size_t)(&((type *)0)->member))
现在就比较清楚了，首先(type *)是C强制转换操作，就是将后面的数据转化成type结构的指针。而后面的操作可以再分解
(char *)(ptr) - (size_t)(&((type *)0)->member)
这样就是一个减法的操作，前面是一个指针，我们传过去的结构体元素的指针，这里被转化成指向字符的。而后面是一个长整形，可以再分解
(size_t) (&((type *)0)->member)
显然这个长整形是一个指针转化的，而这个指针又可以再分解，
&((type *)0)->member
可以看出这个指针是一个变量取地址得到的，这个变量又是什么呢?
((type *)0)->member
起来有点奇怪，不过这个操作是整个宏中最精妙的，他将地址0转化成type类型，接下来又取得这个结构的member元素，member就是我们传进来的参数：元素在结构体中的命名。其实((type *)0)->member取的变量是内容是什么一点都不重要，重要的我们要取这个变量的地址。取完这个地址将它转换成size_t类型，这样这个数据就是((type *)0)->member相对与地址0的偏移。回到上面的那个减法，将结构体中元素的地址与他与结构体首地址的偏移相减，便得到了结构体的地址了。
链表的遍历操作时通过一个宏来实现的：
#define list_for_each(pos, head)
for(pos = (head)->next, prefetch(pos->next);pos!=(head);
pos = pos->next,prefetch(pos->next))
其中prefetch是用于性能优化，暂时不用去管它。
从上述链表遍历宏可以看出，其只是一次获得了链表节点指针，在实际应用中，我们都需要获取链表节点所在结构体的数据项，因此，通常将list_for_each和list_entry一起使用。为此，linux的list实现提供了另外一个接口如下：
#define list_for_each_entry(pos, head, member)
for(pos = list_entry((head)->next, typeof(*pos), member);
prefetch(pos->member.next), &pos->member != (head);
pos = list_entry(pos->member.next, typeof(*pos), member))
有了这个接口，我们就可以通过链表结构来遍历我们实际的结构体数据域了。
例如，我们定义了一个结构体如下：
struct mystruct{
ElemType1 data1;
ElemType2 data2;
strcut list_head anchor;//通常我们称结构体内的链表节点为链表锚，因为它有定位的作用。
}
那么我们遍历链表的代码如下：
struct mystruct *pos;
list_for_each_entry(pos,head,anchor){
mystruct *pStruct=pos;
//do something with pStruct.....
