关于container_of实现的一点疑问

arethe

container_of宏在Linux内核中的地位比较高，通过它可以利用成员变量的指针获取结构体的指针。kernel中的实现如下：

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

复制代码

但是，为什么要设置一个中间变量__mptr呢？下面的这段代码也能工作：

1. 
   
2. 645 #define container_of(ptr, type, member) ({                      \
   
3. 647         (type *)( (char *)ptr - offsetof(type,member) );})
   

复制代码

瀚海书香

回复 1# arethe

没看出有什么问题啊
难道是为了代码比较易读？？

embeddedlwp

1. const typeof( ((type *)0)->member ) *__mptr = (ptr);
   

复制代码

这句主要进行类型检查ptr 必须与member的类型一致，比如：

1. #include <stdio.h>
   
2. 
   
3. int main()
   
4. {
   
5.     char* p;
   
6.     int b = 5;
   
7.     int* a = b;
   
8.     p = a;
   
9.     return 0;   
   
10. }
    

复制代码

会报错的！

xparmenides

应该是考虑到类型检查，防止传进来的ptr类型与*member的类型不一致。