null_iterator_test.cpp 3.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495
  1. //////////////////////////////////////////////////////////////////////////////
  2. //
  3. // (C) Copyright Ion Gaztanaga 2014-2014. Distributed under the Boost
  4. // Software License, Version 1.0. (See accompanying file
  5. // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  6. //
  7. // See http://www.boost.org/libs/container for documentation.
  8. //
  9. //////////////////////////////////////////////////////////////////////////////
  10. #include <boost/intrusive/list.hpp>
  11. #include <boost/intrusive/slist.hpp>
  12. #include <boost/intrusive/bs_set.hpp>
  13. #include <boost/intrusive/set.hpp>
  14. #include <boost/intrusive/avl_set.hpp>
  15. #include <boost/intrusive/sg_set.hpp>
  16. #include <boost/intrusive/treap_set.hpp>
  17. #include <boost/intrusive/splay_set.hpp>
  18. #include <boost/intrusive/detail/mpl.hpp>
  19. #include <boost/core/lightweight_test.hpp>
  20. #include <boost/aligned_storage.hpp>
  21. #include <boost/static_assert.hpp>
  22. #include <cstring>
  23. #include <new>
  24. using namespace boost::intrusive;
  25. struct Type
  26. : list_base_hook<>
  27. , slist_base_hook<>
  28. , set_base_hook<>
  29. , avl_set_base_hook<>
  30. , bs_set_base_hook<>
  31. {};
  32. typedef boost::aligned_storage<sizeof(void*)*4>::type buffer_t;
  33. static buffer_t buffer_0x00;
  34. static buffer_t buffer_0xFF;
  35. template<class Iterator>
  36. const Iterator &on_0x00_buffer()
  37. {
  38. BOOST_STATIC_ASSERT(sizeof(buffer_t) >= sizeof(Iterator));
  39. return * ::new(std::memset(&buffer_0x00, 0x00, sizeof(buffer_0x00))) Iterator();
  40. }
  41. template<class Iterator>
  42. const Iterator &on_0xFF_buffer()
  43. {
  44. BOOST_STATIC_ASSERT(sizeof(buffer_t) >= sizeof(Iterator));
  45. return * ::new(std::memset(&buffer_0xFF, 0xFF, sizeof(buffer_0xFF))) Iterator();
  46. }
  47. BOOST_INTRUSIVE_INSTANTIATE_DEFAULT_TYPE_TMPLT(reverse_iterator)
  48. BOOST_INTRUSIVE_INSTANTIATE_DEFAULT_TYPE_TMPLT(const_reverse_iterator)
  49. template<class Container>
  50. void check_null_iterators()
  51. {
  52. typedef typename Container::iterator iterator;
  53. typedef typename Container::const_iterator const_iterator;
  54. typedef BOOST_INTRUSIVE_OBTAIN_TYPE_WITH_DEFAULT
  55. (::, Container
  56. ,reverse_iterator, iterator) reverse_iterator;
  57. typedef BOOST_INTRUSIVE_OBTAIN_TYPE_WITH_DEFAULT
  58. (::, Container
  59. ,const_reverse_iterator, const_iterator) const_reverse_iterator;
  60. BOOST_TEST(on_0xFF_buffer<iterator>() == on_0x00_buffer<iterator>());
  61. BOOST_TEST(on_0xFF_buffer<const_iterator>() == on_0x00_buffer<const_iterator>());
  62. BOOST_TEST(on_0xFF_buffer<reverse_iterator>() == on_0x00_buffer<reverse_iterator>());
  63. BOOST_TEST(on_0xFF_buffer<const_reverse_iterator>() == on_0x00_buffer<const_reverse_iterator>());
  64. }
  65. int main()
  66. {
  67. check_null_iterators< list<Type> >();
  68. check_null_iterators< slist<Type> >();
  69. check_null_iterators< bs_set<Type> >();
  70. check_null_iterators< set<Type> >();
  71. check_null_iterators< multiset<Type> >();
  72. check_null_iterators< avl_set<Type> >();
  73. check_null_iterators< avl_multiset<Type> >();
  74. check_null_iterators< sg_set<Type> >();
  75. check_null_iterators< sg_multiset<Type> >();
  76. check_null_iterators< treap_set<Type> >();
  77. check_null_iterators< treap_multiset<Type> >();
  78. check_null_iterators< splay_set<Type> >();
  79. check_null_iterators< splay_multiset<Type> >();
  80. return boost::report_errors();
  81. }