&(((AClass*)0)->aProperty) 这样的表达式会报错吗？

#include <iostream>

using namespace std;

class TestProperty{

public:

int mp1;

int mp2;

int mp3;

};

void testProperty(){

cout<<&(((TestProperty*)0)->mp1)<<endl;

cout<<&(((TestProperty*)0)->mp2)<<endl;

cout<<&(((TestProperty*)0)->mp3)<<endl;

cout<<((TestProperty*)0)->mp1<<endl;

}

以上几个表达式能正常输出吗，如果能，输出的又是什么呢？



这是前三个表达式的输出，最后一个会造成程序的崩溃

编译器看到&(((TestProperty*)0)->mp1)这个表达式的时候，知道这句是为了获取mp1的地址，而此时，地址是知道的，所以就直接打印出来了，下面对应的汇编代码

73: cout<<&(((TestProperty*)0)->mp1);

00401808 push 0

0040180A mov ecx,offset std::cout (0047eea0)

0040180F call @ILT+75(std::basic_ostream<char,std::char_traits<char> >::operator<<) (00401050)

74: cout<<&(((TestProperty*)0)->mp2);

00401814 push 4

00401816 mov ecx,offset std::cout (0047eea0)

0040181B call @ILT+75(std::basic_ostream<char,std::char_traits<char> >::operator<<) (00401050)

75: cout<<&(((TestProperty*)0)->mp3);

00401820 push 8

00401822 mov ecx,offset std::cout (0047eea0)

00401827 call @ILT+75(std::basic_ostream<char,std::char_traits<char> >::operator<<) (00401050)
其中的0 4 8 就是编译器已经算好的地址，准确的说，是偏移地址，相对于类首地址的偏移地址

那为何 最后一句会崩呢，下面是对应的汇编代码

76: cout<<((TestProperty*)0)->mp1;

0040182C mov eax,[00000000]

00401831 push eax

00401832 mov ecx,offset std::cout (0047eea0)

00401837 call @ILT+275(std::basic_ostream<char,std::char_traits<char> >::operator<<) (00401118)

此时编译器认为是想取得mp1的内容，而此时mp1还没分配好内存空间，于是在调用mov eax,[00000000]的时候，发生访问异常了。

把代码修改一下

class TestProperty{

public:

int mp1;

int mp2;

int mp3;

public:

void func1(){printf("hello TestProperty");}

};

void testProperty(){

(((TestProperty*)0)->func1());

printf("%d",((TestProperty*)0)->func1);//vc6可以这么写，但在vs2013中这么会报错

}

会正常输出吗？



为何第一句不会崩？因为方法早在类还没初始化的时候，已经在代码区生成了，它与类的构造没有关系，看对应的汇编代码

76: (((TestProperty*)0)->func1());

004013E8 xor ecx,ecx

004013EA call @ILT+0(TestProperty::func1) (00401005)

77: printf("%d\n",((TestProperty*)0)->func1);

004013EF push offset @ILT+0(TestProperty::func1) (00401005)

004013F4 push offset string "%d\n" (0043401c)

004013F9 call printf (00409260)

由于在调用func1的时候，应该在ecx传入调用者的地址，而这里为0，所以直接xor ecx,ecx对其清空了，然后正常的调用了func1，但如果func1中使用了this指针，那就

肯定非法了，因为此时this指针为null

对于printf("%d\n",((TestProperty*)0)->func1);就是打印函数的地址了，这个在vc6中可以正常运行，但在vs2013会报调用函数需要传参的错误，所以就用内联汇编来

代替了，如下：

char* myword = "%d\n";

__asm{

mov eax, offset TestProperty::func1

push eax

push dword ptr[myword]

call printf

add esp,8

}