注:这里只是为了探寻C++的内部机制,实践中解引用空指针是绝不应该出现的
如果希望只通过类名调用成员函数,请声明静态成员函数
#include <iostream>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)则在解引用的时候抛出段错误
总而言之,以上结论对于日常写代码似乎并没有太大的用处????