C++虚基类可选函数参数：Nullptr与空对象模式对比

核心问题 #

当处理抽象基类类型的可选函数参数时，我们应该选择fn(Interface* pMaybeNull)的指针模式，还是基于空对象模式的fn(Interface& maybeNullObject)？下面结合C17/C20及现代编译器环境，从运行时特性、优缺点两方面分析：

运行时特性差异 #

指针模式 #

• 每次调用虚函数前必须做空指针检查，现代编译器（如GCC、Clang、MSVC）在-O2及以上优化等级下，若能确定指针非空（比如调用方始终传递有效地址），会自动消除冗余检查；但如果指针来源不确定，分支判断的开销无法避免。
• 虚函数调用本身的开销和空对象模式一致：都是通过vtable间接跳转，没有额外差异。

空对象模式 #

• 无需空检查，直接调用虚函数。空对象的Hello是无操作（noop），执行成本极低。
• 若使用全局静态的空对象实例（而非每次调用时创建局部对象），可以完全消除对象实例化的开销，仅在程序启动时初始化一次。

空对象模式的优势 #

• 安全性更高：C++引用强制非空，从根源上避免了因忘记判空导致的空指针崩溃问题，比如误写pOpt->Hello()而没加if (pOpt)的情况。
• 代码更简洁：函数内部无需维护分支逻辑，调用方的代码逻辑更统一——无论是否需要回调，都是传递一个对象实例，不需要区分nullptr和有效地址。
• 扩展性更强：如果后续需要给“无操作”场景添加逻辑（比如记录日志、统计调用次数），只需修改空对象类的实现，无需改动所有调用点和函数内部的检查代码。

指针模式的可取之处 #

• 极端场景下的零开销：当可选参数绝大多数情况下为空时，传递nullptr可以避免空对象的初始化开销（哪怕是全局对象，也有一次启动初始化的成本，虽然极小）；若编译器能优化掉空检查，此时的开销几乎为0。
• 语义更直观：nullptr直接表达“无对象”的含义，调用方一眼就能理解这是可选参数；而空对象需要了解NoopCall的语义才能明白是“无操作”。
• 兼容性更好：如果现有代码库已经广泛使用指针模式，切换到空对象模式需要修改大量函数定义和调用点，迁移成本较高；指针模式可以保持代码的向后兼容。
• 灵活性更强：指针可以在函数内部动态切换为nullptr或其他对象地址，而引用一旦绑定就无法更改，适合需要动态调整回调对象的场景。

优化建议（空对象模式） #

为了进一步简化空对象模式的使用，可以定义全局静态空对象，并给函数参数设置默认值：

struct CallbackBase {
  virtual ~CallbackBase() = default;
  virtual void Hello(/* 参数 */) = 0;
};

struct NoopCall : public CallbackBase {
  void Hello(/* 参数 */) override {} // 无操作实现
};

// 全局静态空对象，仅初始化一次
static NoopCall g_default_noop;

void DoTheThing2(/* 其他参数 */, CallbackBase& opt = g_default_noop) {
  opt.Hello(/* 参数传递 */);
}

// 调用示例
DoTheThing2(/* 其他参数 */); // 无需回调时直接省略参数
auto greet = ...;
DoTheThing2(/* 其他参数 */, greet); // 需要回调时传递有效实例

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