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
|