1 ///////////////////////////////////////////////////////////////////////////////
3 /// Contains definition of the as_expr\<\> and as_child\<\> helper class
4 /// templates used to implement proto::domain's as_expr\<\> and as_child\<\>
7 // Copyright 2010 Eric Niebler. Distributed under the Boost
8 // Software License, Version 1.0. (See accompanying file
9 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
11 #ifndef BOOST_PROTO_DETAIL_AS_EXPR_HPP_EAN_06_09_2010
12 #define BOOST_PROTO_DETAIL_AS_EXPR_HPP_EAN_06_09_2010
14 #include <boost/config.hpp>
15 #include <boost/detail/workaround.hpp>
16 #include <boost/type_traits/remove_const.hpp>
17 #include <boost/proto/proto_fwd.hpp>
18 #include <boost/proto/args.hpp>
21 # pragma warning(push)
22 # pragma warning(disable : 4714) // function 'xxx' marked as __forceinline not inlined
25 namespace boost { namespace proto { namespace detail
28 ////////////////////////////////////////////////////////////////////////////////////////////////
29 template<typename Generator>
32 typedef Generator type;
35 template<typename Generator>
36 struct base_generator<use_basic_expr<Generator> >
38 typedef Generator type;
41 ////////////////////////////////////////////////////////////////////////////////////////////////
42 template<typename T, typename Generator, bool WantsBasicExpr>
45 ////////////////////////////////////////////////////////////////////////////////////////////////
46 template<typename T, typename Generator>
47 struct as_expr<T, Generator, false>
49 typedef typename term_traits<T &>::value_type value_type;
50 typedef proto::expr<proto::tag::terminal, term<value_type>, 0> expr_type;
51 typedef typename Generator::template result<Generator(expr_type)>::type result_type;
54 result_type operator()(T &t) const
56 return Generator()(expr_type::make(t));
60 ////////////////////////////////////////////////////////////////////////////////////////////////
61 template<typename T, typename Generator>
62 struct as_expr<T, Generator, true>
64 typedef typename term_traits<T &>::value_type value_type;
65 typedef proto::basic_expr<proto::tag::terminal, term<value_type>, 0> expr_type;
66 typedef typename Generator::template result<Generator(expr_type)>::type result_type;
69 result_type operator()(T &t) const
71 return Generator()(expr_type::make(t));
75 ////////////////////////////////////////////////////////////////////////////////////////////////
77 struct as_expr<T, proto::default_generator, false>
79 typedef typename term_traits<T &>::value_type value_type;
80 typedef proto::expr<proto::tag::terminal, term<value_type>, 0> result_type;
83 result_type operator()(T &t) const
85 return result_type::make(t);
89 ////////////////////////////////////////////////////////////////////////////////////////////////
91 struct as_expr<T, proto::default_generator, true>
93 typedef typename term_traits<T &>::value_type value_type;
94 typedef proto::basic_expr<proto::tag::terminal, term<value_type>, 0> result_type;
97 result_type operator()(T &t) const
99 return result_type::make(t);
103 ////////////////////////////////////////////////////////////////////////////////////////////////
104 template<typename T, typename Generator, bool WantsBasicExpr>
107 ////////////////////////////////////////////////////////////////////////////////////////////////
108 template<typename T, typename Generator>
109 struct as_child<T, Generator, false>
111 #if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
112 typedef typename term_traits<T &>::reference reference;
114 typedef T &reference;
116 typedef proto::expr<proto::tag::terminal, term<reference>, 0> expr_type;
117 typedef typename Generator::template result<Generator(expr_type)>::type result_type;
120 result_type operator()(T &t) const
122 return Generator()(expr_type::make(t));
126 ////////////////////////////////////////////////////////////////////////////////////////////////
127 template<typename T, typename Generator>
128 struct as_child<T, Generator, true>
130 #if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
131 typedef typename term_traits<T &>::reference reference;
133 typedef T &reference;
135 typedef proto::basic_expr<proto::tag::terminal, term<reference>, 0> expr_type;
136 typedef typename Generator::template result<Generator(expr_type)>::type result_type;
139 result_type operator()(T &t) const
141 return Generator()(expr_type::make(t));
145 ////////////////////////////////////////////////////////////////////////////////////////////////
147 struct as_child<T, proto::default_generator, false>
149 #if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
150 typedef typename term_traits<T &>::reference reference;
152 typedef T &reference;
154 typedef proto::expr<proto::tag::terminal, term<reference>, 0> result_type;
157 result_type operator()(T &t) const
159 return result_type::make(t);
163 ////////////////////////////////////////////////////////////////////////////////////////////////
165 struct as_child<T, proto::default_generator, true>
167 #if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
168 typedef typename term_traits<T &>::reference reference;
170 typedef T &reference;
172 typedef proto::basic_expr<proto::tag::terminal, term<reference>, 0> result_type;
175 result_type operator()(T &t) const
177 return result_type::make(t);
183 #if defined(_MSC_VER)
184 # pragma warning(pop)