]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | //----------------------------------------------------------------------------- |
2 | // boost variant/detail/apply_visitor_binary.hpp header file | |
3 | // See http://www.boost.org for updates, documentation, and revision history. | |
4 | //----------------------------------------------------------------------------- | |
5 | // | |
6 | // Copyright (c) 2002-2003 Eric Friedman | |
7 | // Copyright (c) 2014 Antony Polukhin | |
8 | // | |
9 | // Distributed under the Boost Software License, Version 1.0. (See | |
10 | // accompanying file LICENSE_1_0.txt or copy at | |
11 | // http://www.boost.org/LICENSE_1_0.txt) | |
12 | ||
13 | #ifndef BOOST_VARIANT_DETAIL_APPLY_VISITOR_BINARY_HPP | |
14 | #define BOOST_VARIANT_DETAIL_APPLY_VISITOR_BINARY_HPP | |
15 | ||
16 | #include <boost/config.hpp> | |
17 | #include <boost/detail/workaround.hpp> | |
18 | #include <boost/variant/detail/generic_result_type.hpp> | |
19 | ||
20 | #include <boost/variant/detail/apply_visitor_unary.hpp> | |
21 | ||
22 | #if BOOST_WORKAROUND(__EDG__, BOOST_TESTED_AT(302)) | |
23 | #include <boost/utility/enable_if.hpp> | |
24 | #include <boost/mpl/not.hpp> | |
25 | #include <boost/type_traits/is_const.hpp> | |
26 | #endif | |
27 | ||
28 | ||
29 | #if !defined(BOOST_NO_CXX14_DECLTYPE_AUTO) && !defined(BOOST_NO_CXX11_DECLTYPE_N3276) | |
30 | # include <boost/variant/detail/has_result_type.hpp> | |
31 | #endif | |
32 | ||
33 | namespace boost { | |
34 | ||
35 | ////////////////////////////////////////////////////////////////////////// | |
36 | // function template apply_visitor(visitor, visitable1, visitable2) | |
37 | // | |
38 | // Visits visitable1 and visitable2 such that their values (which we | |
39 | // shall call x and y, respectively) are used as arguments in the | |
40 | // expression visitor(x, y). | |
41 | // | |
42 | ||
43 | namespace detail { namespace variant { | |
44 | ||
45 | template <typename Visitor, typename Value1> | |
46 | class apply_visitor_binary_invoke | |
47 | { | |
48 | public: // visitor typedefs | |
49 | ||
50 | typedef typename Visitor::result_type | |
51 | result_type; | |
52 | ||
53 | private: // representation | |
54 | ||
55 | Visitor& visitor_; | |
56 | Value1& value1_; | |
57 | ||
58 | public: // structors | |
59 | ||
60 | apply_visitor_binary_invoke(Visitor& visitor, Value1& value1) BOOST_NOEXCEPT | |
61 | : visitor_(visitor) | |
62 | , value1_(value1) | |
63 | { | |
64 | } | |
65 | ||
66 | public: // visitor interfaces | |
67 | ||
68 | template <typename Value2> | |
69 | BOOST_VARIANT_AUX_GENERIC_RESULT_TYPE(result_type) | |
70 | operator()(Value2& value2) | |
71 | { | |
72 | return visitor_(value1_, value2); | |
73 | } | |
74 | ||
75 | private: | |
76 | apply_visitor_binary_invoke& operator=(const apply_visitor_binary_invoke&); | |
77 | }; | |
78 | ||
79 | template <typename Visitor, typename Visitable2> | |
80 | class apply_visitor_binary_unwrap | |
81 | { | |
82 | public: // visitor typedefs | |
83 | ||
84 | typedef typename Visitor::result_type | |
85 | result_type; | |
86 | ||
87 | private: // representation | |
88 | ||
89 | Visitor& visitor_; | |
90 | Visitable2& visitable2_; | |
91 | ||
92 | public: // structors | |
93 | ||
94 | apply_visitor_binary_unwrap(Visitor& visitor, Visitable2& visitable2) BOOST_NOEXCEPT | |
95 | : visitor_(visitor) | |
96 | , visitable2_(visitable2) | |
97 | { | |
98 | } | |
99 | ||
100 | public: // visitor interfaces | |
101 | ||
102 | template <typename Value1> | |
103 | BOOST_VARIANT_AUX_GENERIC_RESULT_TYPE(result_type) | |
104 | operator()(Value1& value1) | |
105 | { | |
106 | apply_visitor_binary_invoke< | |
107 | Visitor | |
108 | , Value1 | |
109 | > invoker(visitor_, value1); | |
110 | ||
111 | return boost::apply_visitor(invoker, visitable2_); | |
112 | } | |
113 | ||
114 | private: | |
115 | apply_visitor_binary_unwrap& operator=(const apply_visitor_binary_unwrap&); | |
116 | ||
117 | }; | |
118 | ||
119 | }} // namespace detail::variant | |
120 | ||
121 | // | |
122 | // nonconst-visitor version: | |
123 | // | |
124 | ||
125 | #if !BOOST_WORKAROUND(__EDG__, BOOST_TESTED_AT(302)) | |
126 | ||
127 | # define BOOST_VARIANT_AUX_APPLY_VISITOR_NON_CONST_RESULT_TYPE(V) \ | |
128 | BOOST_VARIANT_AUX_GENERIC_RESULT_TYPE(typename V::result_type) \ | |
129 | /**/ | |
130 | ||
131 | #else // EDG-based compilers | |
132 | ||
133 | # define BOOST_VARIANT_AUX_APPLY_VISITOR_NON_CONST_RESULT_TYPE(V) \ | |
134 | typename enable_if< \ | |
135 | mpl::not_< is_const< V > > \ | |
136 | , BOOST_VARIANT_AUX_GENERIC_RESULT_TYPE(typename V::result_type) \ | |
137 | >::type \ | |
138 | /**/ | |
139 | ||
140 | #endif // EDG-based compilers workaround | |
141 | ||
142 | template <typename Visitor, typename Visitable1, typename Visitable2> | |
143 | inline | |
144 | BOOST_VARIANT_AUX_APPLY_VISITOR_NON_CONST_RESULT_TYPE(Visitor) | |
145 | apply_visitor( | |
146 | Visitor& visitor | |
147 | , Visitable1& visitable1, Visitable2& visitable2 | |
148 | ) | |
149 | { | |
150 | ::boost::detail::variant::apply_visitor_binary_unwrap< | |
151 | Visitor, Visitable2 | |
152 | > unwrapper(visitor, visitable2); | |
153 | ||
154 | return boost::apply_visitor(unwrapper, visitable1); | |
155 | } | |
156 | ||
157 | #undef BOOST_VARIANT_AUX_APPLY_VISITOR_NON_CONST_RESULT_TYPE | |
158 | ||
159 | // | |
160 | // const-visitor version: | |
161 | // | |
162 | ||
163 | template <typename Visitor, typename Visitable1, typename Visitable2> | |
164 | inline | |
165 | BOOST_VARIANT_AUX_GENERIC_RESULT_TYPE( | |
166 | typename Visitor::result_type | |
167 | ) | |
168 | apply_visitor( | |
169 | const Visitor& visitor | |
170 | , Visitable1& visitable1, Visitable2& visitable2 | |
171 | ) | |
172 | { | |
173 | ::boost::detail::variant::apply_visitor_binary_unwrap< | |
174 | const Visitor, Visitable2 | |
175 | > unwrapper(visitor, visitable2); | |
176 | ||
177 | return boost::apply_visitor(unwrapper, visitable1); | |
178 | } | |
179 | ||
180 | ||
181 | #if !defined(BOOST_NO_CXX14_DECLTYPE_AUTO) && !defined(BOOST_NO_CXX11_DECLTYPE_N3276) | |
182 | ||
183 | ////////////////////////////////////////////////////////////////////////// | |
184 | // function template apply_visitor(visitor, visitable1, visitable2) | |
185 | // | |
186 | // C++14 part. | |
187 | // | |
188 | ||
189 | namespace detail { namespace variant { | |
190 | ||
191 | template <typename Visitor, typename Value1> | |
192 | class apply_visitor_binary_invoke_cpp14 | |
193 | { | |
194 | Visitor& visitor_; | |
195 | Value1& value1_; | |
196 | ||
197 | public: // structors | |
198 | ||
199 | apply_visitor_binary_invoke_cpp14(Visitor& visitor, Value1& value1) BOOST_NOEXCEPT | |
200 | : visitor_(visitor) | |
201 | , value1_(value1) | |
202 | { | |
203 | } | |
204 | ||
205 | public: // visitor interfaces | |
206 | ||
207 | template <typename Value2> | |
208 | decltype(auto) operator()(Value2& value2) | |
209 | { | |
210 | return visitor_(value1_, value2); | |
211 | } | |
212 | ||
213 | private: | |
214 | apply_visitor_binary_invoke_cpp14& operator=(const apply_visitor_binary_invoke_cpp14&); | |
215 | }; | |
216 | ||
217 | template <typename Visitor, typename Visitable2> | |
218 | class apply_visitor_binary_unwrap_cpp14 | |
219 | { | |
220 | Visitor& visitor_; | |
221 | Visitable2& visitable2_; | |
222 | ||
223 | public: // structors | |
224 | ||
225 | apply_visitor_binary_unwrap_cpp14(Visitor& visitor, Visitable2& visitable2) BOOST_NOEXCEPT | |
226 | : visitor_(visitor) | |
227 | , visitable2_(visitable2) | |
228 | { | |
229 | } | |
230 | ||
231 | public: // visitor interfaces | |
232 | ||
233 | template <typename Value1> | |
234 | decltype(auto) operator()(Value1& value1) | |
235 | { | |
236 | apply_visitor_binary_invoke_cpp14< | |
237 | Visitor | |
238 | , Value1 | |
239 | > invoker(visitor_, value1); | |
240 | ||
241 | return boost::apply_visitor(invoker, visitable2_); | |
242 | } | |
243 | ||
244 | private: | |
245 | apply_visitor_binary_unwrap_cpp14& operator=(const apply_visitor_binary_unwrap_cpp14&); | |
246 | }; | |
247 | ||
248 | }} // namespace detail::variant | |
249 | ||
250 | template <typename Visitor, typename Visitable1, typename Visitable2> | |
251 | inline decltype(auto) apply_visitor(Visitor& visitor, Visitable1& visitable1, Visitable2& visitable2, | |
252 | typename boost::disable_if< | |
253 | boost::detail::variant::has_result_type<Visitor> | |
254 | >::type* = 0) | |
255 | { | |
256 | ::boost::detail::variant::apply_visitor_binary_unwrap_cpp14< | |
257 | Visitor, Visitable2 | |
258 | > unwrapper(visitor, visitable2); | |
259 | ||
260 | return boost::apply_visitor(unwrapper, visitable1); | |
261 | } | |
262 | ||
263 | template <typename Visitor, typename Visitable1, typename Visitable2> | |
264 | inline decltype(auto) apply_visitor(const Visitor& visitor, Visitable1& visitable1, Visitable2& visitable2, | |
265 | typename boost::disable_if< | |
266 | boost::detail::variant::has_result_type<Visitor> | |
267 | >::type* = 0) | |
268 | { | |
269 | ::boost::detail::variant::apply_visitor_binary_unwrap_cpp14< | |
270 | const Visitor, Visitable2 | |
271 | > unwrapper(visitor, visitable2); | |
272 | ||
273 | return boost::apply_visitor(unwrapper, visitable1); | |
274 | } | |
275 | ||
276 | #endif // !defined(BOOST_NO_CXX14_DECLTYPE_AUTO) && !defined(BOOST_NO_CXX11_DECLTYPE_N3276) | |
277 | ||
278 | } // namespace boost | |
279 | ||
280 | #endif // BOOST_VARIANT_DETAIL_APPLY_VISITOR_BINARY_HPP |