<转>宏定义(macro)定义函数求结构体成员偏移量

//OFFSETOF(s, m)的宏定义，s是结构类型，m是s的成员，求m在s中的偏移量。
#define OFFSET(s, m) ((size_t) &((s *)0)->m)

#define OFFSETOF(type, field) ((size_t)&(((type *)0)->field))

(type *)0：把0地址当成type类型的指针。

((type *)0)->field：对应域的变量。

&((type *)0)->field:取该变量的地址，其实就等于该域相对于0地址的偏移量。

(size_t)&(((type *)0)->field)：将该地址（偏移量）转化为size_t型数据。

ANSI C标准允许任何值为0的常量被强制转换成任何一种类型的指针，并且转换结果是一个NULL指针，因此((s*)0)的结果就是一个类型为s*的NULL指 针。如果利用这个NULL指针来访问s的成员当然是非法的，但&(((s*)0)->m)的意图并非想存取s字段内容，而仅仅是计算当结构 体实例的首址为((s*)0)时m字段的地址。聪明的编译器根本就不生成访问m的代码，而仅仅是根据s的内存布局和结构体实例首址在编译期计算这个(常 量)地址，这样就完全避免了通过NULL指针访问内存的问题。

1.

有人这样表达：

#define OFFSETOF(type, field) ((size_t) \

               ((char *)&((type *)0)->field - (char *)(type *)0))

我认为效果是一样的，多增加的那部分就是0地址，相减后就是偏移量。

2.

为什么要增加size_t呢？

首先size_t的定义是什么呢，在文件 stddef.h中可以找到答案。

typedef unsigned int size_t;                      /*mine is 32bit machine*/

可见就是将偏移量转化为无符整型，其实32位 机器的地址就是无符号的32位整数。一般情况下，不进行size_t类型转化也是没有问题的（后面的实验可证）。我认为，只有偏移量足够大，当大于 0x80000000时才有影响，因为这时候的偏移量最高位是1，机器默认为是负数了。似乎上面宏定义OFFSETOF中更能说明这个问题，因为这个宏定 义是一个差值，最高位是1就肯定是负数了。使用printf("%d", &var);打印一个变量的地址就是个负数。这只是我的看法，网上基本没有什么人分析为什么添加size_t的强制类型转化。因为系统对数组长度 的大小是有限制的，所以也不能实验得到数据。