目前函数分析就到这里;由于篇幅限制,当中其实,还有一些很有用的函数:比如切割啊,判断是否为单链表啊等等,其实当你再了解了这些函数之后,后面的都是大同小异。可以自己在做研究,下面将重点放在list.h当中的几个很重要的宏当中。
还是顺着list.h往下看,你会看到第一宏:
#define list_entry(ptr, type, member) \
看到上面的那英文注释:获得结构体入口!!
ptr:这个参数是指向list_head 类型的指针(注意这里,很容易再代码当中用错)。
type:看到那英文解释了么?这个type可不是list_head!他是list_head嵌入的那个结构体类型。详细会给出一断源代码,帮助大家理解。
Member:这个看到名字就知道这个是结构体的一个成员。
list_entry(ptr,type,member)这个宏到底是干嘛的,是不应该看container_of这个宏是干嘛的呢?用Sorce Insight 查看,会发现他在很多文件里头都存在,他们都是一样的,这里选取**/include/linux/kernel.h当中的container_of宏来说明。
#define container_of(ptr, type, member) ({
这个宏的作用是:计算结构体成员member再结构体当中的相对位置(相对地址)。
现在想想,开头的时候,是不是看到了这个链表的结构体定义只有指针域而没有数据域?现在就是要计算出嵌入了list_head结构的结构体的数据域的地址。
Struct stu{
};
就是要根据list_head类型的结构体计算出struct stu结构体当中成员id的地址。
现在假设有如下定义:
struct stu *p;
struct list_head *r;
r = p->next;
现在我们肯定是可以直接通过p来访问struct
现在要如何才能够通过r访问的id呢?
我们将宏container_of分开成两部分来看。
a、
这里的typeof也是GNU C所拓展的。Typeof(x) 就是返回x的数据类型。我们先从最里面的括号开始看起吧,(type *)0 、先将0转化成type 类型的指针,此时地址为0x0。然后再引用member成员,即就是:
总结一下:这个就是为了定义一个member类型的指针,并且指向ptr(list_head类型)
b、
(char *)__mptr 将__mptr强制转化成char *类型,为什么转化成char* ,就是要获得__mptr指针的地址。而不是其他的类型呢?先来看offsetof这个宏吧。他被定义在/include/linux/stddef.h当中。
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
不着急,还是先从最里面的括号开始看起。(TYPE *)0)->MEMBER 这不是为了获取member么。在加个& 获得他的地址、在加上(size_t) 强制转化成size_t 类型(其实也就是 unsigned int)。现在该注意了。刚才是不是说得到了type类型的指针的地址是0x0 ? 你这里又得到了type类型指针成员member的地址。这个就是member的偏移地址吧!!
在将这两个合并起来看。将获得的__mptr指针的地址 ,减去member成员在其中的偏移量。我看就是member的地址了吧!!O(∩_∩)O~
还有一个重要的问题?就是为什么要转化成char*,而不是其他的*?char类型的数据不论在什么类型的机器上,存储方式应该只是占了一个字节?因为他的实质是ascii码。这样的话,就好理解了,对char*减一 那就是实实在在的减一个字节;但是你要是对int*减一会实实在在的减多少?是不是4?(32位机器下)。这样一来,你怎么知道他的真实地址??
可以根据下图来理解!!
下面再来看看和这个宏很类似的宏
#define list_first_entry(ptr, type, member) \
和刚才唯一的区别就是ptr所代表的意思不同了,list_entry这个宏是用来获得链表的入口的。但是这里却是为了得到链表的第一个元素。详细的不再赘述。
下来看看这个遍历宏:
#define list_for_each(pos, head) \
这里prefetch其实还是一个宏,其作用是预取。作用是使得的便利更加快速、高效、安全,我们这里基本上可以不用考虑这些问题,故,再使用的时候可以将该宏去掉。
再来看看向前遍历的宏:
#define list_for_each_prev(pos, head) \
跟上面遍历宏一样,其本质还是for循环,结束条件是遍历到了头!!
具体的双向循环链表就分析到这里,后面的还有一大堆的遍历宏,只不过也就是上面这几种宏的组合使用罢了;更有甚者,考虑了很多的安全性问题;比如:多线程、并发访问一链表等等,这些应该说在用户级别的程序不大会出现这类问题,我们大可不必注意;但是考虑到在OS当中,有很多是用到了链表;比如:在进程调度的时候,就绪队列、等等。在这个时候就不仅仅需要考虑链表的实现问题了,而且还得考虑安全问题!!