view_or_value.hpp

// Copyright 2015 MongoDB Inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
 
#pragma once
 
#include <type_traits>
 
#include <bsoncxx/view_or_value-fwd.hpp>
 
#include <bsoncxx/stdx/optional.hpp>
 
#include <bsoncxx/config/prelude.hpp>
 
namespace bsoncxx {
namespace v_noabi {
 
template <typename View, typename Value>
class view_or_value {
   public:
    using view_type = View;
    using value_type = Value;
 
    static_assert(std::is_constructible<View, Value>::value,
                  "View type must be constructible from a Value");
 
    static_assert(std::is_default_constructible<View>::value,
                  "View type must be default constructible");
 
    BSONCXX_INLINE view_or_value() = default;
 
    BSONCXX_INLINE view_or_value(View view) : _view{view} {}
 
    BSONCXX_INLINE view_or_value(Value&& value) : _value(std::move(value)), _view(*_value) {}
 
    BSONCXX_INLINE view_or_value(const view_or_value& other)
        : _value(other._value), _view(_value ? *_value : other._view) {}
 
    BSONCXX_INLINE view_or_value& operator=(const view_or_value& other) {
        _value = other._value;
        _view = _value ? *_value : other._view;
        return *this;
    }
 
 
    BSONCXX_INLINE view_or_value(view_or_value&& other) noexcept
        : _value{std::move(other._value)}, _view(_value ? *_value : std::move(other._view)) {
        other._view = View();
        other._value = stdx::nullopt;
    }
 
    BSONCXX_INLINE view_or_value& operator=(view_or_value&& other) noexcept {
        _value = std::move(other._value);
        _view = _value ? *_value : std::move(other._view);
        other._view = View();
        other._value = stdx::nullopt;
        return *this;
    }
 
    BSONCXX_INLINE bool is_owning() const noexcept {
        return static_cast<bool>(_value);
    }
 
    BSONCXX_INLINE operator View() const {
        return _view;
    }
 
    BSONCXX_INLINE const View& view() const {
        return _view;
    }
 
   private:
    stdx::optional<Value> _value;
    View _view;
};
 
template <typename View, typename Value>
BSONCXX_INLINE bool operator==(const view_or_value<View, Value>& lhs,
                               const view_or_value<View, Value>& rhs) {
    return lhs.view() == rhs.view();
}
 
template <typename View, typename Value>
BSONCXX_INLINE bool operator!=(const view_or_value<View, Value>& lhs,
                               const view_or_value<View, Value>& rhs) {
    return !(lhs == rhs);
}
 
template <typename View, typename Value>
BSONCXX_INLINE bool operator==(const view_or_value<View, Value>& lhs, View rhs) {
    return lhs.view() == rhs;
}
 
template <typename View, typename Value>
BSONCXX_INLINE bool operator==(View lhs, const view_or_value<View, Value>& rhs) {
    return rhs == lhs;
}
 
template <typename View, typename Value>
BSONCXX_INLINE bool operator!=(const view_or_value<View, Value>& lhs, View rhs) {
    return !(lhs == rhs);
}
 
template <typename View, typename Value>
BSONCXX_INLINE bool operator!=(View lhs, const view_or_value<View, Value>& rhs) {
    return !(rhs == lhs);
}
 
template <typename View, typename Value>
BSONCXX_INLINE bool operator==(const view_or_value<View, Value>& lhs, const Value& rhs) {
    return lhs.view() == View(rhs);
}
 
template <typename View, typename Value>
BSONCXX_INLINE bool operator==(const Value& lhs, const view_or_value<View, Value>& rhs) {
    return rhs == lhs;
}
 
template <typename View, typename Value>
BSONCXX_INLINE bool operator!=(const view_or_value<View, Value>& lhs, const Value& rhs) {
    return !(lhs == rhs);
}
 
template <typename View, typename Value>
BSONCXX_INLINE bool operator!=(const Value& lhs, const view_or_value<View, Value>& rhs) {
    return !(rhs == lhs);
}
 
}  // namespace v_noabi
}  // namespace bsoncxx
 
namespace bsoncxx {
 
using ::bsoncxx::v_noabi::operator==;
using ::bsoncxx::v_noabi::operator!=;
 
}  // namespace bsoncxx
 
#include <bsoncxx/config/postlude.hpp>