1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
|
/*
==============================================================================
This file is part of the JUCE framework.
Copyright (c) Raw Material Software Limited
JUCE is an open source framework subject to commercial or open source
licensing.
By downloading, installing, or using the JUCE framework, or combining the
JUCE framework with any other source code, object code, content or any other
copyrightable work, you agree to the terms of the JUCE End User Licence
Agreement, and all incorporated terms including the JUCE Privacy Policy and
the JUCE Website Terms of Service, as applicable, which will bind you. If you
do not agree to the terms of these agreements, we will not license the JUCE
framework to you, and you must discontinue the installation or download
process and cease use of the JUCE framework.
JUCE End User Licence Agreement: https://juce.com/legal/juce-8-licence/
JUCE Privacy Policy: https://juce.com/juce-privacy-policy
JUCE Website Terms of Service: https://juce.com/juce-website-terms-of-service/
Or:
You may also use this code under the terms of the AGPLv3:
https://www.gnu.org/licenses/agpl-3.0.en.html
THE JUCE FRAMEWORK IS PROVIDED "AS IS" WITHOUT ANY WARRANTY, AND ALL
WARRANTIES, WHETHER EXPRESSED OR IMPLIED, INCLUDING WARRANTY OF
MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE, ARE DISCLAIMED.
==============================================================================
*/
namespace juce
{
using Nullopt = std::nullopt_t;
constexpr auto nullopt = std::nullopt;
// Without this, our tests can emit "unreachable code" warnings during
// link time code generation.
JUCE_BEGIN_IGNORE_WARNINGS_MSVC (4702)
/** @cond */
#define JUCE_OPTIONAL_OPERATORS X(==) X(!=) X(<) X(<=) X(>) X(>=)
/** @endcond */
/**
A simple optional type.
In new code, you should probably prefer using std::optional directly.
This is intended to stand-in for std::optional while JUCE's minimum
supported language standard is lower than C++17. When the minimum language
standard moves to C++17, this class will probably be deprecated, in much
the same way that juce::ScopedPointer was deprecated in favour of
std::unique_ptr after C++11.
This isn't really intended to be used by JUCE clients. Instead, it's to be
used internally in JUCE code, with an API close-enough to std::optional
that the types can be swapped with fairly minor disruption at some point in
the future, but *without breaking any public APIs*.
@tags{Core}
*/
template <typename Value>
class Optional
{
template <typename> struct IsOptional : std::false_type {};
template <typename T> struct IsOptional<Optional<T>> : std::true_type {};
public:
Optional() = default;
Optional (const Optional&) = default;
Optional (Optional&&) = default;
Optional& operator= (const Optional&) = default;
Optional& operator= (Optional&&) = default;
Optional (Nullopt) noexcept {}
template <typename Head, typename... Tail, std::enable_if_t<! IsOptional<std::decay_t<Head>>::value, int> = 0>
Optional (Head&& head, Tail&&... tail)
noexcept (std::is_nothrow_constructible_v<std::optional<Value>, Head, Tail...>)
: opt (std::forward<Head> (head), std::forward<Tail> (tail)...) {}
template <typename Other>
Optional (const Optional<Other>& other)
noexcept (std::is_nothrow_constructible_v<std::optional<Value>, const std::optional<Other>&>)
: opt (other.opt) {}
template <typename Other>
Optional (Optional<Other>&& other)
noexcept (std::is_nothrow_constructible_v<std::optional<Value>, std::optional<Other>&&>)
: opt (std::move (other.opt)) {}
template <typename Other, std::enable_if_t<! IsOptional<std::decay_t<Other>>::value, int> = 0>
Optional& operator= (Other&& other)
noexcept (std::is_nothrow_assignable_v<std::optional<Value>, Other>)
{
opt = std::forward<Other> (other);
return *this;
}
template <typename Other>
Optional& operator= (const Optional<Other>& other)
noexcept (std::is_nothrow_assignable_v<std::optional<Value>, const std::optional<Other>&>)
{
opt = other.opt;
return *this;
}
template <typename Other>
Optional& operator= (Optional<Other>&& other)
noexcept (std::is_nothrow_assignable_v<std::optional<Value>, std::optional<Other>&&>)
{
opt = std::move (other.opt);
return *this;
}
template <typename... Other>
auto& emplace (Other&&... other)
{
return opt.emplace (std::forward<Other> (other)...);
}
void reset() noexcept
{
opt.reset();
}
void swap (Optional& other)
noexcept (std::is_nothrow_swappable_v<std::optional<Value>>)
{
opt.swap (other.opt);
}
decltype (auto) operator->() { return opt.operator->(); }
decltype (auto) operator->() const { return opt.operator->(); }
decltype (auto) operator* () { return opt.operator* (); }
decltype (auto) operator* () const { return opt.operator* (); }
explicit operator bool() const noexcept { return opt.has_value(); }
bool hasValue() const noexcept { return opt.has_value(); }
template <typename U>
decltype (auto) orFallback (U&& fallback) const& { return opt.value_or (std::forward<U> (fallback)); }
template <typename U>
decltype (auto) orFallback (U&& fallback) & { return opt.value_or (std::forward<U> (fallback)); }
#define X(op) \
template <typename T, typename U> friend bool operator op (const Optional<T>&, const Optional<U>&); \
template <typename T> friend bool operator op (const Optional<T>&, Nullopt); \
template <typename T> friend bool operator op (Nullopt, const Optional<T>&); \
template <typename T, typename U> friend bool operator op (const Optional<T>&, const U&); \
template <typename T, typename U> friend bool operator op (const T&, const Optional<U>&);
JUCE_OPTIONAL_OPERATORS
#undef X
private:
template <typename Other>
friend class Optional;
std::optional<Value> opt;
};
JUCE_END_IGNORE_WARNINGS_MSVC
template <typename Value>
Optional<std::decay_t<Value>> makeOptional (Value&& v)
{
return std::forward<Value> (v);
}
/** @cond */
#define X(op) \
template <typename T, typename U> bool operator op (const Optional<T>& lhs, const Optional<U>& rhs) { return lhs.opt op rhs.opt; } \
template <typename T> bool operator op (const Optional<T>& lhs, Nullopt rhs) { return lhs.opt op rhs; } \
template <typename T> bool operator op (Nullopt lhs, const Optional<T>& rhs) { return lhs op rhs.opt; } \
template <typename T, typename U> bool operator op (const Optional<T>& lhs, const U& rhs) { return lhs.opt op rhs; } \
template <typename T, typename U> bool operator op (const T& lhs, const Optional<U>& rhs) { return lhs op rhs.opt; }
JUCE_OPTIONAL_OPERATORS
#undef X
#undef JUCE_OPTIONAL_OPERATORS
/** @endcond */
} // namespace juce
|
