offsetof宏与container_of宏
通过结构体整体变量来访问其中各个元素,本质上是通过指针方式来访问的,形式上是通过.的方式来访问的(这时候其实是编译器帮我们自动计算了偏移量)。
offoset宏
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE*)0)->MEMBER)
(1)offsetof宏的作用是:用宏来计算结构体中某个元素和结构体首地址的偏移量(其实质是通过编译器来帮我们计算)。
(2)offsetof宏的原理:我们虚拟一个type类型结构体变量,然后用type.member的方式来访问那个member元素,继而得到member相对于整个变量首地址的偏移量。
(3)学习思路:第一步先学会用offsetof宏,第二步再去理解这个宏的实现原理。
(TYPE *)0 这是一个强制类型转换,把0地址强制类型转换成一个指针,这个指针指向一个TYPE类型的结构体变量。(实际上这个结构体变量可能不存在,但是只要我不去解引用这个指针就不会出错)。
((TYPE )0)->MEMBER (TYPE )0是一个TYPE类型结构体变量的指针,通过指针指针来访问这个结构体变量的member元素
&((TYPE )0)->MEMBER 等效于&(((TYPE )0)->MEMBER),意义就是得到member元素的地址。但是因为整个结构体变量的首地址是0。
代码举例
#include <stdio.h>
struct mystruct
{
char a;
int b;
short c;
};
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)4)->MEMBER)//此处把0变成了4
int main(void)
{
struct mystruct s1;
s1.b = 12;
int offsetofa = offsetof(struct mystruct, a);
printf("offsetofa = %d.\n", offsetofa-4);
int offsetofb = offsetof(struct mystruct, b);
printf("offsetofb = %d.\n", offsetofb-4);
int offsetofc = offsetof(struct mystruct, c);
printf("offsetofc = %d.\n", offsetofc-4);
printf("整个结构体变量的首地址:%p.\n", &s1);
printf("s1.b的首地址:%p.\n", &(s1.b));
printf("offset:%d.\n", (char *)&(s1.b) - (char *)&s1);
return 0;
}
offsetofa = 0.
offsetofb = 4.
offsetofc = 8.
整个结构体变量的首地址:00000000022FE30.
s1.b的首地址:00000000022FE34.
offset:4.
为了让学习者搞清楚
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
中的0的含义,所以我在上面的事例中没有用0,而是替换成了4。其实我们这里取任何数都是可以的,但是为了快速得到偏移量,所以我们取了0这个地址。
那很多学者就要问了,0这个地址相当于NULL,又或者你把它换成了4这个地址,你怎么你能访问这些地址呢?
事实在博客一开头就说明了:把0地址强制类型转换成一个指针,这个指针指向一个TYPE类型的结构体变量。(实际上这个结构体变量可能不存在,但是只要我不去解引用这个指针就不会出错)。
所以工程师们正常使用offset宏时,是这么使用的
#include <stdio.h>
struct mystruct
{
char a;
int b;
short c;
};
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
int main(void)
{
struct mystruct s1;
s1.b = 12;
int offsetofa = offsetof(struct mystruct, a);
printf("offsetofa = %d.\n", offsetofa);
int offsetofb = offsetof(struct mystruct, b);
printf("offsetofb = %d.\n", offsetofb);
int offsetofc = offsetof(struct mystruct, c);
printf("offsetofc = %d.\n", offsetofc);
printf("整个结构体变量的首地址:%p.\n", &s1);
printf("s1.b的首地址:%p.\n", &(s1.b));
printf("offset:%d.\n", (char *)&(s1.b) - (char *)&s1);
return 0;
}
offsetofa = 0.
offsetofb = 4.
offsetofc = 8.
整个结构体变量的首地址:00000000022FE30.
s1.b的首地址:00000000022FE34.
offset:4.
container_of宏
**#define container_of(ptr, type, member) ({ \
const typeof( ((type *)0)->member ) *__mptr = (ptr); \
(type )( (char )__mptr - offsetof(type,member) );})**
(1)作用:知道一个结构体中某个元素的首地址,反推这个结构体变量的首地址。有了container_of宏,我们可以从一个元素的地址得到整个结构体变量的地址,继而得到结构体中其他元素的地址。 (2)typeof关键字的作用是:typepef(a)时由变量a得到a的类型,typeof就是由变量名得到变量数据类型的。 (3)这个宏的工作原理:先用typeof得到member元素的类型定义成一个指针,然后用这个指针减去该元素相对于整个结构体变量的偏移量(偏移量用offsetof宏得到的),减去之后得到的就是整个结构体变量的首地址了,再把这个地址强制类型转换为type *即可。
#include <stdio.h>
struct mystruct
{
char a;
int b;
short c;
};
#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)); })
int main(void)
{
struct mystruct s1;
struct mystruct *pS = NULL;//定义一个指针用来承接被container_of宏加工之后的地址
short *p = &(s1.c); // p就是指向结构体中某个member的指针
printf("s1的指针等于:%p.\n", &s1);
pS = container_of(p, struct mystruct, c);// 通过p来计算得到s1的指针
printf("pS等于:%p.\n", pS);
return 0;
}
s1的指针等于:000000000022FE20.
pS等于:00000000022FE1C..
很多人觉得这个不够直观!但是上面的这个程序有利于你对结构体的了解更深一个层次
不多说,上直观的代码!
#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)); })
struct mystruct
{
char a;
int b;
short c;
};
int main(void)
{
struct mystruct *test_struct;//需要定义一个结构体指针来承接container_of宏之后的地址指针
struct mystruct init_struct={'y',120,20};
short *c_to = &(init_struct.c);
test_struct = container_of(c_to, struct mystruct, c);//等效于test_struct = container_of(&(init.c), struct mystruct, c);
//container_of(ptr, type, member)
//包含在结构中的指针获得结构本身的指针,通俗地讲就是通过结构体变量中某个成员的首地址进而获得整个结构体变量的首地址。
//ptr:结构体变量中某个成员的首地址
//type:相当于锁定具体的结构体
//member:结构体变量中某个成员
printf("test_struct->a =%c\n",test_struct->a);
printf("test_struct->b =%d\n",test_struct->b);
printf("test_struct->c =%d\n",test_struct->c);
return 0;
}
test_struct->a) =y
test_struct->b) =120
test_struct->c) =10
**如果仔细学习了上面的这些,学习者应该能掌握大部分的知识点,学习知识最重要的是思路:为什么这么分析?还可以怎么分析?这样分析的好处是什么?那样呢?
学习者应该学习多篇相关知识点的博客,以达到拓展分析面与知识面的效果!
与君共勉!**