system/serenity
system/serenity
1
0
Fork 0
mirror of https://github.com/SerenityOS/serenity synced 2024-07-23 11:04:40 +00:00
Code Issues Actions 4 Packages Projects Releases Wiki Activity

AK: Allow Optional<T> to be constructed by OptionalNone()

Browse source 
This is needed by the Jakt runtime too.
This commit is contained in:
Ali Mohammad Pur 2022-12-09 23:14:40 +03:30 committed by Ali Mohammad Pur
parent 12e4cd3b77
commit cc0b970d81
1 changed files with 15 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
AK/Optional.h
View file

@ -44,6 +44,10 @@ using ConditionallyResultType = typename Detail::ConditionallyResultType<conditi
template<typename>
class Optional;
struct OptionalNone {
explicit OptionalNone() = default;
};
template<typename T>
requires(!IsLvalueReference<T>) class [[nodiscard]] Optional<T> {
template<typename U>
@ -56,6 +60,16 @@ public:
ALWAYS_INLINE Optional() = default;
template<SameAs<OptionalNone> V>
Optional(V) { }
template<SameAs<OptionalNone> V>
Optional& operator=(V)
{
clear();
return *this;
}
#ifdef AK_HAS_CONDITIONALLY_TRIVIAL
Optional(Optional const& other)
requires(!IsCopyConstructible<T>)
@ -115,6 +129,7 @@ public:
}
template<typename U = T>
requires(!IsSame<OptionalNone, RemoveCVReference<U>>)
ALWAYS_INLINE explicit(!IsConvertible<U&&, T>) Optional(U&& value)
requires(!IsSame<RemoveCVReference<U>, Optional<T>> && IsConstructible<T, U &&>)
: m_has_value(true)