1 // (C) Copyright Jeremy Siek 1999.
2 // Distributed under the Boost Software License, Version 1.0. (See
3 // accompanying file LICENSE_1_0.txt or copy at
4 // http://www.boost.org/LICENSE_1_0.txt)
7 // 22 Nov 2002 Thomas Witt
8 // Added interoperability check.
9 // 08 Mar 2001 Jeremy Siek
10 // Moved test of indirect iterator into its own file. It to
11 // to be in iterator_adaptor_test.cpp.
13 #include <boost/config.hpp>
17 #include <boost/iterator/indirect_iterator.hpp>
18 #include <boost/iterator/iterator_concepts.hpp>
19 #include <boost/iterator/new_iterator_tests.hpp>
21 #include <boost/detail/workaround.hpp>
23 #include <boost/concept_archetype.hpp>
24 #include <boost/concept_check.hpp>
25 #include <boost/shared_ptr.hpp>
26 #include <boost/utility.hpp>
28 #include <boost/mpl/has_xxx.hpp>
30 #include <boost/detail/lightweight_test.hpp>
37 #if !defined(__SGI_STL_PORT) \
38 && (defined(BOOST_MSVC_STD_ITERATOR) \
39 || BOOST_WORKAROUND(_CPPLIB_VER, <= 310) \
40 || BOOST_WORKAROUND(__GNUC__, <= 2))
42 // std container random-access iterators don't support mutable/const
43 // interoperability (but may support const/mutable interop).
44 # define NO_MUTABLE_CONST_STD_SET_ITERATOR_INTEROPERABILITY
49 template <class T
> struct see_type
;
50 template <int I
> struct see_val
;
52 struct my_iterator_tag
: public std::random_access_iterator_tag
{ };
56 typedef std::vector
<int> storage
;
57 typedef std::vector
<int*> pointer_ra_container
;
58 typedef std::set
<storage::iterator
> iterator_set
;
60 template <class Container
>
61 struct indirect_iterator_pair_generator
63 typedef boost::indirect_iterator
<typename
Container::iterator
> iterator
;
65 typedef boost::indirect_iterator
<
66 typename
Container::iterator
67 , typename
iterator::value_type
const
71 void more_indirect_iterator_tests()
74 std::generate(store
.begin(), store
.end(), rand
);
76 pointer_ra_container ptr_ra_container
;
77 iterator_set iter_set
;
79 for (storage::iterator p
= store
.begin(); p
!= store
.end(); ++p
)
81 ptr_ra_container
.push_back(&*p
);
85 typedef indirect_iterator_pair_generator
<pointer_ra_container
> indirect_ra_container
;
87 indirect_ra_container::iterator
db(ptr_ra_container
.begin());
88 indirect_ra_container::iterator
de(ptr_ra_container
.end());
89 BOOST_TEST(static_cast<std::size_t>(de
- db
) == store
.size());
90 BOOST_TEST(db
+ store
.size() == de
);
91 indirect_ra_container::const_iterator dci
= db
;
93 BOOST_TEST(dci
== db
);
95 #ifndef NO_MUTABLE_CONST_RA_ITERATOR_INTEROPERABILITY
96 BOOST_TEST(db
== dci
);
99 BOOST_TEST(dci
!= de
);
100 BOOST_TEST(dci
< de
);
101 BOOST_TEST(dci
<= de
);
103 #ifndef NO_MUTABLE_CONST_RA_ITERATOR_INTEROPERABILITY
104 BOOST_TEST(de
>= dci
);
105 BOOST_TEST(de
> dci
);
109 BOOST_TEST(dci
== de
);
111 boost::random_access_iterator_test(db
+ 1, store
.size() - 1, boost::next(store
.begin()));
114 BOOST_TEST(store
.front() == 999);
116 // Borland C++ is getting very confused about the typedefs here
117 typedef boost::indirect_iterator
<iterator_set::iterator
> indirect_set_iterator
;
118 typedef boost::indirect_iterator
<
119 iterator_set::iterator
120 , iterator_set::iterator::value_type
const
121 > const_indirect_set_iterator
;
123 indirect_set_iterator
sb(iter_set
.begin());
124 indirect_set_iterator
se(iter_set
.end());
125 const_indirect_set_iterator
sci(iter_set
.begin());
126 BOOST_TEST(sci
== sb
);
128 # ifndef NO_MUTABLE_CONST_STD_SET_ITERATOR_INTEROPERABILITY
129 BOOST_TEST(se
!= sci
);
132 BOOST_TEST(sci
!= se
);
134 BOOST_TEST(sci
== se
);
136 *boost::prior(se
) = 888;
137 BOOST_TEST(store
.back() == 888);
138 BOOST_TEST(std::equal(sb
, se
, store
.begin()));
140 boost::bidirectional_iterator_test(boost::next(sb
), store
[1], store
[2]);
141 BOOST_TEST(std::equal(db
, de
, store
.begin()));
144 // element_type detector; defaults to true so the test passes when
145 // has_xxx isn't implemented
146 BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(has_element_type
, element_type
, true)
151 dummyT array
[] = { dummyT(0), dummyT(1), dummyT(2),
152 dummyT(3), dummyT(4), dummyT(5) };
153 const int N
= sizeof(array
)/sizeof(dummyT
);
155 # if BOOST_WORKAROUND(BOOST_MSVC, == 1200)
156 boost::shared_ptr
<dummyT
> zz((dummyT
*)0); // Why? I don't know, but it suppresses a bad instantiation.
159 typedef std::vector
<boost::shared_ptr
<dummyT
> > shared_t
;
164 typedef boost::indirect_iterator
<shared_t::iterator
> iter_t
;
168 std::iterator_traits
<shared_t::iterator
>::value_type
172 typedef boost::indirect_iterator
<
174 , boost::iterator_value
<shared_t::iterator
>::type
const
177 # ifndef NO_MUTABLE_CONST_RA_ITERATOR_INTEROPERABILITY
178 boost::function_requires
< boost_concepts::InteroperableIteratorConcept
<iter_t
, c_iter_t
> >();
182 // Test indirect_iterator_generator
184 for (int jj
= 0; jj
< N
; ++jj
)
185 shared
.push_back(boost::shared_ptr
<dummyT
>(new dummyT(jj
)));
188 for (int k
= 0; k
< N
; ++k
)
191 typedef boost::indirect_iterator
<dummyT
**> indirect_iterator
;
193 typedef boost::indirect_iterator
<dummyT
**, dummyT
const>
194 const_indirect_iterator
;
196 indirect_iterator
i(ptr
);
197 boost::random_access_iterator_test(i
, N
, array
);
199 boost::random_access_iterator_test(
200 boost::indirect_iterator
<shared_t::iterator
>(shared
.begin())
203 boost::random_access_iterator_test(boost::make_indirect_iterator(ptr
), N
, array
);
206 assert((*i
).m_x
== i
->foo());
208 const_indirect_iterator
j(ptr
);
209 boost::random_access_iterator_test(j
, N
, array
);
211 dummyT
const*const* const_ptr
= ptr
;
212 boost::random_access_iterator_test(boost::make_indirect_iterator(const_ptr
), N
, array
);
214 boost::const_nonconst_iterator_test(i
, ++j
);
216 more_indirect_iterator_tests();
218 return boost::report_errors();