内核中container_of宏的详细分析

Posted sky-heaven

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了内核中container_of宏的详细分析相关的知识，希望对你有一定的参考价值。

转自：http://blog.chinaunix.net/uid-30254565-id-5637597.html

  1. 内核中container_of宏的详细分析
  2. 16年2月28日09:00:37
  3. 内核中有一个大名鼎鼎的宏-----container_of()；这个宏定义如下所示，为了表示一下敬意，我就把注释一起粘贴下来了：
  4. /**
  5.  * container_of - cast a member of a structure out to the containing structure
  6.  * @ptr:    the pointer to the member.
  7.  * @type:    the type of the container struct this is embedded in.
  8.  * @member:    the name of the member within the struct.
  9.  *
  10.  */
  11. #define container_of(ptr, type, member) ({            
  12.     const typeof( ((type *)0)->member ) *__mptr = (ptr);    
  13.     (type *)( (char *)__mptr - offsetof(type,member) );})
  14. 先来说这个宏的意义：它根据结构体中某成员变量的指针来求出指向整个结构体的指针。指针类型从结构体某成员变量类型转换为 该结构体类型。

  16. 比如先定义一个结构体：
  17. struct test {
  18.     char name[20] ;
  19.     char i;
  20.     int j;
  21. };
  22. 假如，我们不小心知道了变量j的地址，那么我们想要通过j的地址来找到整个结构体test的地址，怎么来找呢？？？

  24. （一） offsetof宏：
  25. 结构体是一个线性存储的结构，无论在哪存放，j相对于整个结构体的地址的偏移值是不变的，于是，如果我们能够求出来这个偏移值的话，那么用j的地址减去这个偏移值不就是整个结构体的地址么～这是一个朴素的想法，内核中也确实这么做的～关键是怎么求出这个偏移值？内核的非常聪明的采取了下面的方法：
  26. #define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
  27. （1）首先通过(TYPE *)0将0转换为TYPE类型的指针；
  28. （2）((TYPE *)0)->MEMBER 访问结构中的数据成员;
  29. （3）&(((TYPE *)0)->MEMBER)取出数据成员的地址;
  30. （4）(size_t)(&(((TYPE*)0)->MEMBER))结果转换类型; 注意这里：这个&是取地址符号，不是按位与，注意运算符号的优先级。

  32. 巧妙之处在于将地址0强制类型转换成(TYPE*),结构体以内存空间首地址0作为起始地址,则各个结构体成员变量的偏移地址就等于其成员变量相对于整个结构体首地址的偏移量 。即：&(((TYPE *)0)->MEMBER)就是取出其成员变量的偏移地址，(size_t)(&(((TYPE*)0)->MEMBER))经过size_t的强制类型转换以后，其数值为结构体内的偏移量。
  33. 需要明确的一点是，地址就是地址，它没有类型之分，你把它强制转换成什么类型它就是什么类型，所以在c语言中有各种强制类型转换。
  34. 用下面的例子来说明：
  35. #include <stdio.h>

  37. struct test {
  38.     char i;
  39.     int j;
  40.     int k;
  41. };

  43. int main(int argc, char const *argv[])
  44. {
  45.     struct test *temp = 0;

  47.     printf("%p ", &(temp->j));
  48.     printf("%d ", (size_t) &(temp->j));
  49.     printf("%p ", &(temp->k));
  50.     printf("%d ", (size_t) &(temp->k));

  52.     return 0;
  53. }
  54. 运行结果是：
  55. 0x4
  56. 4
  57. 0x8
  58. 8
  59. 可以看出来，通过采用这种方式，就可以求出来结构体中成员变量相对与整个结构体首地址的偏移量。

  61. （二） container_of宏
  62. 如果理解了上面的部分，再看这个container_of宏就不是那么难了，我们先想想它怎么实现：
  63. 假设我们知道一个test类型的结构体里面的一个成员变量j的地址，那么需要先求出这个j变量相对于整个结构体地址的偏移值，然后用这个j的地址减去这个偏移值就行了。但是还有一点，这个j变量的数据类型是什么样的？这个虽然我们知道test数据类型，但是我们怎么取出来j对应的数据类型呢？这时候就用到typeof关键字了，typeof是GNU C对标准C的扩展,它的作用是根据变量获取变量的数据类型。
  64. 下面来看这些代码：
  65. #define container_of(ptr, type, member) ({            
  66.     const typeof( ((type *)0)->member ) *__mptr = (ptr);    
  67.     (type *)( (char *)__mptr - offsetof(type,member) );})
  68. 首先
  69. （1）((type *)0)->member为设计一个type类型的结构体，并且这个结构体的的起始地址为0，然后将它指向我们知道的member变量，然后通过typeof( ((type *)0)->member )来获得member对应的数据类型。
  70. （2）const typeof( ((type *)0)->member ) *__mptr = (ptr);意思是声明一个与member同一个类型的指针常量 *__mptr,并初 始化为ptr.
  71. （3）(char *)__mptr - offsetof(type,member)意思是__mptr的地址减去member在该struct中的偏移量得到的地 址, 这样得到的就是整个结构体的首地址。
  72. （4）得到首地址后还没有完，上面说了，地址只是一个地址，它没有数据类型，所以最后再进行一一次强制类型转换，转换成我们需要的type类型的，即：
  73. (type *)( (char *)__mptr - offsetof(type,member) );
  74. （5）({ })这个扩展返回程序块中最后一个表达式的值。注意这个 container_of宏是两个表达式语句的综合。 相当与顺序执行了两个语句，这时候得到的地址就是member成员所在结构体的首地址。
  75. 要注意的是代码高亮处 ,(char *)__mptr 的作用是将__mptr 强制转换为字符指针类型，必须的！！！如果__mptr为整形指针 __mptr - offset 相当于减去sizeof(int)*offset个字节！！！

  77. 下面再看一个程序来温习一下：

  79. #include <stdio.h>

  81. #define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
  82. #define container_of(ptr, type, member) ({            
  83.     const typeof( ((type *)0)->member ) *__mptr = (ptr);    
  84.     (type *)( (char *)__mptr - offsetof(type,member) );})

  86. struct test {
  87.     char name[20] ;
  88.     char i;
  89.     int j;
  90. };

  92. int main(int argc, char const *argv[])
  93. {
  94.     struct test temp = {"zer0", ‘a‘, 26};

  96.     printf("&temp = %p. ", &temp);
  97.     printf("&temp.i = %p. ", &temp.i);
  98.     printf("&temp.j = %p. ", &temp.j);
  99.     printf("offset of i = %d. ", offsetof(struct test, i));
  100.     printf("offset of j = %d. ", offsetof(struct test, j));
  101.     printf("&temp = %p. ", container_of(&temp.i, struct test, i));
  102.     printf("&temp = %p. ", container_of(&temp.j, struct test, j));

  104.     struct test *tmp = container_of(&temp.i, struct test, i);
  105.     printf("tmp->name : %s, tmp->i : %c, tmp->j : %d. ", tmp->name, tmp->i,                                             tmp->j);
  106.     return 0;
  107. }

  109. 运行结果如下所示：
  110. &temp = 0xbf8b41b0.
  111. &temp.i = 0xbf8b41c4.
  112. &temp.j = 0xbf8b41c8.
  113. offset of i = 20.
  114. offset of j = 24.
  115. &temp = 0xbf8b41b0.
  116. &temp = 0xbf8b41b0.
  117. tmp->name : zer0, tmp->i : a, tmp->j : 26.

以上是关于内核中container_of宏的详细分析的主要内容，如果未能解决你的问题，请参考以下文章

linux内核中的offsetof与container_of宏

侵入式单链表的简单实现(cont)

嵌入式开发知识点总结

Linux内核中的常用宏container_of

神奇的container_of()宏

container_of