结构体指offsetof宏详细解析

1、#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE*)0)->MEMBER)     (include/linux/stddef.h)

1.1 功能：

返回结构体TYPE中MEMBER成员相对于结构体首地址的偏移量，以字节为单位。

1.2 解析：

此类复杂表达式的解析应该采用从内向外、逐层理解的方式。

首先，(TYPE *)0表示将数字0强制类型转换为TYPE类型(TYPE为结构体类型)的指针。因此这里的0代表内存地址0，即我们认为内存地址0开始的sizeof(TYPE)个字节内存储的是一个TYPE类型的变量。

然后，((TYPE *)0)->MEMBER 得到该结构体变量中的MEMBER成员变量，

而 &(((TYPE*)0)->MEMBER) 使用取地址符&取得了MEMBER成员变量的地址，(size_t)加在前面表示将MEMBER成员变量的地址强制类型转换为size_t(即unsigned int），并将结果作为宏的返回值。

可见，offsetof宏返回的是MEMBER成员在内存中的实际地址。又因为整个结构体的起始地址是0，因此MEMBER成员的实际地址在数值上就等于MEMBER成员相对于结构体首地址的偏移量。

1.3 扩展思考：

1.3.1 使用offsetof宏会影响内存0地址处的值吗？

答案是不会，从1.3.2可知offsetof宏的运算是在C编译器编译时完成的，因此内存的0地址在机器指令中根本未被操作，当然不会影响其值了。

1.3.2offsetof宏返回的MEMBER相对于结构体首地址的偏移量是如何得到的？->符号如何能正确寻址到结构体中某个成员变量？

想探究struct如何通过->精确寻址每一个成员，最好的办法就是将C代码汇编为.S的汇编语言代码，通过观察汇编代码可以看到C编译器对代码处理的具体细节。我们的示例代码如下：

 

#include"stdio.h"

 

#definemyoffsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)

 

typedefstruct st

{

    int a;

    int c;     //将该行加上或去掉，对比得到的汇编代码的差别

    short d;   //将该行加上或去掉，对比得到的汇编代码的差别

    char b;

}st;

 

intgetoffsetof(void)

{

    return myoffsetof(struct st, b);

}

将以上代码保存为offsetof.c，并且使用arm-linux-gcc offsetof.c –S执行汇编，则会得到offsetof.s文件，内容如下：

        .file  "offsetof.c"

        .text

        .align 2

        .global getoffsetof

        .type  getoffsetof, %function

getoffsetof:

        @ Function supports interworking.

        @ args = 0, pretend = 0, frame = 0

        @ frame_needed = 1, uses_anonymous_args= 0

        mov    ip, sp        // 这三行

        stmfd  sp!, {fp, ip, lr, pc}   // 是函数

        sub    fp, ip, #4           // 栈帧保存

        mov    r3, #10          // #10即是offsetof宏计算得到的值

        mov    r0, r3        // 将返回值置于R0中

        sub    sp, fp, #12      // 函数栈帧

        ldmfd  sp, {fp, sp, lr}    // 恢复

        bx     lr            // 函数返回

        .size  getoffsetof, .-getoffsetof

        .ident "GCC: (GNU) 4.1.2"

以上汇编代码中mov r3, #10一句可以看出，offsetof宏计算member的偏移量是C编译器在编译阶段完成的，而并不需要CPU在运行时去计算得出。

可以尝试着更改struct st中成员b之前的成员，然后再次汇编，对比汇编后代码的不同，以此来验证我们的推论。