Boost.Hana: boost::mpl::vector< T > Struct Template Reference

| Boost.Hana 1.5.0 Your standard library for metaprogramming |

boost::mpl::vector< T > Struct Template Reference
External adapters » Boost.MPL adapters

## Description

### template<typename... T>
struct boost::mpl::vector< T >

Adapter for Boost.MPL vectors.

## Modeled concepts

It is possible for MPL vectors to model a couple of concepts. However, because they are only able to hold types, they lack the generality required to model concepts like `Functor`, `Sequence` and other related concepts.

1. `Comparable`
   Two MPL vectors are equal if and only if they contain the same number of types, and if all those types are equal.
   // Copyright Louis Dionne 2013-2017
   // Distributed under the Boost Software License, Version 1.0.
   // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
   #include <boost/hana/assert.hpp>
   #include <boost/hana/equal.hpp>
   #include <boost/hana/ext/boost/mpl/vector.hpp>
   #include <boost/hana/not_equal.hpp>
   #include <boost/mpl/vector.hpp>
   namespace hana = boost::hana;
   namespace mpl = boost::mpl;
   BOOST_HANA_CONSTANT_CHECK(
   hana::equal(mpl::vector2<int, char>{}, mpl::vector<int, char>{})
   );
   BOOST_HANA_CONSTANT_CHECK(
   hana::not_equal(mpl::vector2<int, char>{}, mpl::vector<int, char, float>{})
   );
   int main() { }
2. `Foldable`
   Folding a MPL vector is equivalent to folding it as a `Sequence`.
   // Copyright Louis Dionne 2013-2017
   // Distributed under the Boost Software License, Version 1.0.
   // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
   #include <boost/hana/assert.hpp>
   #include <boost/hana/equal.hpp>
   #include <boost/hana/ext/boost/mpl/vector.hpp>
   #include <boost/hana/ext/std/integral_constant.hpp>
   #include <boost/hana/fold_left.hpp>
   #include <boost/hana/if.hpp>
   #include <boost/hana/integral_constant.hpp>
   #include <boost/hana/plus.hpp>
   #include <boost/hana/type.hpp>
   #include <boost/mpl/vector.hpp>
   #include <type_traits>
   namespace hana = boost::hana;
   namespace mpl = boost::mpl;
   auto types = mpl::vector<long, float, short, float, long, long double>{};
   auto number_of_floats = hana::fold_left(types, hana::int_c<0>, [](auto count, auto t) {
   return hana::if_(hana::trait<std::is_floating_point>(t),
   count + hana::int_c<1>,
   count
   );
   });
   BOOST_HANA_CONSTANT_CHECK(number_of_floats == hana::int_c<3>);
   int main() { }
3. `Iterable`
   Iterating over a MPL vector is just iterating over each of the types it contains, as if it were a `Sequence`.
   // Copyright Louis Dionne 2013-2017
   // Distributed under the Boost Software License, Version 1.0.
   // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
   #include <boost/hana/assert.hpp>
   #include <boost/hana/drop_front.hpp>
   #include <boost/hana/drop_while.hpp>
   #include <boost/hana/equal.hpp>
   #include <boost/hana/ext/boost/mpl/vector.hpp>
   #include <boost/hana/ext/std/integral_constant.hpp>
   #include <boost/hana/front.hpp>
   #include <boost/hana/type.hpp>
   #include <boost/mpl/vector.hpp>
   #include <type_traits>
   namespace hana = boost::hana;
   namespace mpl = boost::mpl;
   BOOST_HANA_CONSTANT_CHECK(hana::front(mpl::vector<int, char, void>{}) == hana::type_c<int>);
   BOOST_HANA_CONSTANT_CHECK(hana::equal(
   hana::drop_front(mpl::vector<int, char, void>{}),
   mpl::vector<char, void>{}
   ));
   BOOST_HANA_CONSTANT_CHECK(hana::equal(
   hana::drop_while(mpl::vector<float, double const, int, float&>{},
   hana::trait<std::is_floating_point>),
   mpl::vector<int, float&>{}
   ));
   int main() { }
4. `Searchable`
   A MPL vector can be searched as if it were a tuple containing `hana::type`s.
   // Copyright Louis Dionne 2013-2017
   // Distributed under the Boost Software License, Version 1.0.
   // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
   #include <boost/hana/assert.hpp>
   #include <boost/hana/equal.hpp>
   #include <boost/hana/ext/boost/mpl/vector.hpp>
   #include <boost/hana/find.hpp>
   #include <boost/hana/find_if.hpp>
   #include <boost/hana/optional.hpp>
   #include <boost/hana/type.hpp>
   #include <boost/mpl/vector.hpp>
   namespace hana = boost::hana;
   namespace mpl = boost::mpl;
   BOOST_HANA_CONSTANT_CHECK(
   hana::find_if(mpl::vector<int, float, char const*>{}, hana::equal.to(hana::type_c<float>))
   ==
   hana::just(hana::type_c<float>)
   );
   BOOST_HANA_CONSTANT_CHECK(
   hana::find(mpl::vector<int, float, char const*>{}, hana::type_c<void>)
   ==
   hana::nothing
   );
   int main() { }

## Conversion from any `Foldable`

A MPL vector can be created from any `Foldable`. More precisely, for a `Foldable` `xs` whose linearization is `[x1, ..., xn]`,

to<ext::boost::mpl::vector_tag>(xs) == mpl::vector<t1, ..., tn>

where `tk` is the type of `xk`, or the type contained in `xk` if `xk` is a `hana::type`.

Warning
  The limitations on the size of `mpl::vector`s are inherited by this conversion utility, and hence trying to convert a `Foldable` containing more than BOOST_MPL_LIMIT_VECTOR_SIZE elements is an error.
  // Copyright Louis Dionne 2013-2017
  // Distributed under the Boost Software License, Version 1.0.
  // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
  #include <boost/hana/core/to.hpp>
  #include <boost/hana/ext/boost/mpl/vector.hpp>
  #include <boost/hana/tuple.hpp>
  #include <boost/hana/type.hpp>
  #include <boost/mpl/vector.hpp>
  #include <type_traits>
  namespace hana = boost::hana;
  namespace mpl = boost::mpl;
  auto xs = hana::make_tuple(hana::type_c<int>, hana::type_c<char>, hana::type_c<double>);
  static_assert(std::is_same<
  decltype(hana::to<hana::ext::boost::mpl::vector_tag>(xs)),
  mpl::vector<int, char, double>
  >{}, "");
  int main() { }