std::optional与默认参数实现可选函数参数的差异及行业优选方案

你给出的两个实现在**不需要区分「用户未传入第二个参数」和「用户主动传入空指针」**的场景下，功能确实完全等价。但两者在语义表达、可维护性、扩展能力上有本质区别，并不是只有引用、可选返回值场景才需要用std::optional。

• 语义歧义的区别
  裸指针默认设为nullptr的实现，无法区分两种场景：用户没有传第二个参数、用户主动传了空指针作为第二个参数。如果函数逻辑需要做差异化处理（比如未传参就用全局默认B实例、传了参数哪怕是空也优先用用户传入的值），默认nullptr的方案完全无法实现。std::optional可以通过has_value()明确判断用户是否传入了参数，没有语义歧义。
• 可扩展性的区别
  如果后续迭代需要把第二个参数的类型从指针修改为值类型、左值引用等非指针类型，默认nullptr的方案会完全失效，需要修改所有调用方的代码。而std::optional的方案只需要修改参数声明，调用方传std::nullopt的逻辑不需要做任何改动，适配成本极低。
• 接口可读性的区别
  std::optional<T>类型本身就明确告知调用方该参数是可选的，不需要翻阅函数声明查看默认值。而裸指针作为参数时，调用方必须查看函数实现才能确认空指针是合法输入、还是传入空会触发异常。

std::optional方案优势 #

• 语义无歧义，明确区分「未传参」和「传了空值」两种场景
• 适配所有参数类型，值类型、引用类型、指针类型通用，不需要针对类型调整默认值逻辑
• 配套工具链完善，可以用value_or()、has_value()等方法简化空值判断代码，减少冗余逻辑
• 和可选返回值的实现风格统一，全项目代码规范一致性更高

默认nullptr方案优势 #

• 写法更简洁，不需要引入<optional>头文件
• 兼容C++17之前的标准，适合无法升级编译器的老旧项目
• 运行时内存开销和裸指针完全一致，适合对内存占用要求极致苛刻的场景

这个问题确实更多属于编码规范范畴，两种写法语法上完全合法，编译器不会做任何限制。目前行业普遍遵循的选择规则如下：

1. 项目使用C++17及以上标准时，所有可选参数优先用std::optional实现，语义清晰度和可维护性更高
2. 只有同时满足以下所有条件时，可以用默认nullptr的方案：参数本身是指针类型、完全不需要区分「未传参」和「主动传空」、后续不会修改参数类型
3. 非指针类型的可选参数、可选返回值场景，禁止用魔法值（比如int参数用-1表示未传）或空指针模拟，必须用std::optional实现

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