12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697 |
- ///////////////////////////////////////////////////////////////////////////////
- /// \file pack.hpp
- /// Contains helpers for pseudo-pack expansion.
- //
- // Copyright 2012 Eric Niebler. 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_PROTO_TRANSFORM_DETAIL_PACK_HPP_EAN_2012_07_11
- #define BOOST_PROTO_TRANSFORM_DETAIL_PACK_HPP_EAN_2012_07_11
- #include <boost/preprocessor/cat.hpp>
- #include <boost/preprocessor/arithmetic/inc.hpp>
- #include <boost/preprocessor/arithmetic/dec.hpp>
- #include <boost/preprocessor/arithmetic/sub.hpp>
- #include <boost/preprocessor/punctuation/comma_if.hpp>
- #include <boost/preprocessor/repetition/enum.hpp>
- #include <boost/preprocessor/repetition/enum_params.hpp>
- #include <boost/preprocessor/repetition/enum_trailing_params.hpp>
- #include <boost/preprocessor/repetition/enum_params_with_a_default.hpp>
- #include <boost/preprocessor/repetition/repeat.hpp>
- #include <boost/preprocessor/iteration/local.hpp>
- #include <boost/preprocessor/iteration/iterate.hpp>
- #include <boost/mpl/bool.hpp>
- #include <boost/mpl/assert.hpp>
- #include <boost/type_traits/is_same.hpp>
- #include <boost/proto/proto_fwd.hpp>
- #if defined(_MSC_VER)
- # pragma warning(push)
- # pragma warning(disable: 4348) // redefinition of default parameter
- #endif
- namespace boost { namespace proto
- {
- namespace detail
- {
- template<typename Fun>
- struct msvc_fun_workaround;
- template<typename Tfx, typename T>
- struct expand_pattern_helper
- {
- typedef T type;
- typedef mpl::false_ applied;
- };
- template<typename Tfx, typename Fun>
- struct expand_pattern_helper<Tfx, Fun *>
- : expand_pattern_helper<Tfx, Fun>
- {};
- template<typename Tfx, typename T>
- struct expand_pattern_helper<Tfx, pack(T)>
- {
- // BUGBUG fix me. See comment in transform/detail/call.hpp
- BOOST_MPL_ASSERT_MSG(
- (is_same<T, _>::value)
- , PACK_EXPANSIONS_OF_EXPRESSIONS_OTHER_THAN_THE_CURRENT_NOT_YET_SUPPORTED
- , (T)
- );
- typedef Tfx type(T);
- typedef mpl::true_ applied;
- };
- template<typename Tfx>
- struct expand_pattern_helper<Tfx, pack(_)>
- {
- typedef Tfx type;
- typedef mpl::true_ applied;
- };
- #include <boost/proto/transform/detail/expand_pack.hpp>
- template<long Arity, typename Fun, typename Cont>
- struct expand_pattern;
- template<typename Fun, typename Cont>
- struct expand_pattern<0, Fun, Cont>
- : Cont::template cat<typename expand_pattern_helper<proto::_value, Fun>::type>
- {
- BOOST_MPL_ASSERT_MSG(
- (expand_pattern_helper<proto::_value, Fun>::applied::value)
- , NO_PACK_EXPRESSION_FOUND_IN_PACK_EXPANSION
- , (Fun)
- );
- };
- #include <boost/proto/transform/detail/pack_impl.hpp>
- }
- }}
- #if defined(_MSC_VER)
- # pragma warning(pop)
- #endif
- #endif
|