123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121 |
- // Copyright Aleksey Gurtovoy 2000-2004
- //
- // 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)
- //
- // See http://www.boost.org/libs/mpl for documentation.
- // $Id$
- // $Date$
- // $Revision$
- #include <boost/mpl/apply_wrap.hpp>
- #include <boost/mpl/limits/arity.hpp>
- #include <boost/mpl/aux_/preprocessor/params.hpp>
- #include <boost/mpl/aux_/preprocessor/enum.hpp>
- #include <boost/mpl/aux_/test.hpp>
- #include <boost/preprocessor/repeat.hpp>
- #include <boost/preprocessor/comma_if.hpp>
- #include <boost/preprocessor/dec.hpp>
- #include <boost/preprocessor/if.hpp>
- #include <boost/preprocessor/cat.hpp>
- #if !defined(BOOST_MPL_CFG_NO_DEFAULT_PARAMETERS_IN_NESTED_TEMPLATES)
- # define APPLY_0_FUNC_DEF(i) \
- struct f0 \
- { \
- template< typename T = int > struct apply { typedef char type; }; \
- }; \
- /**/
- #else
- # define APPLY_0_FUNC_DEF(i) \
- struct f0 \
- { \
- template< typename T > struct apply { typedef char type; }; \
- }; \
- /**/
- #endif
- #define APPLY_N_FUNC_DEF(i) \
- struct first##i \
- { \
- template< BOOST_MPL_PP_PARAMS(i, typename U) > \
- struct apply { typedef U1 type; }; \
- }; \
- \
- struct last##i \
- { \
- template< BOOST_MPL_PP_PARAMS(i, typename U) > \
- struct apply { typedef BOOST_PP_CAT(U,i) type; }; \
- }; \
- /**/
- #define APPLY_FUNC_DEF(z, i, unused) \
- BOOST_PP_IF( \
- i \
- , APPLY_N_FUNC_DEF \
- , APPLY_0_FUNC_DEF \
- )(i) \
- /**/
- namespace { namespace test {
- BOOST_PP_REPEAT(
- BOOST_MPL_LIMIT_METAFUNCTION_ARITY
- , APPLY_FUNC_DEF
- , unused
- )
- struct g0 { struct apply { typedef char type; }; };
- }}
- #define APPLY_0_TEST(i, apply_) \
- typedef apply_<test::f##i>::type t; \
- { MPL_ASSERT(( boost::is_same<t, char> )); } \
- /**/
- #define APPLY_N_TEST(i, apply_) \
- typedef apply_< \
- test::first##i \
- , char \
- BOOST_PP_COMMA_IF(BOOST_PP_DEC(i)) \
- BOOST_MPL_PP_ENUM(BOOST_PP_DEC(i), int) \
- >::type t1##i; \
- \
- typedef apply_< \
- test::last##i \
- , BOOST_MPL_PP_ENUM(BOOST_PP_DEC(i), int) \
- BOOST_PP_COMMA_IF(BOOST_PP_DEC(i)) char \
- >::type t2##i; \
- { MPL_ASSERT(( boost::is_same<t1##i, char> )); } \
- { MPL_ASSERT(( boost::is_same<t2##i, char> )); } \
- /**/
- #define APPLY_TEST(z, i, unused) \
- BOOST_PP_IF( \
- i \
- , APPLY_N_TEST \
- , APPLY_0_TEST \
- )(i, BOOST_PP_CAT(apply_wrap,i)) \
- /**/
- MPL_TEST_CASE()
- {
- BOOST_PP_REPEAT(
- BOOST_MPL_LIMIT_METAFUNCTION_ARITY
- , APPLY_TEST
- , unused
- )
- #if !defined(BOOST_MPL_CFG_NO_HAS_APPLY)
- {
- typedef apply_wrap0<test::g0>::type t;
- MPL_ASSERT(( boost::is_same<t, char> ));
- }
- #endif
- }
|