Add operator&( result, unary-returning-value )

This commit is contained in:
Peter Dimov committed 2023-10-29 19:37:43 +02:00
1 parent 47a08cb35b
commit 194b84e663
4 files changed
+194

No files matched your search

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