一 :由结构体指针进而访问各元素的原理
(1)通过结构体整体变量来访问其中各个元素,本质上是通过指针方式来访问的,形式上是通过.的方式来访问的(这时候其实是编译器自动帮我们计算了偏移量)
二:offsetof宏
(1)offsetof宏的作用是:用宏来计算结构体中某个元素和结构体首地址的偏移量(其实质是通过编译器来帮我们计算)
(2)offsetof宏的原理:虚拟一个type类型结构体变量,然后用tyoe.member的方式来访问那个member元素继而得到member相对于整个变量的首地址的偏移量
(3)逐层分析
(TYPE *)0
这是一个强制类型转换,将0强制类型转换成一个指针,这个指针指向一个TYPE类型的结构体变量(实际上结构体变量可能不存在,但是只要不去解引用这个指针就不会出错)
((TYPE *)0)->MEMBER
(TYPE *)0 是一个TYPE类型的结构体变量指针通过指针指针来访问这个结构体变量的MEMBER元素
&((TYPE *)0)->MEMBER
等效于& (((TYPE *)0)->MEMBER) 意义就是得到MEMBER元素的地址,但是因为整个结构体变量的首地址为0,所以只要用MEMBER元素的地址减去首地址就能得到偏移量
#include <stdio.h>
struct mystruct
{
int a;
char b;
short c;
};
#define offset( TYPE,MEMBER) ((int) &((TYPE *)0)->MEMBER)
int main(void)
{
struct mystruct s1;
s1.a = 12;
s1.b = 'c';
int *p = (int *) ((int *)&s1);
printf("*p = %d\n",*p);
char *p1 = (char *) ((char *)&s1+4);
printf("*p1 = %c\n",*p1);
int offseta = offset(struct mystruct,a);
printf("offseta = %d\n",offseta);
int offsetb = offset(struct mystruct,b);
printf("offsetb = %d\n",offsetb);
//通过计算得出需要得到的结构体元素的偏移量
printf("结构体变量的首地址:%p\n",&s1);
printf("s1.b的首地址:%p\n",&s1.b);
printf("偏移量 = %d\n",(char *)&s1.b - (char *)&s1);
return 0;
}
三 : container_of宏
(1)知道一个结构体某个元素的指针,反推这个结构体变量的指针,有了container_of宏,可以从一个元素的指针得到整个结构体变量的指针,继而的到结构体中其他元素的指针
#include <stdio.h>
struct mystruct
{
int a;
char b;
short c;
};
//TYPR是结构体类型,MEMBER是结构体中一个元素的元素名
//这个宏返回的是member相对于整个结构体变量的首地址的偏移量
#define offset( TYPE,MEMBER) ((int) &((TYPE *)0)->MEMBER)
//ptr是指向结构体元素member的指针,type是结构体类型,member是结构体中一个元素的元素名
//这个宏返回的就是指向整个结构体变量的指针,类型是(type *)
#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;
short *p = &(s1.c); //p就是指向结构体元素的某个member指针
printf("s1的指针等于:%p\n",&s1);
//问题是要通过p来计算得到s1的指针
*ps = container_of(ps,struct mystruct,c);
printf("ps等于:%p\n",ps);
return 0;
}
(2)typeof关键字的作用是:typeof(a)时由变量a得到a的类型,typeof就是由变量名得到变量的数据类型的
(3)这个宏的工作原理:先用typeof得到member元素的类型定义成一个指针,然后用这个指针减去该元素相对于整个结构体变量的偏移量(偏移量用offsetof宏得到的),减去之后就是整个结构体变量的首地址了,再把这个地址强制类型转化为(type *)即可
学习指南和要求:
(1)基本要求:要会两个宏的使用。这到这两个宏接收什么参数,返回什么值,会用两个宏写代码。看见其他代码出现这两个宏的能够理解它的意思
(2)升级:理解两个宏的工作原理,能表述出来(有些面试题会这么要求)
(3)更高级:能够自己写出这两个宏