size.cpp 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103
  1. /*=============================================================================
  2. Copyright (c) 2014 Kohei Takahashi
  3. Distributed under the Boost Software License, Version 1.0. (See accompanying
  4. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  5. ==============================================================================*/
  6. #include <boost/config.hpp>
  7. #include <boost/fusion/container/vector.hpp>
  8. #include <boost/fusion/container/deque.hpp>
  9. #include <boost/fusion/container/list.hpp>
  10. #include <boost/fusion/container/set.hpp>
  11. #include <boost/fusion/container/map.hpp>
  12. #include <boost/fusion/support/pair.hpp>
  13. #include <boost/fusion/sequence/intrinsic/size.hpp>
  14. #include <boost/type_traits/is_same.hpp>
  15. #include <boost/mpl/assert.hpp>
  16. #include <boost/array.hpp>
  17. #include <boost/fusion/adapted/boost_array.hpp>
  18. #include <boost/tuple/tuple.hpp>
  19. #include <boost/fusion/adapted/boost_tuple.hpp>
  20. #if !defined(BOOST_NO_CXX11_HDR_TUPLE) && \
  21. !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
  22. #include <tuple>
  23. #include <boost/fusion/adapted/std_tuple.hpp>
  24. #endif
  25. template <typename LHS, typename RHS>
  26. void check_(LHS const&, RHS const&)
  27. {
  28. BOOST_MPL_ASSERT((boost::is_same<LHS, RHS>));
  29. }
  30. template <typename S>
  31. void check()
  32. {
  33. check_(
  34. boost::fusion::result_of::size<S>::type::value
  35. , boost::fusion::result_of::size<S>::value
  36. );
  37. }
  38. void test()
  39. {
  40. {
  41. check<boost::fusion::vector<> >();
  42. check<boost::fusion::vector<int> >();
  43. check<boost::fusion::vector<int, int> >();
  44. check<boost::fusion::vector<int, int, int> >();
  45. }
  46. {
  47. check<boost::fusion::deque<> >();
  48. check<boost::fusion::deque<int> >();
  49. check<boost::fusion::deque<int, int> >();
  50. check<boost::fusion::deque<int, int, int> >();
  51. }
  52. {
  53. check<boost::fusion::list<> >();
  54. check<boost::fusion::list<int> >();
  55. check<boost::fusion::list<int, int> >();
  56. check<boost::fusion::list<int, int, int> >();
  57. }
  58. {
  59. check<boost::fusion::set<> >();
  60. check<boost::fusion::set<int> >();
  61. check<boost::fusion::set<int, float> >();
  62. check<boost::fusion::set<int, float, double> >();
  63. }
  64. {
  65. check<boost::fusion::map<> >();
  66. check<boost::fusion::map<boost::fusion::pair<int, int> > >();
  67. check<boost::fusion::map<boost::fusion::pair<int, int> , boost::fusion::pair<float, int> > >();
  68. check<boost::fusion::map<boost::fusion::pair<int, int> , boost::fusion::pair<float, int> , boost::fusion::pair<double, int> > >();
  69. }
  70. {
  71. check<boost::array<int, 1> >();
  72. check<boost::array<int, 2> >();
  73. check<boost::array<int, 3> >();
  74. }
  75. {
  76. check<boost::tuples::tuple<> >();
  77. check<boost::tuples::tuple<int> >();
  78. check<boost::tuples::tuple<int, int> >();
  79. check<boost::tuples::tuple<int, int, int> >();
  80. }
  81. #if !defined(BOOST_NO_CXX11_HDR_TUPLE) && \
  82. !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
  83. {
  84. check<std::tuple<> >();
  85. check<std::tuple<int> >();
  86. check<std::tuple<int, int> >();
  87. check<std::tuple<int, int, int> >();
  88. }
  89. #endif
  90. }