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*类型
关于 offsetof(TYPE, MEMBER)
该宏在Linux内核代码(版本2.6.22)中定义如下:
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER);
分析:
(TYPE *)0,将 0 强制转换为 TYPE 型指针,记 p = (TYPE *)0,p是指向TYPE的指针,它的值是0。那么 p->MEMBER 就是 MEMBER 这个元素了,而&(p->MEMBER)就是MENBER的地址,而基地址为0,这样就巧妙的转化为了TYPE中的偏移量。再把结果强制转换为size_t型的就OK了,size_t其实也就是int。
typedef __kernel_size_t size_t;
typedef unsigned int __kernel_size_t;
可见,该宏的作用就是求出MEMBER在TYPE中的偏移量。