/*=============================================================================
  Copyright (c) 2011-2016 Bolero MURAKAMI
  https://github.com/bolero-MURAKAMI/Sprout

  Distributed under the Boost Software License, Version 1.0. (See accompanying
  file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
=============================================================================*/
#ifndef SPROUT_UTILITY_VALUE_HOLDER_VALUE_HOLDER_HPP
#define SPROUT_UTILITY_VALUE_HOLDER_VALUE_HOLDER_HPP

#include <type_traits>
#include <initializer_list>
#include <sprout/config.hpp>
#include <sprout/workaround/std/cstddef.hpp>
#include <sprout/memory/addressof.hpp>
#include <sprout/utility/swap.hpp>
#include <sprout/utility/forward.hpp>
#include <sprout/utility/move.hpp>
#include <sprout/type_traits/is_constructible.hpp>
#include <sprout/optional/in_place.hpp>
#include <sprout/optional/exceptions.hpp>

namespace sprout {
	namespace detail {
		template<typename T>
		struct holder_helper {
		public:
			typedef T value_type;
			typedef T& lvalue_reference;
			typedef T&& rvalue_reference;
			typedef lvalue_reference reference;
			typedef T const& const_lvalue_reference;
			typedef T const&& const_rvalue_reference;
			typedef const_lvalue_reference const_reference;
			typedef T const& mutable_or_const_reference;
			typedef T* pointer;
			typedef T const* const_pointer;
			typedef T const* mutable_or_const_pointer;
			typedef T const& param_type;
			typedef T&& movable_param_type;
			typedef T holder_type;
		public:
			static SPROUT_CONSTEXPR holder_type const& hold(param_type p) SPROUT_NOEXCEPT {
				return p;
			}
			static SPROUT_CONSTEXPR holder_type&& hold(movable_param_type p) SPROUT_NOEXCEPT {
				return sprout::move(p);
			}
			static SPROUT_CONSTEXPR reference ref(holder_type& r) SPROUT_NOEXCEPT {
				return r;
			}
			static SPROUT_CONSTEXPR const_reference ref(holder_type const& r) SPROUT_NOEXCEPT {
				return r;
			}
			static SPROUT_CONSTEXPR pointer ptr(holder_type& r) SPROUT_NOEXCEPT {
				return sprout::addressof(r);
			}
			static SPROUT_CONSTEXPR const_pointer ptr(holder_type const& r) SPROUT_NOEXCEPT {
				return sprout::addressof(r);
			}
		};
		template<typename T>
		struct holder_helper<T const> {
		public:
			typedef T value_type;
			typedef T const& lvalue_reference;
			typedef T const&& rvalue_reference;
			typedef lvalue_reference reference;
			typedef T const& const_lvalue_reference;
			typedef T const&& const_rvalue_reference;
			typedef const_lvalue_reference const_reference;
			typedef T const& mutable_or_const_reference;
			typedef T const* pointer;
			typedef T const* const_pointer;
			typedef T const* mutable_or_const_pointer;
			typedef T const& param_type;
			typedef T const&& movable_param_type;
			typedef T holder_type;
		public:
			static SPROUT_CONSTEXPR holder_type const& hold(param_type p) SPROUT_NOEXCEPT {
				return p;
			}
			static SPROUT_CONSTEXPR holder_type const&& hold(movable_param_type p) SPROUT_NOEXCEPT {
				return sprout::move(p);
			}
			static SPROUT_CONSTEXPR reference ref(holder_type& r) SPROUT_NOEXCEPT {
				return r;
			}
			static SPROUT_CONSTEXPR const_reference ref(holder_type const& r) SPROUT_NOEXCEPT {
				return r;
			}
			static SPROUT_CONSTEXPR pointer ptr(holder_type& r) SPROUT_NOEXCEPT {
				return sprout::addressof(r);
			}
			static SPROUT_CONSTEXPR const_pointer ptr(holder_type const& r) SPROUT_NOEXCEPT {
				return sprout::addressof(r);
			}
		};
		template<typename T>
		struct holder_helper<T&> {
		public:
			typedef T value_type;
			typedef T& lvalue_reference;
			typedef T& rvalue_reference;
			typedef lvalue_reference reference;
			typedef T const& const_lvalue_reference;
			typedef T const& const_rvalue_reference;
			typedef const_lvalue_reference const_reference;
			typedef T& mutable_or_const_reference;
			typedef T* pointer;
			typedef T const* const_pointer;
			typedef T* mutable_or_const_pointer;
			typedef T& param_type;
			typedef T&& movable_param_type;
			typedef T* holder_type;
		public:
			static SPROUT_CONSTEXPR holder_type hold(param_type p) SPROUT_NOEXCEPT {
				return sprout::addressof(p);
			}
			static SPROUT_CONSTEXPR reference ref(holder_type r) {
				return *r;
				// !!!
//				return r ? *r
//					: (throw sprout::bad_optional_access("value_holder<>: bad optional access"), *r)
//					;
			}
			static SPROUT_CONSTEXPR pointer ptr(holder_type r) SPROUT_NOEXCEPT {
				return r;
			}
		};
		template<typename T>
		struct holder_helper<T const&> {
		public:
			typedef T value_type;
			typedef T const& lvalue_reference;
			typedef T const& rvalue_reference;
			typedef lvalue_reference reference;
			typedef T const& const_lvalue_reference;
			typedef T const& const_rvalue_reference;
			typedef const_lvalue_reference const_reference;
			typedef T const& mutable_or_const_reference;
			typedef T const* pointer;
			typedef T const* const_pointer;
			typedef T const* mutable_or_const_pointer;
			typedef T const& param_type;
			typedef T const&& movable_param_type;
			typedef T const* holder_type;
		public:
			static SPROUT_CONSTEXPR holder_type hold(param_type p) SPROUT_NOEXCEPT {
				return sprout::addressof(p);
			}
			static SPROUT_CONSTEXPR reference ref(holder_type r) {
				return *r;
				// !!!
//				return r ? *r
//					: (throw sprout::bad_optional_access("value_holder<>: bad optional access"), *r)
//					;
			}
			static SPROUT_CONSTEXPR pointer ptr(holder_type r) SPROUT_NOEXCEPT {
				return r;
			}
		};
	}	// namespace detail
	//
	// value_holder
	//
	template<typename T>
	class value_holder {
	public:
		typedef T type;
	private:
		typedef sprout::detail::holder_helper<type> helper_type;
		typedef typename helper_type::holder_type holder_type;
	public:
		typedef typename helper_type::value_type value_type;
		typedef typename helper_type::lvalue_reference lvalue_reference;
		typedef typename helper_type::rvalue_reference rvalue_reference;
		typedef typename helper_type::reference reference;
		typedef typename helper_type::const_lvalue_reference const_lvalue_reference;
		typedef typename helper_type::const_rvalue_reference const_rvalue_reference;
		typedef typename helper_type::const_reference const_reference;
		typedef typename helper_type::mutable_or_const_reference mutable_or_const_reference;
		typedef typename helper_type::pointer pointer;
		typedef typename helper_type::const_pointer const_pointer;
		typedef typename helper_type::mutable_or_const_pointer mutable_or_const_pointer;
		typedef typename helper_type::param_type param_type;
		typedef typename helper_type::movable_param_type movable_param_type;
		typedef lvalue_reference lvalue_reference_type;
		typedef rvalue_reference rvalue_reference_type;
		typedef reference reference_type;
		typedef mutable_or_const_reference reference_const_type;
		typedef pointer pointer_type;
		typedef mutable_or_const_pointer pointer_const_type;
		typedef param_type argument_type;
		typedef movable_param_type movable_argument_type;
	public:
		template<typename... Args>
		struct is_constructible_args
			: public sprout::is_constructible<T, Args&&...>
		{};
	public:
		static SPROUT_CONSTEXPR reference get(value_holder& t) SPROUT_NOEXCEPT {
			return helper_type::ref(t.holder_);
		}
		static SPROUT_CONSTEXPR rvalue_reference get(value_holder&& t) SPROUT_NOEXCEPT {
			return static_cast<rvalue_reference>(get(t));
		}
		static SPROUT_CONSTEXPR mutable_or_const_reference get(value_holder const& t) SPROUT_NOEXCEPT {
			return helper_type::ref(t.holder_);
		}
		static SPROUT_CONSTEXPR pointer get_pointer(value_holder& t) SPROUT_NOEXCEPT {
			return helper_type::ptr(t.holder_);
		}
		static SPROUT_CONSTEXPR pointer get_pointer(value_holder&& t) SPROUT_NOEXCEPT {
			return get_pointer(t);
		}
		static SPROUT_CONSTEXPR mutable_or_const_pointer get_pointer(value_holder const& t) SPROUT_NOEXCEPT {
			return helper_type::ptr(t.holder_);
		}
	private:
		holder_type holder_;
	public:
		SPROUT_CONSTEXPR value_holder()
			: holder_()
		{}
		value_holder(value_holder const&) = default;
		value_holder(value_holder&&) = default;
		explicit SPROUT_CONSTEXPR value_holder(argument_type p)
			: holder_(helper_type::hold(p))
		{}
		explicit SPROUT_CONSTEXPR value_holder(movable_argument_type p)
			: holder_(helper_type::hold(sprout::move(p)))
		{}
		template<
			typename... Args,
			typename = typename std::enable_if<is_constructible_args<Args...>::value>::type
		>
		explicit SPROUT_CONSTEXPR value_holder(sprout::in_place_t, Args&&... args)
			: holder_(SPROUT_FORWARD(Args, args)...)
		{}
		template<
			typename U, typename... Args,
			typename = typename std::enable_if<is_constructible_args<std::initializer_list<U>&, Args...>::value>::type
		>
		explicit SPROUT_CONSTEXPR value_holder(sprout::in_place_t, std::initializer_list<U> il, Args&&... args)
			: holder_(il, SPROUT_FORWARD(Args, args)...)
		{}

