std::optional<T>::or_else

template< class F > constexpr optional or_else( F&& f ) const&;	(1)	(C++23 起)
template< class F > constexpr optional or_else( F&& f ) &&;	(2)	(C++23 起)

若 *this 含值则返回它。否则返回 f 的结果。

若 std::remove_cvref_t<std::invoke_result_t<F>> 与 std::optional<T> 不是同一类型则程序非良构。

1) 等价于 return *this ? *this : std::forward<F>(f)(); 。此重载仅若 std::copy_constructible<T> 与 std::invocable<F> 均得到实现才参与重载决议。

2) 等价于 return *this ? std::move(*this) : std::forward<F>(f)(); 。此重载仅若 std::move_constructible<T> 与 std::invocable<F> 均得到实现才参与重载决议。

f

-

*this 或 f 的结果，如上所示。

value_or	若所含值可用则返回它，否则返回另一个值 (公开成员函数)
and_then (C++23)	若所含值存在则返回给定的函数在其上的结果，否则返回空的 `optional` (公开成员函数)
transform (C++23)	若所含值存在则返回含有变换后的所含值的 `optional` ，否则返回空的 `optional` (公开成员函数)

成员函数
optional::optional (C++17)
optional::~optional (C++17)
optional::operator= (C++17)
观察器
optional::operator->optional::operator* (C++17)(C++17)
optional::operator booloptional::has_value (C++17)(C++17)
optional::value (C++17)
optional::value_or (C++17)
单子操作
optional::and_then (C++23)
optional::transform (C++23)
optional::or_else (C++23)
修改器
optional::emplace (C++17)
optional::swap (C++17)
optional::reset (C++17)
非成员函数
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++17)(C++17)(C++17)(C++17)(C++17)(C++17)(C++20)
make_optional (C++17)
swap (C++17)
推导指引
辅助类
hash (C++17)
nullopt_t (C++17)
in_place_t (C++17)
bad_optional_access (C++17)
辅助对象
nullopt (C++17)
in_place (C++17)