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

This commit is contained in:
Peter Dimov
2023-10-31 02:44:45 +02:00
parent a58115cb50
commit ca5bca39ce
4 changed files with 135 additions and 0 deletions
+19
View File
@@ -1118,6 +1118,25 @@ U operator&( result<T, E>&& r, F&& f )
}
}
// operator&=
// result &= unary-returning-value
template<class T, class E, class F,
class U = decltype( std::declval<F>()( std::declval<T>() ) ),
class En1 = typename std::enable_if<!detail::is_result<U>::value>::type,
class En2 = typename std::enable_if<detail::is_value_convertible_to<U, T>::value>::type
>
result<T, E>& operator&=( result<T, E>& r, F&& f )
{
if( r )
{
r = std::forward<F>( f )( *std::move( r ) );
}
return r;
}
} // namespace system
} // namespace boost