123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383 |
- //-----------------------------------------------------------------------------
- // boost variant/get.hpp header file
- // See http://www.boost.org for updates, documentation, and revision history.
- //-----------------------------------------------------------------------------
- //
- // Copyright (c) 2003 Eric Friedman, Itay Maman
- // Copyright (c) 2014-2019 Antony Polukhin
- //
- // 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 BOOST_VARIANT_GET_HPP
- #define BOOST_VARIANT_GET_HPP
- #include <exception>
- #include <boost/config.hpp>
- #include <boost/detail/workaround.hpp>
- #include <boost/static_assert.hpp>
- #include <boost/throw_exception.hpp>
- #include <boost/utility/addressof.hpp>
- #include <boost/variant/variant_fwd.hpp>
- #include <boost/variant/detail/element_index.hpp>
- #include <boost/variant/detail/move.hpp>
- #include <boost/type_traits/add_reference.hpp>
- #include <boost/type_traits/add_pointer.hpp>
- #include <boost/type_traits/is_lvalue_reference.hpp>
- namespace boost {
- #if defined(BOOST_CLANG)
- # pragma clang diagnostic push
- # pragma clang diagnostic ignored "-Wweak-vtables"
- #endif
- //////////////////////////////////////////////////////////////////////////
- // class bad_get
- //
- // The exception thrown in the event of a failed get of a value.
- //
- class BOOST_SYMBOL_VISIBLE bad_get
- : public std::exception
- {
- public: // std::exception implementation
- virtual const char * what() const BOOST_NOEXCEPT_OR_NOTHROW
- {
- return "boost::bad_get: "
- "failed value get using boost::get";
- }
- };
- #if defined(BOOST_CLANG)
- # pragma clang diagnostic pop
- #endif
- //////////////////////////////////////////////////////////////////////////
- // function template get<T>
- //
- // Retrieves content of given variant object if content is of type T.
- // Otherwise: pointer ver. returns 0; reference ver. throws bad_get.
- //
- namespace detail { namespace variant {
- // (detail) class template get_visitor
- //
- // Generic static visitor that: if the value is of the specified type,
- // returns a pointer to the value it visits; else a null pointer.
- //
- template <typename T>
- struct get_visitor
- {
- private: // private typedefs
- typedef typename add_pointer<T>::type pointer;
- typedef typename add_reference<T>::type reference;
- public: // visitor typedefs
- typedef pointer result_type;
- public: // visitor interfaces
- pointer operator()(reference operand) const BOOST_NOEXCEPT
- {
- return boost::addressof(operand);
- }
- template <typename U>
- pointer operator()(const U&) const BOOST_NOEXCEPT
- {
- return static_cast<pointer>(0);
- }
- };
- }} // namespace detail::variant
- #ifndef BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE
- # if !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x0551))
- # define BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(t)
- # else
- # define BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(t) \
- , t* = 0
- # endif
- #endif
- /////////////////////////////////////////////////////////////////////////////////////////////////////////////
- // relaxed_get<U>(variant) methods
- //
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- typename add_pointer<U>::type
- relaxed_get(
- boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >* operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- ) BOOST_NOEXCEPT
- {
- typedef typename add_pointer<U>::type U_ptr;
- if (!operand) return static_cast<U_ptr>(0);
- detail::variant::get_visitor<U> v;
- return operand->apply_visitor(v);
- }
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- typename add_pointer<const U>::type
- relaxed_get(
- const boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >* operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- ) BOOST_NOEXCEPT
- {
- typedef typename add_pointer<const U>::type U_ptr;
- if (!operand) return static_cast<U_ptr>(0);
- detail::variant::get_visitor<const U> v;
- return operand->apply_visitor(v);
- }
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- typename add_reference<U>::type
- relaxed_get(
- boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >& operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- )
- {
- typedef typename add_pointer<U>::type U_ptr;
- U_ptr result = relaxed_get<U>(boost::addressof(operand));
- if (!result)
- boost::throw_exception(bad_get());
- return *result;
- }
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- typename add_reference<const U>::type
- relaxed_get(
- const boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >& operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- )
- {
- typedef typename add_pointer<const U>::type U_ptr;
- U_ptr result = relaxed_get<const U>(boost::addressof(operand));
- if (!result)
- boost::throw_exception(bad_get());
- return *result;
- }
- #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
- #if defined(BOOST_MSVC) && (_MSC_VER < 1900) // MSVC-2014 has fixed the incorrect diagnostics.
- # pragma warning(push)
- # pragma warning(disable: 4172) // returning address of local variable or temporary
- #endif
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- U&&
- relaxed_get(
- boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >&& operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- )
- {
- typedef typename add_pointer<U>::type U_ptr;
- U_ptr result = relaxed_get<U>(boost::addressof(operand));
- if (!result)
- boost::throw_exception(bad_get());
- return static_cast<U&&>(*result);
- }
- #if defined(BOOST_MSVC) && (_MSC_VER < 1900)
- # pragma warning(pop)
- #endif
- #endif
- /////////////////////////////////////////////////////////////////////////////////////////////////////////////
- // strict_get<U>(variant) methods
- //
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- typename add_pointer<U>::type
- strict_get(
- boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >* operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- ) BOOST_NOEXCEPT
- {
- BOOST_STATIC_ASSERT_MSG(
- (boost::detail::variant::holds_element<boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >, U >::value),
- "boost::variant does not contain specified type U, "
- "call to boost::get<U>(boost::variant<T...>*) will always return NULL"
- );
- return relaxed_get<U>(operand);
- }
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- typename add_pointer<const U>::type
- strict_get(
- const boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >* operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- ) BOOST_NOEXCEPT
- {
- BOOST_STATIC_ASSERT_MSG(
- (boost::detail::variant::holds_element<boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >, const U >::value),
- "boost::variant does not contain specified type U, "
- "call to boost::get<U>(const boost::variant<T...>*) will always return NULL"
- );
- return relaxed_get<U>(operand);
- }
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- typename add_reference<U>::type
- strict_get(
- boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >& operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- )
- {
- BOOST_STATIC_ASSERT_MSG(
- (boost::detail::variant::holds_element<boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >, U >::value),
- "boost::variant does not contain specified type U, "
- "call to boost::get<U>(boost::variant<T...>&) will always throw boost::bad_get exception"
- );
- return relaxed_get<U>(operand);
- }
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- typename add_reference<const U>::type
- strict_get(
- const boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >& operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- )
- {
- BOOST_STATIC_ASSERT_MSG(
- (boost::detail::variant::holds_element<boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >, const U >::value),
- "boost::variant does not contain specified type U, "
- "call to boost::get<U>(const boost::variant<T...>&) will always throw boost::bad_get exception"
- );
- return relaxed_get<U>(operand);
- }
- #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- U&&
- strict_get(
- boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >&& operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- )
- {
- BOOST_STATIC_ASSERT_MSG(
- (!boost::is_lvalue_reference<U>::value),
- "remove ampersand '&' from template type U in boost::get<U>(boost::variant<T...>&&) "
- );
- BOOST_STATIC_ASSERT_MSG(
- (boost::detail::variant::holds_element<boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >, U >::value),
- "boost::variant does not contain specified type U, "
- "call to boost::get<U>(const boost::variant<T...>&) will always throw boost::bad_get exception"
- );
- return relaxed_get<U>(detail::variant::move(operand));
- }
- #endif
- /////////////////////////////////////////////////////////////////////////////////////////////////////////////
- // get<U>(variant) methods
- //
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- typename add_pointer<U>::type
- get(
- boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >* operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- ) BOOST_NOEXCEPT
- {
- #ifdef BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT
- return relaxed_get<U>(operand);
- #else
- return strict_get<U>(operand);
- #endif
- }
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- typename add_pointer<const U>::type
- get(
- const boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >* operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- ) BOOST_NOEXCEPT
- {
- #ifdef BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT
- return relaxed_get<U>(operand);
- #else
- return strict_get<U>(operand);
- #endif
- }
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- typename add_reference<U>::type
- get(
- boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >& operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- )
- {
- #ifdef BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT
- return relaxed_get<U>(operand);
- #else
- return strict_get<U>(operand);
- #endif
- }
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- typename add_reference<const U>::type
- get(
- const boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >& operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- )
- {
- #ifdef BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT
- return relaxed_get<U>(operand);
- #else
- return strict_get<U>(operand);
- #endif
- }
- #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
- template <typename U, BOOST_VARIANT_ENUM_PARAMS(typename T) >
- inline
- U&&
- get(
- boost::variant< BOOST_VARIANT_ENUM_PARAMS(T) >&& operand
- BOOST_VARIANT_AUX_GET_EXPLICIT_TEMPLATE_TYPE(U)
- )
- {
- #ifdef BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT
- return relaxed_get<U>(detail::variant::move(operand));
- #else
- return strict_get<U>(detail::variant::move(operand));
- #endif
- }
- #endif
- } // namespace boost
- #endif // BOOST_VARIANT_GET_HPP
|