为何C++核心准则未推荐在合适场景用std::optional替代指针？

首先明确一个前提：《C++核心准则》里仅一次提及可选值的实现方式：

若你需要表示可选值的概念，可以使用指针、std::optional或用于表示‘无值’的特殊值。

准则并未明确推荐用std::optional替代指针，下面从几个维度分析非多态场景下std::optional相对空指针的劣势：

• 内存与性能开销
  std::optional默认会存储值的副本（除非用std::optional<std::reference_wrapper<T>>包装，但会额外增加复杂度），对于大型对象来说，这会带来额外的内存占用和拷贝成本。而空指针仅存储一个地址，内存开销极小，且无需拷贝对象本身。

• 既有代码兼容性差
  大量遗留或成熟的C++代码库都用空指针表示可选值，改用std::optional需要修改接口和调用逻辑，迁移成本高。尤其是和C代码交互时，指针是天然的兼容方式，std::optional无法直接传递给C函数。

• 对象生命周期控制灵活性不足
  空指针可以指向堆上分配的对象，配合手动管理或智能指针，能灵活控制对象生命周期，比如在多个地方共享同一个实例。而std::optional默认存的是值类型，要实现共享得额外包装引用或智能指针，反而徒增复杂度。

• 部分场景语法更繁琐
  访问std::optional内部值时，要先检查has_value()，再用value()、value_or()或解引用操作符；空指针虽然也要判空，但语法上更符合C++开发者的使用习惯。比如：

  // std::optional的访问逻辑
  if (opt.has_value()) {
      do_something(*opt);
  }
  // 空指针的访问逻辑
  if (ptr != nullptr) {
      do_something(*ptr);
  }
  

• 无法直接关联外部已存在对象
  如果可选对象是外部创建后传入的，空指针可以直接指向该对象，无需额外操作。而std::optional要么存副本，要么得用引用包装器，没法直接关联外部实例（用引用包装器还会带来引用失效的风险）。

当然要说明的是，std::optional的表意清晰度是明显优势，能明确传递「可选值」的意图，避免空指针的歧义——没法区分是有意设为空还是未初始化。但在上述场景里，空指针仍有不可替代的价值。

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