set.cpp 4.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110
  1. /*=============================================================================
  2. Copyright (c) 2001-2011 Joel de Guzman
  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/detail/lightweight_test.hpp>
  7. #include <boost/fusion/container/set/set.hpp>
  8. #include <boost/fusion/container/generation/make_set.hpp>
  9. #include <boost/fusion/sequence/intrinsic/at_key.hpp>
  10. #include <boost/fusion/sequence/intrinsic/value_at_key.hpp>
  11. #include <boost/fusion/sequence/intrinsic/has_key.hpp>
  12. #include <boost/fusion/sequence/intrinsic/begin.hpp>
  13. #include <boost/fusion/sequence/io/out.hpp>
  14. #include <boost/fusion/iterator/key_of.hpp>
  15. #include <boost/fusion/iterator/deref_data.hpp>
  16. #include <boost/fusion/iterator/value_of_data.hpp>
  17. #include <boost/fusion/iterator/next.hpp>
  18. #include <boost/fusion/support/pair.hpp>
  19. #include <boost/fusion/support/category_of.hpp>
  20. #include <boost/fusion/support/is_sequence.hpp>
  21. #include <boost/static_assert.hpp>
  22. #include <boost/mpl/assert.hpp>
  23. #include <boost/mpl/is_sequence.hpp>
  24. #include <iostream>
  25. #include <string>
  26. int
  27. main()
  28. {
  29. using namespace boost::fusion;
  30. using namespace boost;
  31. namespace fusion = boost::fusion;
  32. using boost::fusion::pair;
  33. using boost::fusion::make_pair;
  34. std::cout << tuple_open('[');
  35. std::cout << tuple_close(']');
  36. std::cout << tuple_delimiter(", ");
  37. {
  38. typedef set<int, std::string> set_type;
  39. BOOST_MPL_ASSERT((traits::is_associative<set_type>));
  40. set_type m(123, "Hola");
  41. std::cout << at_key<int>(m) << std::endl;
  42. std::cout << at_key<std::string>(m) << std::endl;
  43. BOOST_TEST(at_key<int>(m) == 123);
  44. BOOST_TEST(at_key<std::string>(m) == "Hola");
  45. BOOST_STATIC_ASSERT((
  46. boost::is_same<boost::fusion::result_of::value_at_key<set_type, int>::type, int>::value));
  47. BOOST_STATIC_ASSERT((
  48. boost::is_same<boost::fusion::result_of::value_at_key<set_type, std::string>::type, std::string>::value));
  49. std::cout << m << std::endl;
  50. BOOST_STATIC_ASSERT((boost::fusion::result_of::has_key<set_type, int>::value));
  51. BOOST_STATIC_ASSERT((boost::fusion::result_of::has_key<set_type, std::string>::value));
  52. BOOST_STATIC_ASSERT((!boost::fusion::result_of::has_key<set_type, double>::value));
  53. std::cout << deref_data(begin(m)) << std::endl;
  54. std::cout << deref_data(fusion::next(begin(m))) << std::endl;
  55. BOOST_TEST(deref_data(begin(m)) == 123);
  56. BOOST_TEST(deref_data(fusion::next(begin(m))) == "Hola");
  57. BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::key_of<boost::fusion::result_of::begin<set_type>::type>::type, int>::value));
  58. BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::key_of<boost::fusion::result_of::next<boost::fusion::result_of::begin<set_type>::type>::type>::type, std::string>::value));
  59. BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::value_of_data<boost::fusion::result_of::begin<set_type>::type>::type, int>::value));
  60. BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::value_of_data<boost::fusion::result_of::next<boost::fusion::result_of::begin<set_type>::type>::type>::type, std::string>::value));
  61. }
  62. {
  63. std::cout << make_set('X', 123) << std::endl;
  64. BOOST_TEST(at_key<char>(make_set('X', 123)) == 'X');
  65. BOOST_TEST(at_key<int>(make_set('X', 123)) == 123);
  66. }
  67. { // testing is_sequence
  68. typedef set<int, float, double> t1;
  69. typedef set<> t2;
  70. typedef set<char> t3;
  71. BOOST_MPL_ASSERT((traits::is_sequence<t1>));
  72. BOOST_MPL_ASSERT((traits::is_sequence<t2>));
  73. BOOST_MPL_ASSERT((traits::is_sequence<t3>));
  74. BOOST_STATIC_ASSERT(traits::is_sequence<t1>::value);
  75. BOOST_STATIC_ASSERT(traits::is_sequence<t2>::value);
  76. BOOST_STATIC_ASSERT(traits::is_sequence<t3>::value);
  77. }
  78. { // testing mpl::is_sequence
  79. typedef set<int, float, double> t1;
  80. typedef set<> t2;
  81. typedef set<char> t3;
  82. BOOST_MPL_ASSERT((boost::mpl::is_sequence<t1>));
  83. BOOST_MPL_ASSERT((boost::mpl::is_sequence<t2>));
  84. BOOST_MPL_ASSERT((boost::mpl::is_sequence<t3>));
  85. }
  86. return boost::report_errors();
  87. }