请教高手帮忙解释下这句话的意思，谢谢

ovipgdft

#define offsetof(__s_name, __s_member) (size_t)&(((__s_name *)0)->__s_member)

flw

给你两个选择：
1，从精华中找找，搜索关键字 offset
2，继续守株待兔。

westgarden

1. 
   
2. #define offsetof(__s_name, __s_member) (size_t)&(((__s_name *)0)->__s_member)
   
3. 
   
4. 
   
5. 
   
6. #include <stddef.h>
   
7. 
   
8. #ifdef  _WIN64
   
9. #define offsetof(s,m)   (size_t)( (ptrdiff_t)&(((s *)0)->m) )
   
10. #else
    
11. #define offsetof(s,m)   (size_t)&(((s *)0)->m)
    
12. #endif
    

复制代码

__s_name是个结构，
__s_member是__s_name的成员。
offsetof的定义是取得成员__s_member的地址与结构__s_name的开始地址之间的偏移量。
假如：
__s_name的地址是：     0x12345600
__s_member的地址是：  0x123456FF

那么，offsetof之后的返回结果就是0xFF。



令我不解的是以下语句：
((__s_name *)0)->__s_member


谁能解释一下？

[ 本帖最后由 westgarden 于 2006-3-13 18:54 编辑 ]

思一克

原来出现过的问题。

返回结构NAME 中的项ITEM 相对结构开始的偏移位置。

aldebran

let p is a pointer to an object of type __s_name.
the address of __s_member in the object is
&p->__s_member = p + offset, so if p equals 0,
then offset = &0->__s_member.
In the equation above, type consistency is violated
(0 is int not ptr, &(0->__s_member) is of type ptr, rather than size_t),
so we must add type cast in order to pass compiler's type checking.
After type cast is added, the above equation is as following
offset = (size_t)&(((__s_name *)0)->__s_member).

conclusion: the macro computes the offset of an struct member, and
        should be mastered as an C idiom.

doni

原帖由 ovipgdft 于 2006-3-13 14:59 发表
#define offsetof(__s_name, __s_member) (size_t)&(((__s_name *)0)->__s_member)

这个实在太精典了,我是一辈子写不出这样的代码的,能看懂,我已经很高兴了.

westgarden

原帖由 aldebran 于 2006-3-13 17:01 发表
let p is a pointer to an object of type __s_name.
the address of __s_member in the object is
&p->__s_member = p + offset, so if p equals 0,
then offset = &0->__s_member.
In the  ...

谢谢!


转换成代码就是:

1. 
   
2. #include <stdio.h>
   
3. 
   
4. 
   
5. typedef struct X_t {
   
6.         int a;
   
7.         int b;
   
8.         int c;
   
9.         int x;
   
10. }X;
    
11. 
    
12. int main() {
    
13.         int *p = 0;
    
14. 
    
15.         ((X *)p)->x;
    
16.         &(((X *)p)->x);
    
17.         (size_t)&(((X *)p)->x);
    
18. 
    
19. 
    
20.         ((X *)0)->x;
    
21.         &(((X *)0)->x);
    
22.         (size_t)&(((X *)0)->x);
    
23. 
    
24. 
    
25.         return 0;
    
26. }
    

复制代码

[ 本帖最后由 westgarden 于 2006-3-14 12:29 编辑 ]

wolf0403

因为不直接引用数据成员，所以空指针在这里不具危险。同时，当结构的基址为 0 的时候，任意成员的偏移量就是直接取址得到的值。否则就需要一个更复杂的相减过程：

1. #define offsetof(__s_name, __s_member, p) (size_t)(&(((__s_name *)p)->__s_member) - p )
   

复制代码

原来的宏相当于 p == 0 的情况。确实比较精巧。