C：offsetof宏的详解

offsetof宏

描述：
C 库（stddef.h）宏 offsetof(type, member-designator) 会生成一个类型为 size_t 的整型常量，它是一个结构成员相对于结构开头的字节偏移量。成员是由 member-designator 给定的，结构的名称是在 type 中给定的。

声明：

offsetof(type, member-designator)

参数：
type：这是一个结构体类型
member-designator：这是一个结构体类型的成员指示器

返回值：
该宏返回类型为 size_t 的值，表示 type 中成员的偏移量。

实例： 演示 offsetof() 宏的用法

#include <stdio.h>
#include <stddef.h>

struct S1 {
	char c1;
	int i;
	char c2;
};

int main(){
	printf("S1 结构中的 c1 偏移 = %d 字节。\n", offsetof(struct S1, c1));//0
	printf("S1 结构中的 i 偏移 = %d 字节。\n", offsetof(struct S1, i));//4
	printf("S1 结构中的 c2 偏移 = %d 字节。\n", offsetof(struct S1, c2));//8
	
	return 0;
}

生成图如下：

offsetof宏的实现如下：

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

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

解析：(从内向外、逐层理解)

首先，(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成员相对于结构体首地址的偏移量。（当前地址-首地址=偏移量）

扩展思考

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

不会

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

---

如有其他见解，欢迎留言讨论！