container_of 详解

本文介绍container_of的实现及用法，部分内容转载自：点击打开链接

container_of实现了根据一个结构体变量中的一个域成员变量的指针来获取指向整个结构体变量的指针的功能。

#define container_of(ptr, type, member)({             /
        const typeof( ((type *)0)->member ) *__mptr = (ptr);    /
        (type *)( (char *)__mptr - offsetof(type,member) );})
关于offsetof见stddef.h中:

#define offsetof(TYPE, MEMBER) ((size_t)&((TYPE *)0)->MEMBER)
TYPE是某struct的类型 ，0是一个假想TYPE类型struct,MEMBER是该struct中的一个成员.由于该struct的基地址为0,MEMBER的地址就是该成员相对与struct头地址的偏移量.

关于typeof,这是gcc的C语言扩展保留字,用于声明变量类型.
const typeof( ((type *)0->member ) *__mptr =(ptr);意思是声明一个与member同一个类型的指针常量 *__mptr,并初始化为ptr.
(type *)( (char *)__mptr - offsetof(type,member));意思是__mptr的地址减去member在该struct中的偏移量得到的地址,再转换成type型指针.该指针就是type 结构体的入口地址了.它的作用显而易见，那就是根据一个结构体变量中的一个域成员变量的指针来获取指向整个结构体变量的指针。比如，有一个结构体变量，其定义如下：

   struct demo_struct {
      type1 member1;
     type2 member2;
    type3 member3;
   type4 member4;};
  struct demo_struct demo;
同时，在另一个地方，获得了变量demo中的某一个域成员变量的指针，比如：
   type3 *memp =get_member_pointer_from_somewhere();
此时，如果需要获取指向整个结构体变量的指针，而不仅仅只是其某一个域成员变量的指针，我们就可以这么做：
   struct demo_struct *demop =container_of(memp, struct demo_struct, member3);
首先，我们将container_of(memp,struct demo_struct, type3)根据宏的定义进行展开如下：
    struct demo_struct *demop =({                     /
       const typeof(((struct demo_struct *)0)->member3 ) *__mptr = (memp);    /
   (struct demo_struct *)( (char*)__mptr - offsetof(struct demo_struct, member3) );})
其中，typeof是GNU C对标准C的扩展，它的作用是根据变量获取变量的类型。因此，上述代码中的第2行的作用是首先使用typeof获取结构体域变量member3的类型为 type3，然后定义了一个type3指针类型的临时变量__mptr，并将实际结构体变量中的域变量的指针memp的值赋给临时变量__mptr。
假设结构体变量demo在实际内存中的位置如下图所示：
     demo
 +-------------+ 0xA000
 |  member1             |
 +-------------+ 0xA004
 |   member2            |
 |                               |
 +-------------+ 0xA010
 |  member3            |
 |                               |
 +-------------+ 0xA018
 |  member4            |
 +-------------+

则在执行了上述代码的第2行之后__mptr的值即为0xA010。
再看上述代码的第3行，其中需要说明的是offsetof，它定义在include/linux/stddef.h中，其定义如下：
   #define offsetof(TYPE, MEMBER)((size_t) &((TYPE *)0)->MEMBER)
同样，我们将上述的offsetof调用展开，即为：
    (struct demo_struct *)( (char *)__mptr -((size_t) &((struct demo_struct *)0)->member3) );
可见，offsetof的实现原理就是取结构体中的域成员相对于地址0的偏移地址，也就是域成员变量相对于结构体变量首地址的偏移。
因此，offsetof(structdemo_struct, member3)调用返回的值就是member3相对于demo变量的偏移。结合上述给出的变量地址分布图可知，offsetof(struct demo_struct, member3)将返回0x10。
于是，由上述分析可知，此时，__mptr==0xA010，offsetof(struct demo_struct, member3)==0x10。
因此， (char *)__mptr -((size_t) &((struct demo_struct *)0)->member3) == 0xA010 - 0x10 ==0xA000，也就是结构体变量demo的首地址（如上图所示）。

ps:linux 内核中链表文件list.h中非常重要的一个宏list_entry，实际上也是调用的container_of宏。

/**
 * 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_struct within the struct.
 */
#define list_entry(ptr, type, member) \
container_of(ptr, type, member)