123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185 |
- /*=============================================================================
- Copyright (c) 2001-2011 Joel de Guzman
- 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)
- ==============================================================================*/
- #if !defined(BOOST_SPIRIT_EXTENDED_VARIANT_AUGUST_6_2011_0859AM)
- #define BOOST_SPIRIT_EXTENDED_VARIANT_AUGUST_6_2011_0859AM
- #if defined(_MSC_VER)
- #pragma once
- #endif
- #include <boost/variant.hpp>
- #include <boost/mpl/limits/list.hpp>
- #include <boost/preprocessor/repetition/enum_params.hpp>
- #include <boost/preprocessor/repetition/enum_params_with_a_default.hpp>
- #if !defined(BOOST_VARIANT_DO_NOT_USE_VARIADIC_TEMPLATES)
- #define BOOST_SPIRIT_EXTENDED_VARIANT_LIMIT_TYPES BOOST_MPL_LIMIT_LIST_SIZE
- #else
- #define BOOST_SPIRIT_EXTENDED_VARIANT_LIMIT_TYPES BOOST_VARIANT_LIMIT_TYPES
- #endif
- #define BOOST_SPIRIT_EXTENDED_VARIANT_ENUM_PARAMS(T) \
- BOOST_PP_ENUM_PARAMS(BOOST_SPIRIT_EXTENDED_VARIANT_LIMIT_TYPES, T) \
- /**/
- ///////////////////////////////////////////////////////////////////////////////
- namespace boost { namespace spirit
- {
- #if defined(BOOST_VARIANT_DO_NOT_USE_VARIADIC_TEMPLATES)
- template <
- BOOST_PP_ENUM_PARAMS_WITH_A_DEFAULT(
- BOOST_SPIRIT_EXTENDED_VARIANT_LIMIT_TYPES,
- typename T, boost::detail::variant::void_)
- // We should not be depending on detail::variant::void_
- // but I'm not sure if this can fixed. Any other way is
- // clumsy at best.
- >
- #else
- template <typename... Types>
- #endif
- struct extended_variant
- {
- // tell spirit that this is an adapted variant
- struct adapted_variant_tag;
- #if defined(BOOST_VARIANT_DO_NOT_USE_VARIADIC_TEMPLATES)
- typedef boost::variant<
- BOOST_SPIRIT_EXTENDED_VARIANT_ENUM_PARAMS(T)>
- variant_type;
- typedef typename variant_type::types types;
- typedef extended_variant<
- BOOST_SPIRIT_EXTENDED_VARIANT_ENUM_PARAMS(T)
- > base_type;
- #else
- typedef boost::variant<Types...> variant_type;
- typedef typename variant_type::types types;
- typedef extended_variant<Types...> base_type;
- #endif
- extended_variant() : var() {}
- template <typename T>
- extended_variant(T const& var)
- : var(var) {}
- template <typename T>
- extended_variant(T& var)
- : var(var) {}
- template <typename F>
- typename F::result_type apply_visitor(F const& v)
- {
- return var.apply_visitor(v);
- }
- template <typename F>
- typename F::result_type apply_visitor(F const& v) const
- {
- return var.apply_visitor(v);
- }
- template <typename F>
- typename F::result_type apply_visitor(F& v)
- {
- return var.apply_visitor(v);
- }
- template <typename F>
- typename F::result_type apply_visitor(F& v) const
- {
- return var.apply_visitor(v);
- }
- variant_type const& get() const
- {
- return var;
- }
- variant_type& get()
- {
- return var;
- }
-
- void swap(extended_variant& rhs) BOOST_NOEXCEPT
- {
- var.swap(rhs.var);
- }
- variant_type var;
- };
- }}
- namespace boost
- {
- #if defined(BOOST_VARIANT_DO_NOT_USE_VARIADIC_TEMPLATES)
- template <typename T, BOOST_SPIRIT_EXTENDED_VARIANT_ENUM_PARAMS(typename T)>
- inline T const&
- get(boost::spirit::extended_variant<
- BOOST_SPIRIT_EXTENDED_VARIANT_ENUM_PARAMS(T)> const& x)
- {
- return boost::get<T>(x.get());
- }
- template <typename T, BOOST_SPIRIT_EXTENDED_VARIANT_ENUM_PARAMS(typename T)>
- inline T&
- get(boost::spirit::extended_variant<
- BOOST_SPIRIT_EXTENDED_VARIANT_ENUM_PARAMS(T)>& x)
- {
- return boost::get<T>(x.get());
- }
- template <typename T, BOOST_SPIRIT_EXTENDED_VARIANT_ENUM_PARAMS(typename T)>
- inline T const*
- get(boost::spirit::extended_variant<
- BOOST_SPIRIT_EXTENDED_VARIANT_ENUM_PARAMS(T)> const* x)
- {
- return boost::get<T>(&x->get());
- }
- template <typename T, BOOST_SPIRIT_EXTENDED_VARIANT_ENUM_PARAMS(typename T)>
- inline T*
- get(boost::spirit::extended_variant<
- BOOST_SPIRIT_EXTENDED_VARIANT_ENUM_PARAMS(T)>* x)
- {
- return boost::get<T>(&x->get());
- }
- #else
- template <typename T, typename... Types>
- inline T const&
- get(boost::spirit::extended_variant<Types...> const& x)
- {
- return boost::get<T>(x.get());
- }
- template <typename T, typename... Types>
- inline T&
- get(boost::spirit::extended_variant<Types...>& x)
- {
- return boost::get<T>(x.get());
- }
- template <typename T, typename... Types>
- inline T const*
- get(boost::spirit::extended_variant<Types...> const* x)
- {
- return boost::get<T>(&x->get());
- }
- template <typename T, typename... Types>
- inline T*
- get(boost::spirit::extended_variant<Types...>* x)
- {
- return boost::get<T>(&x->get());
- }
- #endif
- }
- #undef BOOST_SPIRIT_EXTENDED_VARIANT_ENUM_PARAMS
- #undef BOOST_SPIRIT_EXTENDED_VARIANT_LIMIT_TYPES
- #endif
|