看到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