MSVC是否允许在nullptr上调用非虚非静态成员函数？

首先明确：C++标准中，空指针调用任何成员函数都属于未定义行为，但MSVC在实际运行中有可预期的特定表现，分以下情况说明：

1. 非虚成员函数（如MFC的GetSafeHwnd） #

MSVC对非虚函数采用静态绑定，编译时就确定函数地址，调用时会把空指针作为this参数传入函数：

• 如果函数内部没有访问成员变量，或者像GetSafeHwnd这样先判断this是否为空再操作，空指针调用可以正常执行。比如GetSafeHwnd的实现：

  _AFXWIN_INLINE HWND CWnd::GetSafeHwnd() const
      { return this == NULL ? NULL : m_hWnd; }
  

  它先检查this是否为空，为空直接返回NULL，不会访问成员m_hWnd，所以在空指针上调用是安全的。
• 如果函数内部直接访问成员变量（比如直接返回m_hWnd），空指针调用会触发内存访问错误——因为this是空，访问this->m_hWnd相当于访问地址0偏移处的内存，这是非法的。

2. 虚成员函数 #

虚函数采用动态绑定，调用时需要通过对象的虚表指针（vptr）查找函数地址：

• 用空指针调用虚函数时，MSVC会尝试从空地址读取虚表指针，这会直接触发内存访问异常（程序崩溃），哪怕虚函数内部没有访问任何成员变量也一样——因为动态绑定的第一步就需要读取虚表，而空指针没有有效的虚表指针。

3. 纯虚成员函数 #

纯虚函数的行为和普通虚函数一致：

• 调用纯虚函数同样需要通过虚表查找地址，空指针调用时会因读取空地址的虚表指针而崩溃。
• 即使类中实现了纯虚函数的具体逻辑，空指针调用依然会崩溃，动态绑定机制不会跳过虚表查找步骤。

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