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
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 内核
    +关注

    关注

    4

    文章

    1436

    浏览量

    42489
  • 程序
    +关注

    关注

    117

    文章

    3836

    浏览量

    84760
  • 编译器
    +关注

    关注

    1

    文章

    1669

    浏览量

    51079

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

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

收藏 人收藏
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    共用声明

    共用也称联合体。 和结构还是有点像: union 共用名称 { 成员1; 成员2
    发表于 12-05 07:24

    为什么不建议用匿名结构

    说起匿名结构,想必大家第一感觉就是看着好高大上的名字,但实际上也就那样。 typedef struct { union { struct { uint8_t bit_0:1
    发表于 12-04 07:39

    UV三防漆的优缺点大起底!是效率神器还是局限陷阱?

     UV三防漆以其“秒干”的黑科技闻名于电子制造圈,但它真的是完美无缺的吗?任何材料的选择都是一场权衡。本文将彻底剖析UV三防漆的优缺点,帮助您精准判断:它究竟是提升您生产效率的利器,还是可能带来麻烦的“娇气”选手?
    的头像 发表于 11-15 17:22 162次阅读
    UV三防漆的优缺点大起底!是效率神器还是局限陷阱?

    C语言结构使用

    有时候需要将不同类型的数据组合为一个整体,以便于引用。例如,一名学生有学号、姓名、性别、年龄等属性,如果针对每个属性都单独定义一个变量,那么当有多名学生时变量就难以分清。结构就是用来
    发表于 11-12 08:30

    qkey软件包在内核V5.02下运行出错是哪里的问题?

    ) == RT_Object_Class_Memory) assertion failed at function:rt_smem_alloc, line number:290 ; 然后内核改成V4.1.1就没任何问题。 因为v5.0.2下引入backtrace也始终有编译问题,所以不好跟踪
    发表于 09-15 07:46

    标准化考场是什么?

    很多现在都在建设标准化考场,标准化考场究竟是什么呢?
    的头像 发表于 09-05 16:45 1035次阅读
    标准化考场是什么?

    定义IO初始化结构

    由上述IOPORT相关功能的枚举类型我们可以知道,在对IOPORT模块进行初始化时需要根据情况配置它们。因此我们定义一个IOPORT初始化的结构类型IOPORT_Init_t,它的成员包括了由上述所有枚举类型所声明的
    的头像 发表于 07-16 16:26 1105次阅读

    功率半导体究竟是什么

    站在战略升级的关键节点,闻泰科技正在全力聚焦半导体业务,开启全新发展阶段。值此之际,公司特别推出 《探秘“芯”世界》系列专题,邀您一同探索半导体的奥秘,见证闻泰科技以创新引领行业的 "芯" 力量。
    的头像 发表于 07-09 11:42 1022次阅读

    超声波液位计究竟是什么?

    液位计
    jzyb
    发布于 :2025年06月03日 16:10:12

    FOC电机控制究竟该如何学?

    学习FOC电机控制究竟是学哪些内容? 电机知识 软件知识 纯分享贴,有需要可以直接下载附件获取完整资料! (如果内容有帮助可以关注、点赞、评论支持一下哦~)
    发表于 05-09 14:09

    C语言中结构与联合体的深度解析:内存布局与应用场景

    一、基础概念与核心差异 1.1 结构(Struct)的本质 **结构是C语言中实现数据封装的基石,其核心特征在于内存独立性。每个成员
    发表于 04-08 09:18

    工程师在产品选型的时究竟是选CAN还是CANFD接口卡呢?

    很多工程师在产品选型的时候会疑惑,究竟是选CAN接口卡还是CANFD接口卡呢?两者之间有什么区别呢?影响选择的关键因素又是什么?我们今天一个一个来拆解。1.波特率传统的CAN接口卡仅有一个波特率,即
    的头像 发表于 03-21 11:37 709次阅读
    工程师在产品选型的时<b class='flag-5'>究竟是</b>选CAN还是CANFD接口卡呢?

    室内导航究竟是如何实现的

    作为物联网智能硬件的引领者,云里物里当然不是来聊电影的,而是想借此机会,和大家探讨一下:室内导航究竟是如何实现的?它背后的技术原理是什么?接下来,让我们一起揭开室内导航的神秘面纱。
    的头像 发表于 02-12 13:50 883次阅读

    ADS1298R PACE_OUT1和PACE_OUT2这两条引腿究竟是输入还是输出?有什么用?怎样使用?

    PACE_OUT1和PACE_OUT2这两条引腿究竟是输入还是输出?有什么用?怎样使用?
    发表于 02-12 07:56

    LoRa数据究竟是如何传输的?

    一概述在物联网(IoT)的浪潮中,LoRa(LongRange)技术凭借其远距离通信、低功耗和低成本的优势,成为了众多应用场景中的佼佼者。那么,LoRa数据是如何在空中传输的呢?让我们一起揭开这个神秘的面纱。二简介LoRa,即长距离无线电技术,是一种专为物联网设计的无线通信技术。它通过扩频调制技术,将信号扩展到更宽的频带,从而降低信号的功率谱密度,提高抗干扰
    的头像 发表于 12-19 19:33 1572次阅读
    LoRa数据<b class='flag-5'>究竟是</b>如何传输的?