iterator_pair.cpp 4.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104
  1. // Boost.Range library
  2. //
  3. // Copyright Thorsten Ottosen 2003-2004. Use, modification and
  4. // distribution is subject to the Boost Software License, Version
  5. // 1.0. (See accompanying file LICENSE_1_0.txt or copy at
  6. // http://www.boost.org/LICENSE_1_0.txt)
  7. //
  8. // For more information, see http://www.boost.org/libs/range/
  9. //
  10. #include <boost/detail/workaround.hpp>
  11. #if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
  12. # pragma warn -8091 // suppress warning in Boost.Test
  13. # pragma warn -8057 // unused argument argc/argv in Boost.Test
  14. #endif
  15. #include <boost/range/concepts.hpp>
  16. #include <boost/range/functions.hpp>
  17. #include <boost/range/metafunctions.hpp>
  18. #include <boost/static_assert.hpp>
  19. #include <boost/type_traits.hpp>
  20. #include <boost/test/test_tools.hpp>
  21. #include <vector>
  22. #include <iterator>
  23. #include <utility>
  24. void check_iterator_pair()
  25. {
  26. typedef std::vector<int> vec_t;
  27. vec_t vec;
  28. vec.push_back( 4 );
  29. typedef std::pair<vec_t::iterator,vec_t::iterator>
  30. pair_t;
  31. typedef std::pair<vec_t::const_iterator,vec_t::const_iterator>
  32. const_pair_t;
  33. typedef const pair_t const_pair_tt;
  34. pair_t pair = std::make_pair( boost::begin( vec ), boost::end( vec ) );
  35. const_pair_t const_pair = std::make_pair( boost::begin( vec ), boost::end( vec ) );
  36. const_pair_tt constness_pair( pair );
  37. BOOST_STATIC_ASSERT(( boost::is_same< boost::range_value<pair_t>::type,
  38. std::iterator_traits<pair_t::first_type>::value_type>::value ));
  39. BOOST_STATIC_ASSERT(( boost::is_same< boost::range_iterator<pair_t>::type, pair_t::first_type >::value ));
  40. BOOST_STATIC_ASSERT(( boost::is_same< boost::range_const_iterator<pair_t>::type, pair_t::first_type >::value ));
  41. BOOST_STATIC_ASSERT(( boost::is_same< boost::range_difference<pair_t>::type,
  42. std::iterator_traits<pair_t::first_type>::difference_type >::value ));
  43. BOOST_STATIC_ASSERT(( boost::is_same< boost::range_size<pair_t>::type, std::size_t >::value ));
  44. BOOST_STATIC_ASSERT(( boost::is_same< boost::range_iterator<pair_t>::type, pair_t::first_type >::value ));
  45. BOOST_STATIC_ASSERT(( boost::is_same< boost::range_iterator<const_pair_t>::type, const_pair_t::first_type >::value ));
  46. BOOST_STATIC_ASSERT(( boost::is_same< boost::range_value<const_pair_tt>::type,
  47. std::iterator_traits<const_pair_t::first_type>::value_type>::value ));
  48. BOOST_STATIC_ASSERT(( boost::is_same< boost::range_iterator<const_pair_tt>::type, const_pair_tt::first_type >::value ));
  49. //
  50. // This behavior is not supported with v2.
  51. //BOOST_STATIC_ASSERT(( is_same< range_const_iterator<const_pair_tt>::type, const_pair_tt::first_type >::value ));
  52. BOOST_STATIC_ASSERT(( boost::is_same< boost::range_difference<const_pair_tt>::type,
  53. std::iterator_traits<const_pair_tt::first_type>::difference_type >::value ));
  54. BOOST_STATIC_ASSERT(( boost::is_same< boost::range_size<const_pair_tt>::type, std::size_t >::value ));
  55. BOOST_STATIC_ASSERT(( boost::is_same< boost::range_iterator<const_pair_tt>::type, const_pair_tt::first_type >::value ));
  56. BOOST_STATIC_ASSERT(( boost::is_same< boost::range_iterator<const_pair_tt>::type, const_pair_tt::first_type >::value ));
  57. BOOST_CHECK( boost::begin( pair ) == pair.first );
  58. BOOST_CHECK( boost::end( pair ) == pair.second );
  59. BOOST_CHECK( boost::empty( pair ) == (pair.first == pair.second) );
  60. BOOST_CHECK( boost::size( pair ) ==
  61. static_cast<std::size_t>(
  62. std::distance(pair.first, pair.second)) );
  63. BOOST_CHECK( boost::begin( const_pair ) == const_pair.first );
  64. BOOST_CHECK( boost::end( const_pair ) == const_pair.second );
  65. BOOST_CHECK( boost::empty( const_pair ) == (const_pair.first == const_pair.second) );
  66. BOOST_CHECK( boost::size( const_pair ) ==
  67. static_cast<std::size_t>(
  68. std::distance(const_pair.first, const_pair.second)) );
  69. BOOST_CHECK( boost::begin( constness_pair ) == constness_pair.first );
  70. BOOST_CHECK( boost::end( constness_pair ) == constness_pair.second );
  71. BOOST_CHECK( boost::empty( constness_pair ) == (constness_pair.first == const_pair.second) );
  72. BOOST_CHECK( boost::size( constness_pair ) ==
  73. static_cast<std::size_t>(
  74. std::distance(constness_pair.first,
  75. constness_pair.second)) );
  76. }
  77. #include <boost/test/unit_test.hpp>
  78. boost::unit_test::test_suite* init_unit_test_suite( int argc, char* argv[] )
  79. {
  80. boost::unit_test::test_suite* test = BOOST_TEST_SUITE( "Range Test Suite" );
  81. test->add( BOOST_TEST_CASE( &check_iterator_pair ) );
  82. return test;
  83. }