为什么通过空指针调用方法在C中“工作”？[重复]

Question

可能重复：
通过空类指针调用类方法

#include <iostream>
using namespace std;
class test
{
    int i;
public:
    test():i(0){ cout << "ctor called" << endl;}
    void show()
    {
        cout<<"show fun called"<<endl;
    }
};

int main(int argc , char *argv[])
{
    test *ptr = NULL;
    ptr->show();
    return 0;
}

显然，不会有人打电话给他们。这是标准吗？或者只是一些编译器优化，因为这个指针没有在show（）成员函数中使用？

Answer 1

它无效，行为未定义，实际结果取决于编译器。

Answer 2

如果您查看程序集（至少对于一个编译器），您可以看到它运行的原因（尽管正如许多人指出的那样，它是未定义的行为）。对于这两行：

test *ptr = NULL;
ptr->show();

生成此程序集（在我刚刚尝试的一个编译器中）：

00000004: C7 45 FC 00 00 00  mov         dword ptr [ebp-4],0
          00
0000000B: 8B 4D FC           mov         ecx,dword ptr [ebp-4]
0000000E: E8 00 00 00 00     call        ?show@test@@QAEXXZ

它在堆栈上推送NULL（0）并调用该方法，因为该方法的地址与实际对象实例无关。

Answer 3

调用该方法不需要指针。指针的类型是已知的，因此方法的代码是已知的。该方法不使用this，因此它可以很好地运行代码。这是一种未定义的行为，但不检查指针是否为NULL更有效，因此它会运行。