container_of 和 offsetof 宏详解
在linux内核链表中,会遇到两个宏。
在include/linux/stddef.h中,有这样的定义
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
这里的TYPE表示某个结构体类型,MEMBER表示结构体中的一个成员,这个宏求出了成员在结构体中的位置偏移(以字节为单位)
如果你还不理解,我们举个例子吧。
struct student
{
char name[20];
unsigned char age;
}; int main(void)
{
int off = offsetof(struct student, age);
printf("off = %d\n",off);
}
运行结果是off = 20
其实宏里面的0只是一种特殊情况而已。对这个宏的解释是:假设结构体处于0x1234这个地址,
((TYPE*)0x1234 )-> MEMBER
->比类型转换的优先级高,所以要加括号。上面就得到了成员,再取地址,得到成员的地址
&((TYPE*)0x1234 )-> MEMBER
不用加括号,因为&的优先级比较低
再来一个类型转换
(size_t)&((TYPE*)0x1234 )-> MEMBER
终于得到成员的起始地址了,还没有完,既然算偏移,就要减去结构体的起始地址
(size_t)&((TYPE*)0x1234 )-> MEMBER - 0x1234
不难看出,这里的0x1234换成什么数字都可以,因为偏移是和起始地址无关的。
不信的话可以把这个宏定义改一改,再测试一下
#define offsetof(TYPE, MEMBER) ( (size_t) &((TYPE *)0x2222)->MEMBER - 0x2222 ) struct student
{
char name[20];
unsigned char age;
}; int main(void)
{
int off = offsetof(struct student, age);
printf("off = %d\n",off);
}
改成0x2222后,结果还是20.
既然什么数字都可以,那就改成0吧,于是后面的-0就可以省略了。于是就得到了开头的那个宏。
下面我们说另外一个宏。
/**
827 * container_of - cast a member of a structure out to the containing structure
828 * @ptr: the pointer to the member.
829 * @type: the type of the container struct this is embedded in.
830 * @member: the name of the member within the struct.
831 *
832 */
833 #define container_of(ptr, type, member) ({ \
834 const typeof( ((type *)0)->member ) *__mptr = (ptr); \
835 (type *)( (char *)__mptr - offsetof(type,member) );})
这个宏就是从一个成员的地址得到这个结构体的地址,俗称小指针转大指针。
继续举例子。
struct student
{
char name[20];
unsigned char age;
}; int main(void)
{
struct student stu = {"wangdong",22}; printf("&stu = %p\n",&stu);
printf("&stu.age = %p\n",&stu.age); struct student *p = container_of(&stu.age, struct student, age);
printf("p= %p\n",p);
}
运行结果为
&stu = 0x7fff53df9c40
&stu.age = 0x7fff53df9c54
p= 0x7fff53df9c40
可是为什么不是这样写的呢,而是要多出来一行
const typeof( ((type *)0)->member ) *__mptr = (ptr);
没有这行到底行不行,其实也行,用上面的例子,去掉这行,也可以得到一样的结果。
先看看这行什么意思吧, ((type *)0)->member 这是成员,typeof( ((type *)0)->member ) 得到了成员的类型,假设就是unsigned char类型,
const typeof( ((type *)0)->member ) *__mptr 定义了一个这个类型的指针
const unsigned char * __mptr = (ptr); 赋值给定义的这个指针。
我苦思冥想,又结合网上的资料,认为这样写是做了一个类型检查。如果有了这行,假设结构体就没有member这个成员,那么编译会报错。
所以这样写保证了member确实是type的一个成员。
还有,这样写也保证了ptr确实是这个成员类型的指针,如果不是,编译也会报错。再做个实验。
把刚才的代码改一下
struct student *p = container_of((int *)&stu.age, struct student, age);
故意把&stu.age转换成int*,编译就会报警告:
test.c:33:22: warning:
incompatible pointer types initializing 'const typeof (((struct student *)0)->age)
*' (aka 'const unsigned char *') with an expression of type 'int *' [-Wincompatible-pointer-types]
struct student *p = container_of((int *)&stu.age, struct student, age);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
test.c:11:39: note:expanded from macro 'container_of'
const typeof( ((type *)0)->member ) *__mptr = (ptr); \
^ ~~~~~
如果没有这一行,那么就不会报错。
所以,作者的出发意图是千方百计地让程序员写出安全的代码啊!真的是用心良苦。
(完)
container_of 和 offsetof 宏详解的更多相关文章
- CTL_CODE 宏 详解
CTL_CODE宏 CTL_CODE:用于创建一个唯一的32位系统I/O控制代码,这个控制代码包括4部分组成: DeviceType(设备类型,高16位(16-31位)), Function(功能2- ...
- 预定义宏,C语言预定义的宏详解
1.预定义宏 对于预定义宏,相信大家并不陌生.为了方便处理一些有用的信息,预处理器定义了一些预处理标识符,也就是预定义宏.预定义宏的名称都是以"__"(两条下划线)开头和结尾的,如 ...
- (转)C/C++ 宏详解
众多C++书籍都忠告我们C语言宏是万恶之首,但事情总不如我们想象的那么坏,就如同goto一样.宏有一个很大的作用,就是自动为我们产生代码.如果说模板可以为我们产生各种型别的代码(型别替换),那么宏其实 ...
- C++宏定义详解
一.#define的基本用法 #define是C语言中提供的宏定义命令,其主要目的是为程序员在编程时提供一定的方便,并能在一定程度上提高程序的运行效率,但学生在学习时往往不能 理解该命令的本质 ...
- [转]C++宏定义详解
一.#define的基本用法 #define是C语言中提供的宏定义命令,其主要目的是为程序员在编程时提供一定的方便,并能在一定程度上提高程序的运行效率,但学生在学习时往往不能 理解该命令的本质 ...
- 【转载】C++宏定义详解
摘自:http://blog.chinaunix.net/uid-21372424-id-119797.html C++宏定义详解 2011-02-14 23:33:24 分类: C/C++ ...
- offsetof宏与container_of宏
offsetof宏与container_of宏1.由结构体指针进而访问各元素的原理(1)通过结构体整体变量来访问其中各个元素,本质上是通过指针方式来访问的,形式上是通过.的方式来访问的(这个时候其实是 ...
- [C++] C++中的宏定义详解
转载自:C++中的宏定义 和 C++宏定义详解 一.#define解析 #define是C语言中提供的宏定义命令,其主要目的是为程序员在编程时提供一定的方便,并能在一定程度上提高程序的运行效率 ...
- [转帖]基于VIM漏洞CVE-2019-12735的VIM宏后门病毒详解
基于VIM漏洞CVE-2019-12735的VIM宏后门病毒详解 不明觉厉 只要是人做的东西 就会有bug 就会有安全问题 就看发现bug 或者是发现安全问题 有没有收益了 会用linux的都是比较熟 ...
随机推荐
- linux手动安装配置 mysql5.7
本文原出处地址 https://www.cnblogs.com/mujingyu/p/7689116.html 一.安装前的检查 1.1 检查 linux 系统版本 [root@localhost ...
- GetTop(),GetTopLeft()等等
Panel_BattleInfo挂在屏幕最上方 protected override void OnStart() { Vector3 = pos = GetTop(); transform.Find ...
- linux linux系统常用设置
linux linux系统常用设置 一.设置开机时开启数字键 修改rc.local文件 命令:vi /etc/rc.local rc.local文件中增加如下代码: INITTY=/dev/tty ...
- PCA(主成分分析)
PCA(Principal Component Analysis)是一种常用的数据分析方法.PCA通过线性变换将原始数据变换为一组各维度线性无关的表示,可用于提取数据的主要特征分量,常用于高维数据的降 ...
- 图片压缩工具之grunt-contrib-imagemin
对页面进行优化时~免不了对使用的图片进行压缩~以便减小我们使用的图片的大小~这样就可以减少用户下载的文件大小,加快页面访问速度.Google Pagespeed最佳实践建议我们用 jpegtran 或 ...
- vue学习三:生命周期钩子
生命周期钩子介绍: 每个 Vue 实例在被创建时都要经过一系列的初始化过程——例如,需要设置数据监听.编译模板.将实例挂载到 DOM 并在数据变化时更新 DOM 等.同时在这个过程中也会运行一些叫做生 ...
- 3. mybatis # 与 $ 的区别
mybatis # 与 $ 的区别 1.# % 号必须写在test中 应用场景:模糊查询 配置文档mapper.xml <select id="selectBlogByTitle&qu ...
- CSS(十二).transition的应用之CSS中心扩散
实现 css中心向两边扩散的两个核心 1.hover 之前的 垂直居中 2.文字置于最顶层 顺道来讲讲hover 伪元素是不支持 hover 的,不过我们可以给普通的 tag 标签添加 hover 以 ...
- org.json里实现XML和JSON之间对象互转
org.json包里有一个类org.json.XML可以实现XML和JSON之间的转换.http://www.json.org/javadoc/org/json/XML.html JSONObject ...
- 记录Leetcode 鸡蛋掉落 的思路
前言 首先看一下这个题目,是Leetcode的第887题"鸡蛋掉落": 你将获得 `K` 个鸡蛋,并可以使用一栋从 `1` 到 `N` 共有 `N` 层楼的建筑. 每个蛋的功能都是 ...