1 /*=============================================================================
2 Copyright (c) 2001-2014 Joel de Guzman
3 Copyright (c) 2013 Agustin Berge
4 http://spirit.sourceforge.net/
6 Distributed under the Boost Software License, Version 1.0. (See accompanying
7 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
8 =============================================================================*/
9 #if !defined(BOOST_SPIRIT_X3_MOVE_TO_JAN_17_2013_0859PM)
10 #define BOOST_SPIRIT_X3_MOVE_TO_JAN_17_2013_0859PM
12 #include <boost/spirit/home/x3/support/traits/attribute_category.hpp>
13 #include <boost/spirit/home/x3/support/traits/tuple_traits.hpp>
14 #include <boost/spirit/home/x3/support/traits/variant_has_substitute.hpp>
15 #include <boost/fusion/include/is_sequence.hpp>
16 #include <boost/fusion/include/front.hpp>
17 #include <boost/fusion/include/move.hpp>
18 #include <boost/fusion/include/is_sequence.hpp>
21 namespace boost { namespace spirit { namespace x3 { namespace traits
23 template <typename Source, typename Dest>
24 inline void move_to(Source&& src, Dest& dest);
27 inline void move_to(T& src, T& dest);
30 inline void move_to(T const& src, T& dest);
33 inline void move_to(T&& src, T& dest);
35 template <typename Iterator, typename Dest>
36 inline void move_to(Iterator first, Iterator last, Dest& dest);
38 template <typename Dest>
39 inline void move_to(unused_type, Dest&) {}
41 template <typename Source>
42 inline void move_to(Source&, unused_type) {}
44 inline void move_to(unused_type, unused_type) {}
46 template <typename Iterator>
48 move_to(Iterator, Iterator, unused_type) {}
52 template <typename Source, typename Dest>
54 move_to(Source&&, Dest&, unused_attribute) {}
56 template <typename Source, typename Dest>
58 move_to_plain(Source&& src, Dest& dest, mpl::false_) // src is not a single-element tuple
60 dest = std::move(src);
63 template <typename Source, typename Dest>
65 move_to_plain(Source&& src, Dest& dest, mpl::true_) // src is a single-element tuple
67 dest = std::move(fusion::front(src));
70 template <typename Source, typename Dest>
72 move_to(Source&& src, Dest& dest, plain_attribute)
75 fusion::traits::is_sequence<Source>,
76 is_size_one_sequence<Source> >
77 is_single_element_sequence;
79 move_to_plain(std::forward<Source>(src), dest, is_single_element_sequence);
82 template <typename Source, typename Dest>
83 inline typename enable_if<is_container<Source>>::type
84 move_to(Source&& src, Dest& dest, container_attribute)
86 traits::move_to(src.begin(), src.end(), dest);
89 template <typename Source, typename Dest>
90 inline typename enable_if<
92 is_same_size_sequence<Dest, Source>,
93 mpl::not_<is_size_one_sequence<Dest> > >
95 move_to(Source&& src, Dest& dest, tuple_attribute)
97 fusion::move(std::forward<Source>(src), dest);
100 template <typename Source, typename Dest>
101 inline typename enable_if<
102 is_size_one_sequence<Dest>
104 move_to(Source&& src, Dest& dest, tuple_attribute)
106 traits::move_to(std::forward<Source>(src), fusion::front(dest));
109 template <typename Source, typename Dest>
111 move_to(Source&& src, Dest& dest, variant_attribute, mpl::false_)
113 dest = std::move(src);
116 template <typename Source, typename Dest>
118 move_to_variant_from_single_element_sequence(Source&& src, Dest& dest, mpl::false_)
120 // dest is a variant, src is a single element fusion sequence that the variant
121 // cannot directly hold. We'll try to unwrap the single element fusion sequence.
123 // Make sure that the Dest variant can really hold Source
124 static_assert(variant_has_substitute<Dest, typename fusion::result_of::front<Source>::type>::value,
125 "Error! The destination variant (Dest) cannot hold the source type (Source)");
127 dest = std::move(fusion::front(src));
130 template <typename Source, typename Dest>
132 move_to_variant_from_single_element_sequence(Source&& src, Dest& dest, mpl::true_)
134 // dest is a variant, src is a single element fusion sequence that the variant
135 // *can* directly hold.
136 dest = std::move(src);
139 template <typename Source, typename Dest>
141 move_to(Source&& src, Dest& dest, variant_attribute, mpl::true_)
143 move_to_variant_from_single_element_sequence(src, dest, variant_has_substitute<Dest, Source>());
146 template <typename Source, typename Dest>
148 move_to(Source&& src, Dest& dest, variant_attribute tag)
150 move_to(src, dest, tag, is_size_one_sequence<Source>());
153 template <typename Source, typename Dest>
155 move_to(Source&& src, Dest& dest, optional_attribute)
157 dest = std::move(src);
160 template <typename Iterator>
162 move_to(Iterator, Iterator, unused_type, unused_attribute) {}
164 template <typename Iterator, typename Dest>
166 move_to(Iterator first, Iterator last, Dest& dest, container_attribute)
169 dest = Dest(first, last);
171 append(dest, first, last);
174 template <typename Iterator, typename Dest>
175 inline typename enable_if<
176 is_size_one_sequence<Dest>
178 move_to(Iterator first, Iterator last, Dest& dest, tuple_attribute)
180 traits::move_to(first, last, fusion::front(dest));
183 template <typename Iterator>
185 move_to(Iterator first, Iterator last, boost::iterator_range<Iterator>& rng, range_attribute)
191 template <typename Source, typename Dest>
192 inline void move_to(boost::optional<Source>&& src, Dest& dest)
194 if (src) detail::move_to(std::move(*src), dest
195 , typename attribute_category<Dest>::type());
198 template <typename Source, typename Dest>
199 inline void move_to(Source&& src, Dest& dest)
201 detail::move_to(std::move(src), dest
202 , typename attribute_category<Dest>::type());
205 template <typename T>
206 inline void move_to(T& src, T& dest)
208 if (boost::addressof(src) != boost::addressof(dest))
209 dest = std::move(src);
212 template <typename T>
213 inline void move_to(T const& src, T& dest)
215 if (boost::addressof(src) != boost::addressof(dest))
216 dest = std::move(src);
219 template <typename T>
220 inline void move_to(T&& src, T& dest)
222 if (boost::addressof(src) != boost::addressof(dest))
223 dest = std::move(src);
226 template <typename Iterator, typename Dest>
227 inline void move_to(Iterator first, Iterator last, Dest& dest)
229 // $$$ Use std::move_iterator when iterator is not a const-iterator $$$
230 detail::move_to(first, last, dest, typename attribute_category<Dest>::type());