Enable result<void> & fv. Refs #117.

This commit is contained in:
Peter Dimov committed 2024-01-31 05:26:01 +02:00
1 parent 3f2f87f734
commit 5c1d0df893
2 files changed
+61

No files matched your search

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