boost/mpl/quote.hpp

   1
   2 #if !defined(BOOST_PP_IS_ITERATING)
   3
   4 ///// header body
   5
   6 #ifndef BOOST_MPL_QUOTE_HPP_INCLUDED
   7 #define BOOST_MPL_QUOTE_HPP_INCLUDED
   8
   9 // Copyright Aleksey Gurtovoy 2000-2008
  10 //
  11 // Distributed under the Boost Software License, Version 1.0.
  12 // (See accompanying file LICENSE_1_0.txt or copy at
  13 // http://www.boost.org/LICENSE_1_0.txt)
  14 //
  15 // See http://www.boost.org/libs/mpl for documentation.
  16
  17 // $Id: quote.hpp 49272 2008-10-11 06:50:46Z agurtovoy $
  18 // $Date: 2008-10-10 23:50:46 -0700 (Fri, 10 Oct 2008) $
  19 // $Revision: 49272 $
  20
  21 #if !defined(BOOST_MPL_PREPROCESSING_MODE)
  22 #   include <boost/mpl/void.hpp>
  23 #   include <boost/mpl/aux_/has_type.hpp>
  24 #endif
  25
  26 #include <boost/mpl/aux_/config/bcc.hpp>
  27 #include <boost/mpl/aux_/config/ttp.hpp>
  28
  29 #if defined(BOOST_MPL_CFG_NO_TEMPLATE_TEMPLATE_PARAMETERS) \
  30     && !defined(BOOST_MPL_CFG_BCC590_WORKAROUNDS)
  31 #   define BOOST_MPL_CFG_NO_QUOTE_TEMPLATE
  32 #endif
  33
  34 #if !defined(BOOST_MPL_CFG_NO_IMPLICIT_METAFUNCTIONS) \
  35     && defined(BOOST_MPL_CFG_NO_HAS_XXX)
  36 #   define BOOST_MPL_CFG_NO_IMPLICIT_METAFUNCTIONS
  37 #endif
  38
  39 #include <boost/mpl/aux_/config/use_preprocessed.hpp>
  40
  41 #if !defined(BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS) \
  42  && !defined(BOOST_MPL_PREPROCESSING_MODE)
  43
  44 #   define BOOST_MPL_PREPROCESSED_HEADER quote.hpp
  45 #   include <boost/mpl/aux_/include_preprocessed.hpp>
  46
  47 #else
  48
  49 #   include <boost/mpl/limits/arity.hpp>
  50 #   include <boost/mpl/aux_/preprocessor/params.hpp>
  51 #   include <boost/mpl/aux_/config/ctps.hpp>
  52 #   include <boost/mpl/aux_/config/workaround.hpp>
  53
  54 #   include <boost/preprocessor/iterate.hpp>
  55 #   include <boost/preprocessor/cat.hpp>
  56
  57 #if !defined(BOOST_MPL_CFG_NO_QUOTE_TEMPLATE)
  58
  59 namespace boost { namespace mpl {
  60
  61 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
  62
  63 template< typename T, bool has_type_ >
  64 struct quote_impl
  65 // GCC has a problem with metafunction forwarding when T is a
  66 // specialization of a template called 'type'.
  67 # if BOOST_WORKAROUND(__GNUC__, BOOST_TESTED_AT(4)) \
  68     && BOOST_WORKAROUND(__GNUC_MINOR__, BOOST_TESTED_AT(0)) \
  69     && BOOST_WORKAROUND(__GNUC_PATCHLEVEL__, BOOST_TESTED_AT(2))
  70 {
  71     typedef typename T::type type;
  72 };
  73 # else
  74     : T
  75 {
  76 };
  77 # endif
  78
  79 template< typename T >
  80 struct quote_impl<T,false>
  81 {
  82     typedef T type;
  83 };
  84
  85 #else // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
  86
  87 template< bool > struct quote_impl
  88 {
  89     template< typename T > struct result_
  90         : T
  91     {
  92     };
  93 };
  94
  95 template<> struct quote_impl<false>
  96 {
  97     template< typename T > struct result_
  98     {
  99         typedef T type;
 100     };
 101 };
 102
 103 #endif
 104
 105 #define BOOST_PP_ITERATION_PARAMS_1 \
 106     (3,(1, BOOST_MPL_LIMIT_METAFUNCTION_ARITY, <boost/mpl/quote.hpp>))
 107 #include BOOST_PP_ITERATE()
 108
 109 }}
 110
 111 #endif // BOOST_MPL_CFG_NO_QUOTE_TEMPLATE
 112
 113 #endif // BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS
 114 #endif // BOOST_MPL_QUOTE_HPP_INCLUDED
 115
 116 ///// iteration
 117
 118 #else
 119 #define i_ BOOST_PP_FRAME_ITERATION(1)
 120
 121 template<
 122       template< BOOST_MPL_PP_PARAMS(i_, typename P) > class F
 123     , typename Tag = void_
 124     >
 125 struct BOOST_PP_CAT(quote,i_)
 126 {
 127     template< BOOST_MPL_PP_PARAMS(i_, typename U) > struct apply
 128 #if defined(BOOST_MPL_CFG_BCC590_WORKAROUNDS)
 129     {
 130         typedef typename quote_impl<
 131               F< BOOST_MPL_PP_PARAMS(i_, U) >
 132             , aux::has_type< F< BOOST_MPL_PP_PARAMS(i_, U) > >::value
 133             >::type type;
 134     };
 135 #elif !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
 136         : quote_impl<
 137               F< BOOST_MPL_PP_PARAMS(i_, U) >
 138             , aux::has_type< F< BOOST_MPL_PP_PARAMS(i_, U) > >::value
 139             >
 140     {
 141     };
 142 #else
 143         : quote_impl< aux::has_type< F< BOOST_MPL_PP_PARAMS(i_, U) > >::value >
 144             ::template result_< F< BOOST_MPL_PP_PARAMS(i_, U) > >
 145     {
 146     };
 147 #endif
 148 };
 149
 150 #undef i_
 151 #endif // BOOST_PP_IS_ITERATING