		SPROUT_CXX14_CONSTEXPR value_holder& operator=(value_holder const& rhs) {
			value_holder temp(rhs);
			temp.swap(*this);
			return *this;
		}
		SPROUT_CXX14_CONSTEXPR value_holder& operator=(value_holder&& rhs) {
			value_holder temp(sprout::move(rhs));
			temp.swap(*this);
			return *this;
		}
		SPROUT_CXX14_CONSTEXPR value_holder& operator=(argument_type p) {
			value_holder temp(p);
			temp.swap(*this);
			return *this;
		}
		SPROUT_CXX14_CONSTEXPR value_holder& operator=(movable_argument_type p) {
			value_holder temp(sprout::move(p));
			temp.swap(*this);
			return *this;
		}

		SPROUT_CXX14_CONSTEXPR void swap(value_holder& other)
		SPROUT_NOEXCEPT_IF_EXPR(sprout::swap(holder_, other.holder_))
		{
			sprout::swap(holder_, other.holder_);
		}

		SPROUT_CXX14_CONSTEXPR operator reference() {
			return helper_type::ref(holder_);
		}
		SPROUT_CONSTEXPR operator mutable_or_const_reference() const {
			return helper_type::ref(holder_);
		}
		SPROUT_CXX14_CONSTEXPR reference operator*() {
			return helper_type::ref(holder_);
		}
		SPROUT_CONSTEXPR mutable_or_const_reference operator*() const {
			return helper_type::ref(holder_);
		}
		SPROUT_CXX14_CONSTEXPR reference get() {
			return helper_type::ref(holder_);
		}
		SPROUT_CONSTEXPR mutable_or_const_reference get() const {
			return helper_type::ref(holder_);
		}
		SPROUT_CXX14_CONSTEXPR reference value() {
			return get();
		}
		SPROUT_CONSTEXPR mutable_or_const_reference value() const {
			return get();
		}

