C++中初始化optional为nullopt或值的简洁惯用方法？

针对std::optional初始化时遇到的类型匹配问题，这里提供几种符合DRY原则、支持复杂类型的单语句解决方案，覆盖不同C++版本：

C++17 方案 #

方法1：结合std::make_optional与三元表达式 #

利用std::make_optional自动推导类型的特性，避免重复书写类型名，同时兼容自定义结构体等复杂类型：

auto myopt = some_condition ? std::nullopt : std::make_optional(123);
// 自定义结构体示例
struct MyStruct { int x; std::string y; };
auto my_struct_opt = some_condition ? std::nullopt : std::make_optional(MyStruct{42, "hello"});

std::make_optional会完美转发参数构造目标类型，即使构造函数是explicit也能正常工作。

方法2：自定义辅助函数（更简洁） #

如果频繁使用这类逻辑，可封装模板函数进一步简化调用：

template<typename T>
constexpr std::optional<std::decay_t<T>> opt_when_not(bool condition, T&& value) {
    return condition ? std::nullopt : std::make_optional(std::forward<T>(value));
}

// 使用示例
auto myopt = opt_when_not(some_condition, 123);
auto my_struct_opt = opt_when_not(some_condition, MyStruct{42, "hello"});

函数会自动推导返回的optional类型，无需显式指定，完全符合DRY原则。

C++20 方案 #

C++20优化了std::optional的推导指引，可直接用列表初始化省略类型名：

auto myopt = some_condition ? std::nullopt : std::optional{123};
auto my_struct_opt = some_condition ? std::nullopt : std::optional{MyStruct{42, "hello"}};

写法比C++17的std::make_optional更紧凑，同样支持复杂类型初始化。

C++23 方案 #

C23针对std::optional新增了operator|=等特性，但初始化场景下最实用的还是延续C20的写法，核心逻辑一致。

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