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/stdx/optional.hpp>

#include <bsoncxx/config/prelude.hpp>

namespace bsoncxx {
BSONCXX_INLINE_NAMESPACE_BEGIN

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);
}

BSONCXX_INLINE_NAMESPACE_END
}  // namespace bsoncxx

#include <bsoncxx/config/postlude.hpp>