Support result<void> &= fv. Refs #119.

This commit is contained in:
Peter Dimov committed 2024-04-09 03:01:38 +03:00
1 parent 4aeebd2173
commit 93852d1a7e
2 files changed
+41

No files matched your search

+14
View File
@@ -1296,6 +1296,20 @@ result<T, E>& operator&=( result<T, E>& r, F&& f )
return r;
}
template<class E, class F,
class U = decltype( std::declval<F>()() ),
class En = typename std::enable_if<!detail::is_result<U>::value>::type
>
result<void, E>& operator&=( result<void, E>& r, F&& f )
{
if( r )
{
std::forward<F>( f )();
}
return r;
}
// result &= unary-returning-result
template<class T, class E, class F,