说来比较惭愧,学C/C++也算是有几年了,前几天才第一次遇到offsetof,源于同事问我的一段代码中.
在linux/include中,offset如下定义:
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
第一个参数是结构体的名字, 第二个参数是结构体成员的名字,返回的是该成员在结构体中的偏移量.
先看如下代码:
struct TYPE
{
int member1;
char member2;
}
TYPE* p = NULL;
TYPE* p = malloc(sizeof(TYPE));
(&TYPE->member2)这个表示的便是TYPE结构中成员member2的内存地址,注意前面的是&取址符.
那么,欲求得成员相对于结构的偏移量,我们只需要将(&TYPE->member2)减去TYPE* p的内存地址即可获得.
这个宏的实现巧妙之处在于,将p的内存地址强制赋为0, 即是(TYPE*)0这里.那么返回的(TYPE*)0->MEMBER即是成员的偏移量了.
疑问:当初自己不太理解,这个结构并没有申请内存空间,却要去访问其成员,按常理不是会出错,因为访问了未申请的内存空间.
但是,在这里我们实际并没有访问结构成员的内存空间,只是返回其地址值,我们用的是取址运算符.而这里的值是编绎器在编绎阶段便已经计算好的,
大家可以打开其反汇编代码验证这个想法.汇编代码中是一个立即数.