length.hpp 1.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. // Copyright Louis Dionne 2013-2017
  2. // Distributed under the Boost Software License, Version 1.0.
  3. // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
  4. #ifndef BOOST_HANA_TEST_AUTO_LENGTH_HPP
  5. #define BOOST_HANA_TEST_AUTO_LENGTH_HPP
  6. #include <boost/hana/assert.hpp>
  7. #include <boost/hana/equal.hpp>
  8. #include <boost/hana/integral_constant.hpp>
  9. #include <boost/hana/length.hpp>
  10. #include "test_case.hpp"
  11. namespace _test_length_detail { template <int> struct undefined { }; }
  12. TestCase test_length{[]{
  13. namespace hana = boost::hana;
  14. using _test_length_detail::undefined;
  15. BOOST_HANA_CONSTANT_CHECK(hana::equal(
  16. hana::length(MAKE_TUPLE()),
  17. hana::size_c<0>
  18. ));
  19. BOOST_HANA_CONSTANT_CHECK(hana::equal(
  20. hana::length(MAKE_TUPLE(undefined<1>{})),
  21. hana::size_c<1>
  22. ));
  23. BOOST_HANA_CONSTANT_CHECK(hana::equal(
  24. hana::length(MAKE_TUPLE(undefined<1>{}, undefined<2>{})),
  25. hana::size_c<2>
  26. ));
  27. BOOST_HANA_CONSTANT_CHECK(hana::equal(
  28. hana::length(MAKE_TUPLE(undefined<1>{}, undefined<2>{}, undefined<3>{})),
  29. hana::size_c<3>
  30. ));
  31. BOOST_HANA_CONSTANT_CHECK(hana::equal(
  32. hana::length(MAKE_TUPLE(undefined<1>{}, undefined<2>{}, undefined<3>{}, undefined<4>{}, undefined<5>{}, undefined<6>{})),
  33. hana::size_c<6>
  34. ));
  35. }};
  36. #endif // !BOOST_HANA_TEST_AUTO_LENGTH_HPP