epoc32/include/stdapis/boost/variant/detail/enable_recursive.hpp
author William Roberts <williamr@symbian.org>
Wed, 31 Mar 2010 12:27:01 +0100
branchSymbian2
changeset 3 e1b950c65cb4
permissions -rw-r--r--
Attempt to represent the S^2->S^3 header reorganisation as a series of "hg rename" operations
williamr@2
     1
//-----------------------------------------------------------------------------
williamr@2
     2
// boost variant/detail/enable_recursive.hpp header file
williamr@2
     3
// See http://www.boost.org for updates, documentation, and revision history.
williamr@2
     4
//-----------------------------------------------------------------------------
williamr@2
     5
//
williamr@2
     6
// Copyright (c) 2003
williamr@2
     7
// Eric Friedman
williamr@2
     8
//
williamr@2
     9
// Distributed under the Boost Software License, Version 1.0. (See
williamr@2
    10
// accompanying file LICENSE_1_0.txt or copy at
williamr@2
    11
// http://www.boost.org/LICENSE_1_0.txt)
williamr@2
    12
williamr@2
    13
#ifndef BOOST_VARIANT_DETAIL_ENABLE_RECURSIVE_HPP
williamr@2
    14
#define BOOST_VARIANT_DETAIL_ENABLE_RECURSIVE_HPP
williamr@2
    15
williamr@2
    16
#include "boost/variant/detail/enable_recursive_fwd.hpp"
williamr@2
    17
#include "boost/variant/variant_fwd.hpp"
williamr@2
    18
williamr@2
    19
#if !defined(BOOST_VARIANT_NO_FULL_RECURSIVE_VARIANT_SUPPORT)
williamr@2
    20
#   include "boost/mpl/apply.hpp"
williamr@2
    21
#   include "boost/mpl/eval_if.hpp"
williamr@2
    22
#   include "boost/mpl/lambda.hpp"
williamr@2
    23
#endif
williamr@2
    24
williamr@2
    25
#include "boost/variant/detail/substitute.hpp"
williamr@2
    26
#include "boost/mpl/aux_/config/ctps.hpp"
williamr@2
    27
#include "boost/mpl/bool_fwd.hpp"
williamr@2
    28
#include "boost/mpl/if.hpp"
williamr@2
    29
#include "boost/mpl/or.hpp"
williamr@2
    30
#include "boost/type_traits/is_pointer.hpp"
williamr@2
    31
#include "boost/type_traits/is_reference.hpp"
williamr@2
    32
#include "boost/type_traits/is_same.hpp"
williamr@2
    33
williamr@2
    34
#include "boost/variant/recursive_wrapper.hpp"
williamr@2
    35
williamr@2
    36
