解释宏的功能 #define macro1(t, m) ((int)(void*)&(t *)0->m)

类别:编程语言 点击:0 评论:0 推荐:

        看到http://community.csdn.net/Expert/topic/3662/3662366.xml?temp=.1618006有一帖子,看大家热闹非凡,也来凑把热闹。
        具体问题是说这个宏的功能是什么,#define macro1(t, m) ((int)(void*)&(t *)0->m)。 就是取得t(结构或者类)的成员m在结构(或者类中)的偏移。但是很多人对(t*)0->m表示不解,我就来分析一把。首先写段程序:
 #pragma pack(1)
 typedef struct  {
 char a;
 int b;
}A;
#pragma pack()

#define macro1(t, m) ((int)(void*)&((t *)0)->m)

int main(int argc, char* argv[])
{
 A* pA = (A*)0;               // 定义一个指向0的指针pA,但是类型是A*
 printf("%p\n",pA);            //打印出来确实是0
 void *pVoid = &pA;       //取得pA的地址,尽管pA=0,但是他的地址不是0
 printf("%p\n",pVoid);       // 我这里打印出来是0x12ff7c
 printf("%p\n",&(pA->b)); // 居然打印出来 1
 printf("%d\n",pA->b); // 访问了非法内存,出现错误
 return 0;
}
什么意思呢,&(pA->b)等于1, pA->b就是非法访问?

接下来请看编译器是怎么做的:

37:   int main(int argc, char* argv[])
38:   {
0040D960   push        ebp
0040D961   mov         ebp,esp
0040D963   sub         esp,48h
0040D966   push        ebx
0040D967   push        esi
0040D968   push        edi
0040D969   lea         edi,[ebp-48h]
0040D96C   mov         ecx,12h
0040D971   mov         eax,0CCCCCCCCh
0040D976   rep stos    dword ptr [edi]
39:
40:       A* pA = (A*)0;
0040D978   mov         dword ptr [ebp-4],0   //直接放一个0到pA指针
41:       printf("%p\n",pA);
0040D97F   mov         eax,dword ptr [ebp-4]
0040D982   push        eax
0040D983   push        offset string "%p\n" (00422020)
0040D988   call        printf (00401310)
0040D98D   add         esp,8
42:       void *pVoid = &pA;
0040D990   lea         ecx,[ebp-4]               //取得pA的地址
0040D993   mov         dword ptr [ebp-8],ecx
43:       printf("%p\n",pVoid);
0040D996   mov         edx,dword ptr [ebp-8]
0040D999   push        edx
0040D99A   push        offset string "%p\n" (00422020)
0040D99F   call        printf (00401310)
0040D9A4   add         esp,8
44:       printf("%p\n",&(pA->b));                          //我们关心的东西来了
0040D9A7   mov         eax,dword ptr [ebp-4]      // 取得pA指针指向的值 , 0
0040D9AA   add         eax,1                                // 加1,就是b所在地偏移量
0040D9AD   push        eax
0040D9AE   push        offset string "%p\n" (00422020)
0040D9B3   call        printf (00401310)
0040D9B8   add         esp,8
45:       printf("%d\n",pA->b);   // 为什么这句出错?
0040D9BB   mov         ecx,dword ptr [ebp-4]              // 取得指针
0040D9BE   mov         edx,dword ptr [ecx+1]              //先指针加1后,再取其值,也就是取0x00000001这个地址的值
0040D9C1   push        edx
0040D9C2   push        offset string "%d\n" (0042201c)
0040D9C7   call        printf (00401310)
0040D9CC   add         esp,8
46:
47:
48:
49:       return 0;
0040D9CF   xor         eax,eax

。。。
到这里就真相大白了,编译器根本没有理会&(pA->b)中的->,而是很“智能”的直接得到b的地址,因为pA地址是0,所以b的地址也就是从0开始的,相当于从结构的开始计算的。而后来的pA->b是要求得到b的确切数值,编译器当然要从0+1地址开始取数据了,但是这个地方是不能随随便便一个程序都可以访问的,所以出错了

本文地址:http://com.8s8s.com/it/it24196.htm