Add operator|( result, nullary-returning-value )

This commit is contained in:
Peter Dimov committed 2023-10-29 02:32:19 +03:00
1 parent 0cd351014b
commit c1fa3619b6
4 files changed
+198

No files matched your search

+34
View File
@@ -935,6 +935,40 @@ template<class T, class E, class U,
}
}
// result | nullary-returning-value
template<class T, class E, class F,
class U = decltype( std::declval<F>()() ),
class En = typename std::enable_if<detail::is_value_convertible_to<U, T>::value>::type
>
T operator|( result<T, E> const& r, F&& f )
{
if( r )
{
return *r;
}
else
{
return std::forward<F>( f )();
}
}
template<class T, class E, class F,
class U = decltype( std::declval<F>()() ),
class En = typename std::enable_if<detail::is_value_convertible_to<U, T>::value>::type
>
T operator|( result<T, E>&& r, F&& f )
{
if( r )
{
return *std::move( r );
}
else
{
return std::forward<F>( f )();
}
}
} // namespace system
} // namespace boost