		SPROUT_CXX14_CONSTEXPR pointer operator->() SPROUT_NOEXCEPT {
			return helper_type::ptr(holder_);
		}
		SPROUT_CONSTEXPR mutable_or_const_pointer operator->() const SPROUT_NOEXCEPT {
			return helper_type::ptr(holder_);
		}
		SPROUT_CXX14_CONSTEXPR pointer get_pointer() SPROUT_NOEXCEPT {
			return helper_type::ptr(holder_);
		}
		SPROUT_CONSTEXPR mutable_or_const_pointer get_pointer() const SPROUT_NOEXCEPT {
			return helper_type::ptr(holder_);
		}
		SPROUT_CXX14_CONSTEXPR pointer get_ptr() SPROUT_NOEXCEPT {
			return get_pointer();
		}
		SPROUT_CONSTEXPR mutable_or_const_pointer get_ptr() const SPROUT_NOEXCEPT {
			return get_pointer();
		}

		SPROUT_EXPLICIT_CONVERSION SPROUT_CONSTEXPR operator bool() const SPROUT_NOEXCEPT {
			return is_initialized();
		}
		SPROUT_CONSTEXPR bool operator!() const SPROUT_NOEXCEPT {
			return !is_initialized();
		}
		SPROUT_CONSTEXPR bool is_initialized() const SPROUT_NOEXCEPT {
			return !!get_pointer();
		}
	};

	//
	// swap
	//
	template<typename T>
	inline SPROUT_CXX14_CONSTEXPR void
	swap(sprout::value_holder<T>& lhs, sprout::value_holder<T>& rhs)
	SPROUT_NOEXCEPT_IF_EXPR(lhs.swap(rhs))
	{
		lhs.swap(rhs);
	}
}	// namespace sprout

#endif	// #ifndef SPROUT_UTILITY_VALUE_HOLDER_VALUE_HOLDER_HPP