能否基于可空参数构造std::optional<>？C++标准库是否有对应方法？

结论 #

C++标准库没有直接提供和Scala、Java可选类型逻辑完全一致的内置构造函数，但可以用极短的代码实现相同效果。

核心原因说明 #

std::optional<T>默认是值语义的容器，和Java/Scala中默认针对引用类型设计的可选类型定位不同：

• 如果你声明的是std::optional<T>（存储T类型的值），nullptr本身不是T的合法取值，传入nullptr自然会触发编译或运行异常
• 如果你声明的是std::optional<T*>（存储T类型的指针），传入nullptr会得到包含nullptr的非空可选值，而不是空的可选值，和你预期的逻辑不符

实现方案 #

1. 单次使用直接用三元运算符

一行代码即可满足需求，C++17及以上支持类模板参数推导，无需手动指定类型：

// 要转换的原始指针
T* raw_ptr = get_some_pointer();
// 生成存储值副本的optional：指针非空就存副本，为空就返回空optional
auto opt_val = raw_ptr ? std::optional(*raw_ptr) : std::nullopt;
// 生成存储指针的optional：指针非空就存指针，为空就返回空optional
auto opt_ptr = raw_ptr ? std::optional(raw_ptr) : std::nullopt;

2. 高频使用封装工具函数

可以封装一个通用工具函数，完全对齐Scala、Java的可选类型构造逻辑：

#include <optional>
#include <type_traits>

// 针对指针类型的重载：指针非空则解引用存值，为空返回空optional
template<typename T>
std::optional<std::remove_pointer_t<T>> make_optional_auto(T ptr) {
    return ptr ? std::optional(*ptr) : std::nullopt;
}

// 针对非指针类型的重载：直接返回包含值的非空optional
template<typename T>
requires (!std::is_pointer_v<T>)
std::optional<T> make_optional_auto(T&& val) {
    return std::optional(std::forward<T>(val));
}

使用示例：

int a = 10;
int* p_null = nullptr;
int* p_a = &a;

auto opt1 = make_optional_auto(p_null); // 空optional<int>
auto opt2 = make_optional_auto(p_a); // 非空optional<int>，存储值10
auto opt3 = make_optional_auto(20); // 非空optional<int>，存储值20

注意：不要尝试给std::optional自定义非标准构造函数，该行为属于C++标准未定义行为，可能引发兼容性问题。

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