注:这里只是为了探寻C++的内部机制,实践中解引用空指针是绝不应该出现的
如果希望只通过类名调用成员函数,请声明静态成员函数
#include
using namespace std;
class MyClass {
private:
int k;
public:
MyClass(int _k);
~MyClass();
int add(int i, int j);
int addWithThis(int i, int j);
virtual string myStrCat(string a, string b);
static int static_add(int a, int b);
};
MyClass::MyClass(int _k = 0)
: k(_k)
{
}
int MyClass::add(int i, int j)
{
return i + j;
}
int MyClass::addWithThis(int i, int j)
{
return i + j + this->k;
}
string MyClass::myStrCat(string a, string b)
{
return a + b;
}
int MyClass::static_add(int i, int j)
{
return i + j;
}
MyClass::~MyClass()
{
cout << "dtor" << endl;
}
int main(int argc, char const* argv[])
{
MyClass* p = nullptr;
// 有可能会正确的执行
// 因为这个类的成员函数没有引用内部的成员(自己声明的或编译器声明的))
// 有可能编译器将这个类成员函数直接当作一个普通的函数处理
// p->add()直接跳转到此函数在进程中所处的地址处开始执行
cout << "add begin" << endl;
cout << p->add(1, 2) << endl;
//会引发段错误 因为这个函数内部使用了成员变量,会通过this指针访问
//而此时this指针显然是无效的
// cout << "addWithThis begin" << endl;
// cout << p->addWithThis(1, 2) << endl;
//会引发段错误 虚函数会通过虚函数指针去查找虚函数表,而此时虚指针显然是无效的
// cout << "myStrCat begin" << endl;
// cout << p->myStrCat("must ", "fail") << endl;
// 静态成员函数 可能会正常运行 类似第一个add
cout << "static_add begin" << endl;
cout << p->static_add(1, 2) << endl;
return 0;
}
结论
对于不涉及内部成员的函数调用(1,4),C++都把(nullptr)->操作直接翻译成了对于函数的调用.
而对于(2 this指针,3 vptr)则在解引用的时候抛出段错误
总而言之,以上结论对于日常写代码似乎并没有太大的用处????