linux中container_of

linux中container_of(ptr, type, member)宏的作用是传入结构体类型type的域member地址ptr，返回该结构体变量的首地址，定义如下：

#define container_of(ptr, type, member) ({   \
          const typeof( ((type *)0)->member ) *__mptr = (ptr); \
          (type *)( (char *)__mptr - offsetof(type,member) );})

 

这个宏里面有2处事GNU C独有的特性：

1：typeof(x)的意思是取x的类型，GNU C支持而ANSI C不支持

2：GNU C把包含在括号里的复合语句看做是一个表达式，称为语句表达式，它可以出现在任何允许表达式的地方。我们可以在语句表达式中使用原本只能在复合语句中使用的循环变量、局部变量等

例如int aa = ({3; 43-5;});使用不支持GNU C的编译器会报错，而使用gcc会得到aa为38
利用GNU C的这种特性，我们可以避免一些宏定义产生副作用，如使用

#define min_t(type,x,y) \
                ({type __x=(x); type __y=(y);__x<__y?__x:__y})
代替

#define min(x,y) ((x)<(y)?(x):(y))
可避免传入min(a++,b++)产生副作用

 

下面具体分析这个container_of的实现：

1：const typeof( ((type *)0)->member ) *__mptr = (ptr);定义一个和member相同类型的变量__mptr，并把member地址赋给它

 

2：#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
宏的作用是传入结构体类型TYPE和其中的域MEMBER，返回该域在结构体中的偏移地址

 

3：(type *)( (char *)__mptr - offsetof(type,member) );得到结构体的首地址，并强制转换成type*类型

 

 

测试程序如下：
#include <stdio.h>

#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)

#define container_of(ptr, type, member) ({   \
          const typeof( ((type *)0)->member ) *__mptr = (ptr); \
          (type *)( (char *)__mptr - offsetof(type,member) );})

typedef struct CONTAIN_s
{
 char a;
 int b;
 char c[10];
}CONTAIN_t;

int main(void)
{
 CONTAIN_t *pcon;
 CONTAIN_t con = {'3', 4, "abc"};
 pcon = container_of(&con.b, CONTAIN_t, b);

 printf("addr &con %p, addr pcon %p\n", &con, pcon);

 return 0;
}

输出：addr &con 0xbfd4bad8, addr pcon 0xbfd4bad8

typeof关键字的用法

http://www.cublog.cn/u3/101356/showart_2081601.html

转自：http://rookieubuntu.blog.sohu.com/179419212.html