C++可复用代码中空指针解引用错误的规范处理方案

首先明确核心原则：不要让你的类构造出处于非法状态的对象。类的内部不变式（比如这里m_data必须非空）必须在构造函数执行完成时就成立，不要把校验逻辑散落到各个成员函数里，更不要只靠注释约束调用方。

仅写前置条件注释为什么不够 #

完全不够。注释没有任何编译期或运行时的强制约束力，复用你代码的开发者很可能漏看注释，后续维护代码的人也可能在不知情的情况下传入nullptr，最终触发未定义行为。而且这类问题往往在离入参位置很远的业务逻辑里才崩溃，排查成本极高。注释只能作为契约的补充说明，绝对不能当唯一的防护手段。

不同场景的合理处理方案 #

按推荐优先级从高到低排列：

• 优先从类型层面杜绝非法输入（编译期检查，零开销）
  如果你的类语义上要求必须持有一个有效的T对象、不允许空状态，直接把构造函数的参数从T*改成T&即可。C++语言层面禁止引用绑定空值，调用方如果传nullptr会直接编译报错，从根源上避免问题，连运行时校验的开销都省了：

  class A {
  private:
      T &m_data;
  public: 
      explicit A(T &data) : m_data(data) {}
      void doSomething() {
          // 无需任何校验，m_data一定合法
      } 
  };
  

  记得给单参数构造函数加explicit，避免意外的隐式类型转换，这也是可复用代码的基本规范。

• 通用可复用场景：构造函数做运行时校验，非法输入直接抛异常
  如果你必须用指针作为入参（比如需要兼容遗留代码接口、或者要表达可选所有权语义），就在构造函数第一时间做非空校验，发现nullptr直接抛出带明确错误信息的异常（比如std::invalid_argument）。
  这种做法的好处是错误会在对象创建阶段就暴露，调用栈浅、定位快，同时调用方可以根据自己的业务场景选择捕获异常做降级处理，灵活性最高。而且一旦构造完成，所有成员函数都不需要重复做非空校验，不会出现漏加校验的逻辑漏洞。
  参考实现：

  #include <stdexcept>
  class A {
  private:
      T *m_data;
  public: 
      explicit A(T *data) : m_data(data) {
          if (m_data == nullptr) {
              throw std::invalid_argument("A constructor requires non-null T pointer");
          }
      }
      void doSomething() {
          // 构造阶段已保证m_data非空，直接访问即可
      } 
  };
  

• 性能极端敏感场景：Debug加断言，Release快速失败
  如果你写的是对性能开销抠到极致的底层库，连一次空指针判断的开销都不能接受，可以只在Debug编译版本加assert(m_data != nullptr)做校验，Release版本去掉所有检查，一旦调用方传空直接触发崩溃快速失败。
  注意这种方案对调用方非常不友好，只适合目标用户明确知晓接口契约、且性能收益远大于故障排查成本的场景，通用业务复用代码不要这么做。

• 如果类确实允许空状态：明确在接口层暴露语义
  要是你的类设计上就允许m_data为空（比如可选加载资源的句柄类），就不要藏着空状态靠前置条件约束调用方：要么提供bool hasData() const这类接口让调用方可以主动判断状态，要么在每个成员函数里明确处理空指针的分支逻辑，保证空状态下调用不会触发未定义行为。

为什么不推荐在doSomething里做校验 #

如果把空校验放到成员函数里，你需要在所有访问m_data的方法里重复写相同的校验逻辑，代码冗余不说，后续新增成员函数时很容易漏加校验，埋下隐患。构造函数统一校验才是符合封装原则的做法。

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