17 #include <type_traits>
19 #include <bsoncxx/stdx/optional.hpp>
21 #include <bsoncxx/config/prelude.hpp>
24 inline namespace v_noabi {
28 template <
typename View,
typename Value>
31 using view_type = View;
32 using value_type = Value;
37 static_assert(std::is_constructible<View, Value>::value,
38 "View type must be constructible from a Value");
43 static_assert(std::is_default_constructible<View>::value,
44 "View type must be default constructible");
67 BSONCXX_INLINE
view_or_value(Value&& value) : _value(std::move(value)), _view(*_value) {}
73 : _value(other._value), _view(_value ? *_value : other._view) {}
79 _value = other._value;
80 _view = _value ? *_value : other._view;
90 : _value{std::move(other._value)}, _view(_value ? *_value : std::move(other._view)) {
92 other._value = stdx::nullopt;
100 _value = std::move(other._value);
101 _view = _value ? *_value : std::move(other._view);
102 other._view = View();
103 other._value = stdx::nullopt;
113 return static_cast<bool>(_value);
121 BSONCXX_INLINE
operator View()
const {
130 BSONCXX_INLINE
const View&
view()
const {
135 stdx::optional<Value> _value;
146 template <
typename View,
typename Value>
152 template <
typename View,
typename Value>
155 return !(lhs == rhs);
168 template <
typename View,
typename Value>
170 return lhs.
view() == rhs;
173 template <
typename View,
typename Value>
178 template <
typename View,
typename Value>
180 return !(lhs == rhs);
183 template <
typename View,
typename Value>
184 BSONCXX_INLINE
bool operator!=(View lhs,
const view_or_value<View, Value>& rhs) {
185 return !(rhs == lhs);
188 template <
typename View,
typename Value>
189 BSONCXX_INLINE
bool operator==(
const view_or_value<View, Value>& lhs,
const Value& rhs) {
190 return lhs.view() == View(rhs);
193 template <
typename View,
typename Value>
194 BSONCXX_INLINE
bool operator==(
const Value& lhs,
const view_or_value<View, Value>& rhs) {
198 template <
typename View,
typename Value>
199 BSONCXX_INLINE
bool operator!=(
const view_or_value<View, Value>& lhs,
const Value& rhs) {
200 return !(lhs == rhs);
203 template <
typename View,
typename Value>
204 BSONCXX_INLINE
bool operator!=(
const Value& lhs,
const view_or_value<View, Value>& rhs) {
205 return !(rhs == lhs);
214 #include <bsoncxx/config/postlude.hpp>
Class representing a view-or-value variant type.
Definition: view_or_value.hpp:29
view_or_value(View view)
Construct a view_or_value from a View.
Definition: view_or_value.hpp:59
view_or_value()=default
Class View must be constructible from an instance of class Value.
view_or_value(const view_or_value &other)
Construct a view_or_value from a copied view_or_value.
Definition: view_or_value.hpp:72
const View & view() const
Get a View for the type.
Definition: view_or_value.hpp:130
bool is_owning() const noexcept
Return whether or not this view_or_value owns an underlying Value.
Definition: view_or_value.hpp:112
view_or_value(Value &&value)
Constructs a view_or_value from a Value type.
Definition: view_or_value.hpp:67
bool operator==(const view_or_value< View, Value > &lhs, View rhs)
Mixed (in)-equality operators for view_or_value against View or Value types.
Definition: view_or_value.hpp:169
view_or_value & operator=(view_or_value &&other) noexcept
Assign to this view_or_value from a moved-in view_or_value.
Definition: view_or_value.hpp:99
view_or_value & operator=(const view_or_value &other)
Assign to this view_or_value from a copied view_or_value.
Definition: view_or_value.hpp:78
view_or_value(view_or_value &&other) noexcept
Construct a view_or_value from a moved-in view_or_value.
Definition: view_or_value.hpp:89
bool operator==(const view_or_value< View, Value > &lhs, const view_or_value< View, Value > &rhs)
Compare view_or_value objects for (in)-equality.
Definition: view_or_value.hpp:147
The top-level namespace for bsoncxx library entities.
Definition: element.hpp:24