1 /*=============================================================================
2 Copyright (C) 2015 Kohei Takahshi
4 Distributed under the Boost Software License, Version 1.0. (See accompanying
5 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
6 ==============================================================================*/
9 #include <boost/config.hpp>
10 #include <boost/fusion/include/adapt_struct.hpp>
11 #include <boost/fusion/include/as_deque.hpp>
12 #include <boost/fusion/include/as_list.hpp>
13 #include <boost/fusion/include/as_vector.hpp>
14 #include <boost/fusion/include/begin.hpp>
15 #include <boost/fusion/include/is_sequence.hpp>
16 #include <boost/fusion/include/size.hpp>
17 #include <boost/fusion/include/value_of.hpp>
18 #include <boost/type_traits/integral_constant.hpp>
19 #include <boost/type_traits/remove_const.hpp>
20 #include <boost/type_traits/remove_reference.hpp>
22 #include "fixture.hpp"
26 struct adapted_sequence
28 adapted_sequence() : value_() {}
29 explicit adapted_sequence(int value) : value_(value) {}
33 bool operator==(adapted_sequence const& lhs, adapted_sequence const& rhs)
35 return lhs.value_ == rhs.value_;
38 bool operator!=(adapted_sequence const& lhs, adapted_sequence const& rhs)
40 return lhs.value_ != rhs.value_;
43 template <template <typename> class Scenario>
44 struct can_convert_using
49 static bool can_convert_(boost::true_type /* skip */)
54 static bool can_convert_(boost::false_type /* skip */)
56 using namespace boost::fusion;
58 run<Scenario<T> >(typename result_of::as_deque<T>::type()) &&
59 run<Scenario<T> >(typename result_of::as_list<T>::type()) &&
60 run<Scenario<T> >(typename result_of::as_vector<T>::type());
63 template <typename Source, typename Expected>
64 bool operator()(Source const&, Expected const&) const
66 // bug when converting single element sequences in C++03 and
68 // not_<not_<is_convertible<sequence<sequence<int>>, int >
70 typedef typename ::boost::fusion::result_of::size<T>::type seq_size;
72 boost::integral_constant<bool, seq_size::value == 1>()
79 struct can_construct_from_elements
81 template <typename Source, typename Expected>
82 bool operator()(Source const&, Expected const&) const
84 // constructing a nested sequence of one is the complicated case to
85 // disambiguate from a conversion-copy, so focus on that
86 typedef typename boost::fusion::result_of::size<T>::type seq_size;
87 return can_construct_(
88 boost::integral_constant<int, seq_size::value>()
93 static bool can_construct_(boost::integral_constant<int, Size>)
95 return Size == 0 || Size == 2 || Size == 3;
98 static bool can_construct_(boost::integral_constant<int, 1>)
100 typedef typename ::boost::remove_reference<
101 typename ::boost::remove_const<
102 typename ::boost::fusion::result_of::value_of<
103 typename ::boost::fusion::result_of::begin<T>::type
108 return run< can_construct<T> >(element(), T());
112 template <typename T>
115 template <typename Source, typename Expected>
116 bool operator()(Source const& source, Expected const& expected)
119 run< can_copy<T> >(source, expected) &&
120 run< can_convert_using<can_copy>::to<T> >(source, expected) &&
121 run< can_construct_from_elements<T> >(source, expected);
127 BOOST_FUSION_ADAPT_STRUCT(test_detail::adapted_sequence, (int, data))
129 template <template <typename> class Scenario>
133 using namespace test_detail;
135 BOOST_TEST(boost::fusion::traits::is_sequence<adapted_sequence>::value);
136 BOOST_TEST(boost::fusion::size(adapted_sequence()) == 1);
139 run< Scenario< FUSION_SEQUENCE< FUSION_SEQUENCE<> > > >(
140 FUSION_SEQUENCE< FUSION_SEQUENCE<> >()
144 run< Scenario<FUSION_SEQUENCE<FUSION_SEQUENCE<>, int> > >(
145 FUSION_SEQUENCE< FUSION_SEQUENCE<>, int>(FUSION_SEQUENCE<>(), 325)
149 run< Scenario< FUSION_SEQUENCE<int, FUSION_SEQUENCE<> > > >(
150 FUSION_SEQUENCE< int, FUSION_SEQUENCE<> >(325, FUSION_SEQUENCE<>())
154 run< Scenario<FUSION_SEQUENCE<int, FUSION_SEQUENCE<>, float> > >(
155 FUSION_SEQUENCE<int, FUSION_SEQUENCE<> , float>(
156 325, FUSION_SEQUENCE<>(), 2.0f
162 run< Scenario< FUSION_SEQUENCE< FUSION_SEQUENCE<int> > > >(
163 FUSION_SEQUENCE< FUSION_SEQUENCE<int> >(FUSION_SEQUENCE<int>(400))
167 run< Scenario< FUSION_SEQUENCE<adapted_sequence> > >(
168 FUSION_SEQUENCE<adapted_sequence>(adapted_sequence(400))
172 run< Scenario<FUSION_SEQUENCE<FUSION_SEQUENCE<int>, int> > >(
173 FUSION_SEQUENCE<FUSION_SEQUENCE<int>, int>(
174 FUSION_SEQUENCE<int>(325), 400
179 run< Scenario<FUSION_SEQUENCE<adapted_sequence, int> > >(
180 FUSION_SEQUENCE<adapted_sequence, int>(adapted_sequence(325), 400)
184 run< Scenario< FUSION_SEQUENCE< int, FUSION_SEQUENCE<int> > > >(
185 FUSION_SEQUENCE< int, FUSION_SEQUENCE<int> >(
186 325, FUSION_SEQUENCE<int>(400)
191 run< Scenario< FUSION_SEQUENCE<int, adapted_sequence> > >(
192 FUSION_SEQUENCE<int, adapted_sequence>(325, adapted_sequence(450))
196 run< Scenario< FUSION_SEQUENCE<int, FUSION_SEQUENCE<int>, int> > >(
197 FUSION_SEQUENCE<int, FUSION_SEQUENCE<int>, int>(
198 500, FUSION_SEQUENCE<int>(350), 200
203 run< Scenario< FUSION_SEQUENCE<int, adapted_sequence, int> > >(
204 FUSION_SEQUENCE<int, adapted_sequence, int>(
205 300, adapted_sequence(500), 400)
210 run< Scenario< FUSION_SEQUENCE< FUSION_SEQUENCE<int, int> > > >(
211 FUSION_SEQUENCE< FUSION_SEQUENCE<int, int> >(
212 FUSION_SEQUENCE<int, int>(450, 500)
217 run< Scenario< FUSION_SEQUENCE<FUSION_SEQUENCE<int, int>, int> > >(
218 FUSION_SEQUENCE<FUSION_SEQUENCE<int, int>, int>(
219 FUSION_SEQUENCE<int, int>(450, 500), 150
224 run< Scenario< FUSION_SEQUENCE< int, FUSION_SEQUENCE<int, int> > > >(
225 FUSION_SEQUENCE< int, FUSION_SEQUENCE<int, int> >(
226 450, FUSION_SEQUENCE<int, int>(500, 150)
231 run<Scenario< FUSION_SEQUENCE<int, FUSION_SEQUENCE<int, int>, int> > >(
232 FUSION_SEQUENCE<int, FUSION_SEQUENCE<int, int>, int>(
233 150, FUSION_SEQUENCE<int, int>(250, 350), 450
239 run<Scenario<FUSION_SEQUENCE<FUSION_SEQUENCE<>, FUSION_SEQUENCE<> > > >(
240 FUSION_SEQUENCE< FUSION_SEQUENCE<>, FUSION_SEQUENCE<> >(
241 FUSION_SEQUENCE<>(), FUSION_SEQUENCE<>()
246 run<Scenario<FUSION_SEQUENCE<FUSION_SEQUENCE<int>, FUSION_SEQUENCE<> > > >(
247 FUSION_SEQUENCE< FUSION_SEQUENCE<int>, FUSION_SEQUENCE<> >(
248 FUSION_SEQUENCE<int>(150), FUSION_SEQUENCE<>()
253 run<Scenario<FUSION_SEQUENCE<FUSION_SEQUENCE<>, FUSION_SEQUENCE<int> > > >(
254 FUSION_SEQUENCE< FUSION_SEQUENCE<>, FUSION_SEQUENCE<int> >(
255 FUSION_SEQUENCE<>(), FUSION_SEQUENCE<int>(500)
260 run<Scenario<FUSION_SEQUENCE<FUSION_SEQUENCE<int>, FUSION_SEQUENCE<int> > > >(
261 FUSION_SEQUENCE< FUSION_SEQUENCE<int>, FUSION_SEQUENCE<int> >(
262 FUSION_SEQUENCE<int>(155), FUSION_SEQUENCE<int>(255)
268 FUSION_SEQUENCE< FUSION_SEQUENCE<int, int>, FUSION_SEQUENCE<int> >
270 FUSION_SEQUENCE< FUSION_SEQUENCE<int, int>, FUSION_SEQUENCE<int> >(
271 FUSION_SEQUENCE<int, int>(222, 333), FUSION_SEQUENCE<int>(444)
277 FUSION_SEQUENCE< FUSION_SEQUENCE<int>, FUSION_SEQUENCE<int, int> >
279 FUSION_SEQUENCE< FUSION_SEQUENCE<int>, FUSION_SEQUENCE<int, int> >(
280 FUSION_SEQUENCE<int>(100), FUSION_SEQUENCE<int, int>(300, 400)
286 FUSION_SEQUENCE< FUSION_SEQUENCE<int, int>, FUSION_SEQUENCE<int, int> >
288 FUSION_SEQUENCE< FUSION_SEQUENCE<int, int>, FUSION_SEQUENCE<int, int> >(
289 FUSION_SEQUENCE<int, int>(600, 700)
290 , FUSION_SEQUENCE<int, int>(800, 900)
296 // Ignore desired scenario, and cheat to make these work
298 run< can_lvalue_construct< FUSION_SEQUENCE<FUSION_SEQUENCE<>&> > >(
300 , FUSION_SEQUENCE< FUSION_SEQUENCE<> >()
304 run< can_construct< FUSION_SEQUENCE<const FUSION_SEQUENCE<>&> > >(
306 , FUSION_SEQUENCE< FUSION_SEQUENCE<> >()
310 run< can_lvalue_construct< FUSION_SEQUENCE<FUSION_SEQUENCE<int>&> > >(
311 FUSION_SEQUENCE<int>(300)
312 , FUSION_SEQUENCE< FUSION_SEQUENCE<int> >(FUSION_SEQUENCE<int>(300))
316 run< can_construct< FUSION_SEQUENCE<const FUSION_SEQUENCE<int>&> > >(
317 FUSION_SEQUENCE<int>(400)
318 , FUSION_SEQUENCE< FUSION_SEQUENCE<int> >(FUSION_SEQUENCE<int>(400))