C++成员函数中检查this == nullptr是否为可接受的编程范式？

这种在成员函数里检查this是否为nullptr的做法仅在调试阶段有有限价值，正式版本中完全不推荐，原因如下：

• 违反C++的核心语义约定
  在C++里，调用非静态成员函数的前提就是对象必须有效——非空且完成构造。这和直接访问对象公有字段的规则完全一致：如果直接写o->value_（假设value_是公有），用空指针必然触发未定义行为，成员函数调用也该遵循同样的逻辑。强行在成员函数里兼容空指针，等于打破了这种约定，会让调用者误以为空指针调用是合法操作，进而养成坏的编码习惯。

• 未定义行为的潜在风险
  你现在的代码运行不崩溃，只是未定义行为刚好表现出“正常”的样子。C++标准明确规定：通过空指针调用非静态成员函数属于未定义行为。编译器有权假设this永远非空，进而做各种优化——比如直接删掉this == nullptr的检查分支。一旦编译器这么做，你的容错代码直接失效，空指针调用依然可能导致崩溃、数据乱码等不可控的后果。

• 掩盖真正的逻辑漏洞
  空指针调用成员函数本质上是调用者的错误——要么对象没初始化，要么指针被错误置空了。如果成员函数默默把这种错误“消化”掉，调用者很难察觉到自己的代码有问题。这种“伪容错”会让bug藏得更深，等后续引发更严重的问题时，排查难度会大很多。

• 没必要的性能与代码冗余开销
  正式版本留着这类检查，会平白增加运行时消耗，尤其是在频繁调用的成员函数里。而且每个成员函数都加一遍this判断，代码会变得冗余啰嗦，可读性也会下降。

结合你的示例代码分析 #

你给出的代码里，空指针调用set和get看似正常，只是编译器没做激进优化的巧合。如果开启更高等级的优化（比如GCC的-O2），编译器大概率会直接移除this == nullptr的判断分支，这时空指针调用set会直接尝试给nullptr指向的内存赋值，瞬间触发崩溃。

合理的做法 #

调试阶段可以保留这类检查（甚至换成assert(this != nullptr)），能快速定位空指针调用的问题；但正式版本必须删掉，让错误的调用直接暴露出来，逼着调用者遵守对象有效性的约定，从根源上修复bug。

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