这两个题只有一句代码的差别。
看题目之前我先说一下怎么看汇编指令。
第一题:下面程序运行结果是?
A.编译报错 B.运行崩溃 C.正常运行
#include <iostream>
using namespace std;
class A
{
public:void Print(){cout << "A::Print()" << endl;}
private:int _a;
};
int main()
{A* p = nullptr;p->Print();return 0;
}
第二题:下面程序运行结果是?
A.编译报错 B.运行崩溃 C.正常运行
#include <iostream>
using namespace std;
class A
{
public:void Print(){cout << "A::Print()" << endl;cout << _a << endl;}
private:int _a;
};
int main()
{A* p = nullptr;p->Print();return 0;
}
先看第一题,选C正常运行
很多人看到这里都会往这个方面想,认为是不是错在对空指针解引用,导致程序崩溃,其实不是的,这里并没有对空指针解引用,为什么?
编译器被编译后都会转换成汇编指令,我们可以简单分析一下被框起来的这两句代码的汇编指令。
这里call的地址是成员函数的地址,这个地址并不是p对象里面的地址,成员函数并没有存在类里面,成员函数的指针也不在p对象里面,这个地址跟对象没关系。
那为什么要用p对象调用?因为这个函数在A这个类域里面,这是为了过C++语法这关,过编译这关,所以就不是编译问题。
函数的调用要传参数,所以在call之前还有一句指令,这里的ecx存的就是对象的地址,如下。
传的这个参数就是this指针,this指针就是当前类类型的指针。此时的this是空指针
这里确实有空指针,但是我们并没有解引用啊, p->Print();这句话上面说过了,只是为了访问成员函数,函数不存放在类里面,所以这里没有解引用。
这个程序正常运行。
第二题选B运行崩溃。
为什么第二题会运行崩溃,因为第二题解引用了,看下面。
当我们在调用Print时,函数里的这句话会对this指针解引用,此时的this指针是空指针,运行崩溃。