C++中如何将const引用函数参数设为可选？含std::optional方案

一、用std::optional + std::reference_wrapper实现（C++17及以上） #

C17和C20都不允许std::optional直接存储引用类型（比如std::optional<const Foo&>是非法的），所以可以用std::reference_wrapper包装const引用，再结合std::optional实现可选参数。

函数签名修改 #

#include <optional>
#include <functional>  // 引入std::reference_wrapper和std::cref

void MyFunc(Bar someArg, std::optional<std::reference_wrapper<const Foo>> foo = std::nullopt);

这里把默认值设为std::nullopt，明确表示该参数可选。

调用方式 #

• 不需要传入Foo的场景：直接省略第二个参数

  MyFunc(myBar);
  

• 需要传入Foo的场景：直接传GetFoo()的返回值，或者用std::cref包装本地const Foo实例

  // 调用GetFoo()获取Foo引用传入
  MyFunc(myBar, GetFoo());
  // 本地有const Foo实例时
  const Foo localFoo = ...;
  MyFunc(myBar, std::cref(localFoo));
  

函数内部使用 #

在函数里先判断参数是否有值，再取出引用使用：

void MyFunc(Bar someArg, std::optional<std::reference_wrapper<const Foo>> foo) {
    if (foo.has_value()) {
        // 取出const Foo引用
        const Foo& targetFoo = foo.value().get();
        // 正常使用targetFoo，比如调用成员函数
        targetFoo.doSomething();
    } else {
        // 没有传入Foo时的处理逻辑
    }
}

二、C++20的相关说明 #

C20依然没有放开std::optional存储引用类型的限制，所以还是得依赖std::reference_wrapper来实现可选引用参数，用法和C17完全一致。

三、关于其他方案的问题 #

• 指针方案：虽然可行，但空指针的语义不够明确（可能被误解为“需要修改的指针”），而且需要手动判空，不如std::optional的“可选”语义清晰。
• 哑元实例：需要额外维护一个全局的Foo哑元对象，若Foo的构造有特殊逻辑或开销，哑元可能不符合预期，还会增加维护成本。
• 重载函数：如果函数体逻辑复杂，重载会导致大量代码重复，后续修改需要同步更新多个重载版本，维护效率低。

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