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

    文章

    1362

    浏览量

    40197
  • 程序
    +关注

    关注

    116

    文章

    3768

    浏览量

    80789
  • 编译器
    +关注

    关注

    1

    文章

    1617

    浏览量

    49021

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

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

收藏 人收藏

    评论

    相关推荐

    PCM1861 INT脚究竟是输出还是输入?

    这个芯片activce或是idle. 是否有人解释下,INT脚究竟是输出还是输入。我希望是输出,我需要读取到是否有analog audio输入的信息。 或者,输入输出与否还要靠其他什么地方设置? 盼望有人回复解答,不胜感激!
    发表于 10-29 07:29

    超高频读写器究竟是什么,能做什么?一文读懂!

    在物联网技术日新月异的今天,超高频读写器作为射频识别(RFID)技术的重要组成部分,正逐渐渗透到我们生活的各个领域。那么,超高频读写器究竟是什么?它又能做些什么呢?本文将带您一探究竟。一、超高频
    的头像 发表于 10-23 14:41 132次阅读
    超高频读写器<b class='flag-5'>究竟是</b>什么,能做什么?一文读懂!

    滑模变结构控制 究竟是甚么来着?!

    前些年,滑模变结构控制这词儿甚嚣尘上, 这两个电路,都可直接付诸实用,但想要做到滑模控制,这样的架构是不行的,肯定要添加至少十只三极管吧?!
    发表于 10-16 01:50

    揭秘贴片功率电感发烫究竟是不是烧坏了

    电子发烧友网站提供《揭秘贴片功率电感发烫究竟是不是烧坏了.docx》资料免费下载
    发表于 09-30 14:44 0次下载

    电感器线径究竟是粗好还是细好

    电子发烧友网站提供《电感器线径究竟是粗好还是细好.docx》资料免费下载
    发表于 09-20 11:25 0次下载

    tas5756m使用GPIO口加内部PLL产生MCLK的方法究竟是怎么样的?

    tas5756m使用GPIO口加内部PLL产生MCLK的方法究竟是怎么样的?
    发表于 08-19 06:06

    请问esp-idf&amp;vscode结构索引不到对应的成员如何解决?

    兄弟们,我用VSCode 初始化结构时,索引不到对应的成员,并且索引会出现不属于结构体内的东西,有解决办法吗,球球了
    发表于 06-14 06:42

    你是否真的了解结构占用了多少字节?

    结构成员所占内存空间大小一般情况下,如果想知道结构成员的内存占用情况需要:1、先用
    的头像 发表于 06-04 08:04 364次阅读
    你是否真的了解<b class='flag-5'>结构</b><b class='flag-5'>体</b>占用了多少字节?

    请问cH340G的TX引脚电平究竟是3v还是5v?

    用CD34G来实现usb转串口的时候,直接用usb口的5v作为电源电压,它的tx引脚输出的高电平究竟是5v还是3v,我实测是3v,但网上有的人是5v,想进一步得到大家的确认。
    发表于 05-14 08:15

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

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

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

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

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

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

    结构与指针的关系

    在C语言中,结构(Struct)是一种用户自定义的数据类型,它允许您将不同类型的数据项组合在一起,以便形成一个更复杂的数据结构结构可以
    的头像 发表于 01-11 08:00 921次阅读
    <b class='flag-5'>结构</b><b class='flag-5'>体</b>与指针的关系

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

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

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

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