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

This is an extension of cc0b970d but for the reference-handling
specialization of Optional.

This basically allow us to write code like:
```cpp
Optional<u8&> opt;
opt = OptionalNone{};
```
This commit is contained in:
Lucas CHOLLET 2023-11-28 00:22:46 -05:00 committed by Ali Mohammad Pur
parent d777b279e3
commit aaf54f8cf8
Notes: sideshowbarker 2024-07-17 02:37:08 +09:00

View File

@ -339,6 +339,16 @@ public:
ALWAYS_INLINE Optional() = default;
template<SameAs<OptionalNone> V>
Optional(V) { }
template<SameAs<OptionalNone> V>
Optional& operator=(V)
{
clear();
return *this;
}
template<typename U = T>
ALWAYS_INLINE Optional(U& value)
requires(CanBePlacedInOptional<U&>)
@ -409,6 +419,7 @@ public:
// Note: Disallows assignment from a temporary as this does not do any lifetime extension.
template<typename U>
requires(!IsSame<OptionalNone, RemoveCVReference<U>>)
ALWAYS_INLINE Optional& operator=(U&& value)
requires(CanBePlacedInOptional<U> && IsLvalueReference<U>)
{