offsetof的实现

    说来比较惭愧,学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即是成员的偏移量了.

疑问:当初自己不太理解,这个结构并没有申请内存空间,却要去访问其成员,按常理不是会出错,因为访问了未申请的内存空间.

但是,在这里我们实际并没有访问结构成员的内存空间,只是返回其地址值,我们用的是取址运算符.而这里的值是编绎器在编绎阶段便已经计算好的,

大家可以打开其反汇编代码验证这个想法.汇编代码中是一个立即数.