container_of宏解析 && 为什么需要使用中间变量__mptr？

Posted 2020-07-25 penghan

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

View Code

kernel中有很多地方会用到这个宏，这个宏的作用是根据结构体中某个成员变量的指针，获取到该结构体的指针，而这个宏可以分成两步来解析它：

1. 将地址0强转成type *指针，取到成员member指针，然后再使用typeof来获取到member的类型，将结构体中变量ptr的指针保存到__mptr.

2. 使用offsetof宏获取到member变量相对于结构体type的偏移量，这样将__mptr的值减去偏移量即是结构体的地址，然后再强转即得到结构体指针。

 

从上面我们可以看到，不使用__mptr来保存ptr指针，直接用ptr指针来减偏移量不也可以达到目的么？

答案是使用_mptr的目的是在编译期间进行类型检测(第一句，赋值时如果类型不匹配会报告警)，保证传入的成员地址与成员类型是匹配的，而在运行期间则和忽略中间变量__mptr是一样的。

 

而关于offsetof宏的用法，相信看懂container_of这个宏后就可以很清晰的明白了。