0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

详细剖析内核究竟是如何求解结构体成员变量的地址

Linux爱好者 来源:嵌入式与Linux那些事 作者:仲一 2021-10-20 15:46 次阅读

今天我们来详细剖析下内核到底是如何求解结构体成员变量的地址的

  • 1. 结构体在内存中是如何存储的

  • 2. container_of宏

  • 3. typeof

  • 4. (((type *)0)->member)

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

  • 6. offsetof(type, member))

  • 7. (type * )((char * )__mptr - offsetof(type, member))

  • 8. 举例

1. 结构体在内存中是如何存储的

intmain()
{

Studentstu;
stu.id=123456;
strcpy(stu.name,"feizhufeifei");
stu.math=90;
stu.PE=80;
printf("Student:%p
",&stu);
printf("stu.ID:%p
",&stu.ID);
printf("stu.name:%p
",&stu.name);
printf("stu.math:%p
",&stu.math);
return0;
}

  打印结果如下:

//结构体的地址
Student:0xffffcbb0
//结构体第一个成员的地址
stu.ID:0xffffcbb0//偏移地址+0
stu.name:0xffffcbb4//偏移地址+4
stu.math:0xffffcbd4//偏移地址+24

  我们可以看到,结构体的地址和结构体第一个成员的地址是相同的。这也就是我们之前在拒绝造轮子!如何移植并使用Linux内核的通用链表(附完整代码实现)中提到的为什么在结构体中要把struct list_head放在首位。

不太理解的再看下这两个例子:

struct A { int a; char b; int c; char d; };a 偏移为 0 , b 偏移为 4 , c 偏移为 8 (大于 4 + 1 的 4 的最小整数倍), d 偏移为 12 。A 对齐为 4 ,大小为 16 。

struct B { int a; char b; char c; long d; };a 偏移为 0 , b 偏移为 4 , c 偏移为 5 , d 偏移为 8 。B 对齐为 8 , 大小为 16 。

  我们可以看到,结构体中成员变量在内存中存储的其实是偏移地址。也就是说结构体A的地址+成员变量的偏移地址 = 结构体成员变量的起始地址

  因此,我们也可以根据结构体变量的起始地址和成员变量的偏移地址来反推出结构体A的地址。

2. container_of宏

#defineoffsetof(TYPE,MEMBER)((size_t)&((TYPE*)0)->MEMBER)
#definecontainer_of(ptr,type,member)({
consttypeof(((type*)0)->member)*__mptr=(ptr);
(type*)((char*)__mptr-offsetof(type,member));})

  首先看下三个参数, ptr是成员变量的指针, type是指结构体的类型, member是成员变量的名字。

  container_of宏的作用是通过结构体内某个成员变量的地址和该变量名,以及结构体类型,找到该结构体变量的地址。这里使用的是一个利用编译器技术的小技巧,即先求得结构成员在结构中的偏移量,然后根据成员变量的地址反过来得出主结构变量的地址。下面具体分析下各个部分。

3. typeof

  首先看下typeof,是用于返回一个变量的类型,这是GCC编译器的一个扩展功能,也就是说typeof是编译器相关的。既不是C语言规范的所要求,也不是某个标准的一部分。

typeof

intmain()
{
inta=5;
//这里定义一个和a类型相同的变量b
typeof(a)b=6;
printf("%d,%d
",a,b);//56
return0;
}

4. (((type *)0)->member)

  ((TYPE *)0)将0转换为type类型的结构体指针,换句话说就是让编译器认为这个结构体是开始于程序段起始位置0,开始于0地址的话,我们得到的成员变量的地址就直接等于成员变量的偏移地址了。

  (((type *)0)->member)引用结构体中MEMBER成员。

typedefstructstudent{
intid;
charname[30];
intmath;
}Student;
intmain()
{
//这里时把结构体强制转换成0地址,然后打印name的地址。
printf("%d
",&((Student*)0)->name);//4
return0;
}

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

   这句代码意思是用typeof()获取结构体里member成员属性的类型,然后定义一个该类型的临时指针变量__mptr,并将ptr所指向的member的地址赋给__mptr;

  为什么不直接使用 ptr 而要多此一举呢?我想可能是为了避免对 ptr 及prt 指向的内容造成破坏。

6. offsetof(type, member))

((size_t)&((TYPE*)0)->MEMBER)

  size_t是标准C库中定义的,在32位架构中被普遍定义为:

typedefunsignedintsize_t;

  而在64位架构中被定义为:

typedefunsignedlongsize_t;

  可以从定义中看到,size_t是一个非负数,所以size_t通常用来计数(因为计数不需要负数区):

for(size_ti=0;i<300;i++)

  为了使程序有很好的移植性,因此内核使用size_t,而不是int,unsigned。((size_t) &((TYPE*)0)->MEMBER)结合之前的解释,我们可以知道这句话的意思就是求出MEMBER相对于0地址的一个偏移值。

7. (type * )((char * )__mptr - offsetof(type, member))

   这句话的意思就是,把 __mptr 转换成 char* 类型。因为 offsetof 得到的偏移量是以字节为单位。两者相减得到结构体的起始位置, 再强制转换成 type 类型。

8. 举例

#defineoffsetof(TYPE,MEMBER)((size_t)&((TYPE*)0)->MEMBER)
#definecontainer_of(ptr,type,member)({
consttypeof(((type*)0)->member)*__mptr=(ptr);
(type*)((char*)__mptr-offsetof(type,member));})

typedefstructstudent
{
intid;
charname[30];
intmath;
}Student;

intmain()
{
Studentstu;
Student*sptr=NULL;
stu.id=123456;
strcpy(stu.name,"zhongyi");
stu.math=90;
sptr=container_of(&stu.id,Student,id);
printf("sptr=%p
",sptr);
sptr=container_of(&stu.name,Student,name);
printf("sptr=%p
",sptr);
sptr=container_of(&stu.math,Student,id);
printf("sptr=%p
",sptr);
return0;
}

  运行结果如下:

sptr=0xffffcb90
sptr=0xffffcb90
sptr=0xffffcbb4

  宏展开可能会看的更清楚一些

intmain()
{
Studentstu;
Student*sptr=NULL;
stu.id=123456;
strcpy(stu.name,"zhongyi");
stu.math=90;
//展开替换
sptr=({constunsignedchar*__mptr=(&stu.id);(Student*)((char*)__mptr-((size_t)&((Student*)0)->id));});
printf("sptr=%p
",sptr);
//展开替换
sptr=({constunsignedchar*__mptr=(&stu.name);(Student*)((char*)__mptr-((size_t)&((Student*)0)->name));});
printf("sptr=%p
",sptr);
//展开替换
sptr=({constunsignedint*__mptr=(&stu.math);(Student*)((char*)__mptr-((size_t)&((Student*)0)->math));});
printf("sptr=%p
",sptr);
return0;
}
编辑:jq
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 内核
    +关注

    关注

    3

    文章

    1309

    浏览量

    39833
  • 程序
    +关注

    关注

    114

    文章

    3629

    浏览量

    79495
  • 编译器
    +关注

    关注

    1

    文章

    1570

    浏览量

    48598

原文标题:Linux 内核中 container_of 宏的详细解释

文章出处:【微信号:LinuxHub,微信公众号:Linux爱好者】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    STM32擦除后数据究竟是0x00还是0xff ?

    STM32擦除后数据究竟是0x00还是0xff ,百度查了许多发现大多数都是0xff的多,都说SD卡(TF)储存介质是Flash 所以擦除后为0xff,但是我遇到了读出来的数据是0x00的情况,为什么呢
    发表于 04-18 07:59

    MOSFET的栅源振荡究竟是怎么来的?栅源振荡的危害什么?如何抑制

    MOSFET的栅源振荡究竟是怎么来的呢?栅源振荡的危害什么?如何抑制或缓解栅源振荡的现象呢? MOSFET(金属-氧化物-半导体场效应晶体管)的栅源振荡是指在工作过程中,出现的栅极与源极之间产生
    的头像 发表于 03-27 15:33 419次阅读

    吸尘器究竟是如何替你“吃灰”的【其利天下技术】

    如今,吸尘器已成为大多数人居家必备的小家电产品,那么说起吸尘器,你对吸尘器有了解多少呢?不知道大家知不知道它的原理是什么?今天我们就来说一说吸尘器究竟是如何替你“吃灰”的。
    的头像 发表于 03-07 21:17 534次阅读
    吸尘器<b class='flag-5'>究竟是</b>如何替你“吃灰”的【其利天下技术】

    “其貌不扬”的共模电感究竟是如何做到抗干扰的呢?

    “其貌不扬”的共模电感究竟是如何做到抗干扰的呢? 共模电感是一种用于滤除电子设备中的共模噪声的重要元件,其主要作用是提供阻抗来滤除共模干扰信号。尽管外观看起来“其貌不扬”,但共模电感通过其特殊
    的头像 发表于 01-11 16:27 200次阅读

    同步电机的转数同步究竟是与什么同步啊?

    同步电机的转数同步究竟是与什么同步啊? 所有的同步电机的转数都一样吗?还是与电机的极对数有关系呢?
    发表于 12-19 06:44

    半导体内部电荷运动的机制究竟是什么呢?

    半导体内部电荷运动的机制究竟是什么呢? 半导体材料的内部电荷运动机制是半导体物理学和固体物理学的重要研究领域之一。在这篇文章中,我们将详细、真实地探讨半导体内部电荷运动的机制,从电子的能带结构
    的头像 发表于 11-30 11:28 334次阅读

    一体成型贴片电感在使用中发热究竟是否会影响运行

    电子发烧友网站提供《一体成型贴片电感在使用中发热究竟是否会影响运行.docx》资料免费下载
    发表于 11-13 16:28 1次下载

    OSPF究竟是如何规避路由环路的呢?

    OSPF究竟是如何规避路由环路的呢? OSPF(开放式最短路径优先)是一种内部网关协议(IGP),用于在一个单一的自治系统(AS)内进行路由选择,它是一种链路状态协议(LSP)。在OSPF中,路由器
    的头像 发表于 11-06 11:10 958次阅读

    求助,结构变量定义引用问题求解

    |= mask; } 如以上语句,GPIO_Type是个结构定义,定义了一个*base变量,在引用其中的成员时,是base->IMR的方式。这怎么理解; 如果是
    发表于 10-27 06:06

    FAQ0066结构成员未完全初始化导致程序异常的解决方法

    使用非官方程序,由于某些外设驱动在配置结构时,未完全初始化所有成员,导致程序运行异常。以 FSMC 为例,FSMC_NORSRAMInitStructure 结构
    发表于 10-20 06:59

    C语言中的结构指针在访问的时候怎么读取成员变量的数据?

    C语言中的结构指针在访问的时候怎么读取成员变量的数据
    发表于 10-10 07:07

    开关电源炸机究竟是什么原因呢

    电源工程师最怕什么?炸机!炸机的状况总会成为他们心里说不出的“痛”,里面昂贵的元器件如果出现炸机状况,那么在设计过程中的成本就会大幅提升。那么问题来了,开关电源炸机究竟是什么原因呢?炸机的原因有很多
    的头像 发表于 09-05 08:10 818次阅读
    开关电源炸机<b class='flag-5'>究竟是</b>什么原因呢

    SVPWM调制波的数学表达究竟是怎样的呢?

    SVPWM可以通过载波比较的方法实现开关控制信号输出。那SVPWM的调制波的数学表达究竟是怎样的呢?答案是SVPWM实质是一种对在三相正弦波中注入了零序分量的调制波进行规则采样的一种变形 SPWM。
    发表于 07-10 17:16 955次阅读
    SVPWM调制波的数学表达<b class='flag-5'>究竟是</b>怎样的呢?

    结构成员变量的引用方法123

    这里采用的是常用的typedef关键字进行定义结构体类型,可以看到student_t这种数据类型里面有4个成员变量,分别是学号、姓名、分数、年龄,这些成员
    的头像 发表于 07-08 14:45 1634次阅读
    <b class='flag-5'>结构</b>体<b class='flag-5'>成员</b><b class='flag-5'>变量</b>的引用方法123

    请问NTC热敏电阻的B值究竟是什么东西呢?

    请问NTC热敏电阻的B值究竟是什么东西呢?
    发表于 04-23 10:29