namespace boost {
williamr@2
    37
namespace detail { namespace variant {
williamr@2
    38
williamr@2
    39
#if !defined(BOOST_VARIANT_DETAIL_NO_SUBSTITUTE)
williamr@2
    40
williamr@2
    41
#   define BOOST_VARIANT_AUX_ENABLE_RECURSIVE_IMPL(T,Dest,Source) \
williamr@2
    42
    substitute< T , Dest , Source > \
williamr@2
    43
    /**/
williamr@2
    44
williamr@2
    45
#else // defined(BOOST_VARIANT_DETAIL_NO_SUBSTITUTE)
williamr@2
    46
williamr@2
    47
///////////////////////////////////////////////////////////////////////////////
williamr@2
    48
// (detail) class template rebind1
williamr@2
    49
//
williamr@2
    50
// Limited workaround in case 'substitute' metafunction unavailable.
williamr@2
    51
//
williamr@2
    52
williamr@2
    53
template <typename T, typename U1>
williamr@2
    54
struct rebind1
williamr@2
    55
{
williamr@2
    56
private:
williamr@2
    57
    typedef typename mpl::lambda<
williamr@2
    58
          mpl::identity<T>
williamr@2
    59
        >::type le_;
williamr@2
    60
williamr@2
    61
public:
williamr@2
    62
    typedef typename mpl::eval_if<
williamr@2
    63
          is_same< le_, mpl::identity<T> >
williamr@2
    64
        , le_ // identity<T>
williamr@2
    65
        , mpl::apply1<le_, U1>
williamr@2
    66
        >::type type;
williamr@2
    67
};
williamr@2
    68
williamr@2
    69
#   define BOOST_VARIANT_AUX_ENABLE_RECURSIVE_IMPL(T,Dest,Source) \
williamr@2
    70
    rebind1< T , Dest > \
williamr@2
    71
    /**/
williamr@2
    72
williamr@2
    73
#endif // !defined(BOOST_VARIANT_DETAIL_NO_SUBSTITUTE)
williamr@2
    74
williamr@2
    75
///////////////////////////////////////////////////////////////////////////////
williamr@2
    76
// (detail) metafunction enable_recursive
williamr@2
    77
//
williamr@2
    78
// See boost/variant/detail/enable_recursive_fwd.hpp for more information.
williamr@2
    79
//
williamr@2
    80
williamr@2
    81
#if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
williamr@2
    82
williamr@2
    83
template <typename T, typename RecursiveVariant, typename NoWrapper>
williamr@2
    84
struct enable_recursive
williamr@2
    85
    : BOOST_VARIANT_AUX_ENABLE_RECURSIVE_IMPL(
williamr@2
    86
          T, RecursiveVariant, ::boost::recursive_variant_
williamr@2
    87
        )
williamr@2
    88
{
williamr@2
    89
};
williamr@2
    90
williamr@2
    91
template <typename T, typename RecursiveVariant>
williamr@2
    92
struct enable_recursive< T,RecursiveVariant,mpl::false_ >
williamr@2
    93
{
williamr@2
    94
private: // helpers, for metafunction result (below)
williamr@2
    95
williamr@2
    96
    typedef typename BOOST_VARIANT_AUX_ENABLE_RECURSIVE_IMPL(
williamr@2
    97
          T, RecursiveVariant, ::boost::recursive_variant_
williamr@2
    98
        )::type t_;
williamr@2
    99
williamr@2
   100
public: // metafunction result
williamr@2
   101
williamr@2
   102
    // [Wrap with recursive_wrapper only if rebind really changed something:]
williamr@2
   103
    typedef typename mpl::if_<
williamr@2
   104
          mpl::or_<
williamr@2
   105
              is_same< t_,T >
williamr@2
   106
            , is_reference<t_>
williamr@2
   107
            , is_pointer<t_>
williamr@2
   108
            >
williamr@2
   109
        , t_
williamr@2
   110
        , boost::recursive_wrapper<t_>
williamr@2
   111
        >::type type;
williamr@2
   112
williamr@2
   113
};
williamr@2
   114
williamr@2
   115
#else // defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
williamr@2
   116
williamr@2
   117
template <typename T, typename RecursiveVariant, typename NoWrapper>
williamr@2
   118
struct enable_recursive
williamr@2
   119
{
williamr@2
   120
private: // helpers, for metafunction result (below)
williamr@2
   121
williamr@2
   122
    typedef typename BOOST_VARIANT_AUX_ENABLE_RECURSIVE_IMPL(
williamr@2
   123
          T, RecursiveVariant, ::boost::recursive_variant_
williamr@2
   124
        )::type t_;
williamr@2
   125
williamr@2
   126
public: // metafunction result
williamr@2
   127
williamr@2
   128
    // [Wrap with recursive_wrapper only if rebind really changed something:]
williamr@2
   129
    typedef typename mpl::if_<
williamr@2
   130
          mpl::or_<
williamr@2
   131
              NoWrapper
williamr@2
   132
            , is_same< t_,T >
williamr@2
   133
            , is_reference<t_>
williamr@2
   134
            , is_pointer<t_>
williamr@2
   135
            >
williamr@2
   136
        , t_
williamr@2
   137
        , boost::recursive_wrapper<t_>
williamr@2
   138
        >::type type;
williamr@2
   139
williamr@2
   140
};
williamr@2
   141
williamr@2
   142
#endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION workaround
williamr@2
   143
williamr@2
   144
///////////////////////////////////////////////////////////////////////////////
williamr@2
   145
// (detail) metafunction class quoted_enable_recursive
williamr@2
   146
//
williamr@2
   147
// Same behavior as enable_recursive metafunction (see above).
williamr@2
   148
//
williamr@2
   149
template <typename RecursiveVariant, typename NoWrapper>
williamr@2
   150
struct quoted_enable_recursive
williamr@2
   151
{
williamr@2
   152
    template <typename T>
williamr@2
   153
    struct apply
williamr@2
   154
        : enable_recursive<T, RecursiveVariant, NoWrapper>
williamr@2
   155
    {
williamr@2
   156
    };
williamr@2
   157
};
williamr@2
   158
williamr@2
   159
}} // namespace detail::variant
williamr@2
   160
} // namespace boost
williamr@2
   161
williamr@2
   162
#endif // BOOST_VARIANT_DETAIL_ENABLE_RECURSIVE_HPP