C++：未实例化对象且未用static为何能调用成员方法print？

先看问题里的代码：

#include <iostream>

class Foo
{
private:
    int* ptr;
public:
    Foo()
    {
        ptr = new int;
    }

    void print()
    {
        std::cout << "Hello World\n";
    }
    
};


int main()
{
    Foo* ptr{ nullptr };
    ptr->print();
}

核心原因拆解 #

非静态成员函数的底层实现，会被编译器自动添加一个this指针参数——比如print()实际等价于print(Foo* this)，调用ptr->print()本质是把ptr作为this指针传入函数。

而这个print()函数里完全没有访问任何类的成员变量或依赖this的其他方法，所以即使this是空指针，函数执行时也不会触发空指针解引用的错误，自然能正常输出"Hello World"。

对疑问的澄清 #

• 不是因为编译器内联：就算把print()改成非内联（比如把函数体写到类外），只要不访问成员，空指针调用依然能运行。
• 不是因为全局访问：非静态成员函数本身不属于全局范畴，它还是和类绑定的，只是这次调用里的this指针没被用到而已。

重要提醒 #

这种行为属于C++标准定义的未定义行为——标准不保证空指针调用非静态成员函数一定能正常运行，只是这个场景刚好没触发错误。如果print()里加入访问成员变量的代码（比如std::cout << *ptr << std::endl;），空指针调用立刻会崩溃，因为这时候需要通过this指针去访问成员，而this是nullptr。

内容的提问来源于stack exchange，提问作者Shivam Madaan