2004-07-12 03:18:49 +00:00
|
|
|
// Copyright David Abrahams 2004. Distributed under the Boost
|
|
|
|
// Software License, Version 1.0. (See accompanying
|
|
|
|
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
|
|
|
|
// This is really an incomplete test; should be fleshed out.
|
|
|
|
|
|
|
|
#include <boost/iterator/iterator_facade.hpp>
|
|
|
|
#include <boost/iterator/new_iterator_tests.hpp>
|
|
|
|
|
2012-04-24 21:28:07 +00:00
|
|
|
#include <boost/call_traits.hpp>
|
2025-01-26 15:17:36 +03:00
|
|
|
#include <type_traits>
|
|
|
|
|
|
|
|
#include "static_assert_same.hpp"
|
2012-04-24 21:28:07 +00:00
|
|
|
|
2004-07-12 03:18:49 +00:00
|
|
|
// This is a really, really limited test so far. All we're doing
|
|
|
|
// right now is checking that the postfix++ proxy for single-pass
|
|
|
|
// iterators works properly.
|
2004-07-14 00:40:04 +00:00
|
|
|
template <class Ref>
|
2004-07-12 03:18:49 +00:00
|
|
|
class counter_iterator
|
|
|
|
: public boost::iterator_facade<
|
2004-07-14 00:40:04 +00:00
|
|
|
counter_iterator<Ref>
|
2004-07-12 03:18:49 +00:00
|
|
|
, int const
|
2004-07-14 00:40:04 +00:00
|
|
|
, boost::single_pass_traversal_tag
|
2004-07-12 03:18:49 +00:00
|
|
|
, Ref
|
|
|
|
>
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
counter_iterator() {}
|
|
|
|
counter_iterator(int* state) : state(state) {}
|
|
|
|
|
|
|
|
void increment()
|
|
|
|
{
|
|
|
|
++*state;
|
|
|
|
}
|
|
|
|
|
|
|
|
Ref
|
|
|
|
dereference() const
|
|
|
|
{
|
|
|
|
return *state;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool equal(counter_iterator const& y) const
|
|
|
|
{
|
|
|
|
return *this->state == *y.state;
|
|
|
|
}
|
|
|
|
|
|
|
|
int* state;
|
|
|
|
};
|
|
|
|
|
|
|
|
struct proxy
|
|
|
|
{
|
|
|
|
proxy(int& x) : state(x) {}
|
2014-09-18 16:37:28 +09:00
|
|
|
|
2004-07-12 03:18:49 +00:00
|
|
|
operator int const&() const
|
|
|
|
{
|
|
|
|
return state;
|
|
|
|
}
|
|
|
|
|
|
|
|
int& operator=(int x) { state = x; return state; }
|
2014-09-18 16:37:28 +09:00
|
|
|
|
2004-07-12 03:18:49 +00:00
|
|
|
int& state;
|
|
|
|
};
|
2006-09-15 16:41:43 +00:00
|
|
|
|
|
|
|
struct value
|
|
|
|
{
|
2022-11-18 00:39:26 +03:00
|
|
|
int increment_count;
|
|
|
|
int private_mutator_count;
|
|
|
|
int& shared_mutator_count;
|
|
|
|
|
|
|
|
explicit value(int& shared_mutator_count) :
|
|
|
|
increment_count(0),
|
|
|
|
private_mutator_count(0),
|
|
|
|
shared_mutator_count(shared_mutator_count)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
// non-const member function
|
|
|
|
void mutator()
|
|
|
|
{
|
|
|
|
++private_mutator_count;
|
|
|
|
++shared_mutator_count;
|
|
|
|
}
|
2006-09-15 16:41:43 +00:00
|
|
|
};
|
2006-09-13 22:24:14 +00:00
|
|
|
|
|
|
|
struct input_iter
|
|
|
|
: boost::iterator_facade<
|
|
|
|
input_iter
|
|
|
|
, value
|
|
|
|
, boost::single_pass_traversal_tag
|
|
|
|
, value
|
|
|
|
>
|
|
|
|
{
|
|
|
|
public:
|
2022-11-18 00:39:26 +03:00
|
|
|
explicit input_iter(value& val) : state(&val) {}
|
2006-09-13 22:24:14 +00:00
|
|
|
|
|
|
|
void increment()
|
|
|
|
{
|
2022-11-18 00:39:26 +03:00
|
|
|
++(state->increment_count);
|
2006-09-13 22:24:14 +00:00
|
|
|
}
|
|
|
|
value
|
|
|
|
dereference() const
|
|
|
|
{
|
2022-11-18 00:39:26 +03:00
|
|
|
return *state;
|
2006-09-13 22:24:14 +00:00
|
|
|
}
|
|
|
|
|
2017-09-01 20:51:07 +03:00
|
|
|
bool equal(input_iter const&) const
|
2006-09-13 22:24:14 +00:00
|
|
|
{
|
|
|
|
return false;
|
|
|
|
}
|
2022-11-18 00:39:26 +03:00
|
|
|
|
|
|
|
private:
|
|
|
|
value* state;
|
2006-09-13 22:24:14 +00:00
|
|
|
};
|
|
|
|
|
2012-04-24 21:28:07 +00:00
|
|
|
template <class T>
|
|
|
|
struct wrapper
|
|
|
|
{
|
|
|
|
T m_x;
|
|
|
|
explicit wrapper(typename boost::call_traits<T>::param_type x)
|
|
|
|
: m_x(x)
|
|
|
|
{ }
|
|
|
|
template <class U>
|
|
|
|
wrapper(const wrapper<U>& other,
|
2025-01-26 15:17:36 +03:00
|
|
|
typename std::enable_if< std::is_convertible<U,T>::value >::type* = 0)
|
2012-04-24 21:28:07 +00:00
|
|
|
: m_x(other.m_x)
|
|
|
|
{ }
|
|
|
|
};
|
|
|
|
|
|
|
|
struct iterator_with_proxy_reference
|
|
|
|
: boost::iterator_facade<
|
|
|
|
iterator_with_proxy_reference
|
|
|
|
, wrapper<int>
|
|
|
|
, boost::incrementable_traversal_tag
|
|
|
|
, wrapper<int&>
|
|
|
|
>
|
|
|
|
{
|
|
|
|
int& m_x;
|
|
|
|
explicit iterator_with_proxy_reference(int& x)
|
|
|
|
: m_x(x)
|
|
|
|
{ }
|
|
|
|
|
|
|
|
void increment()
|
|
|
|
{ }
|
|
|
|
wrapper<int&> dereference() const
|
|
|
|
{ return wrapper<int&>(m_x); }
|
|
|
|
};
|
|
|
|
|
2014-09-18 16:37:28 +09:00
|
|
|
template <class I, class A>
|
|
|
|
struct abstract_iterator
|
|
|
|
: boost::iterator_facade<
|
|
|
|
abstract_iterator<I, A>
|
2025-01-26 15:17:36 +03:00
|
|
|
, A&
|
2014-09-18 16:37:28 +09:00
|
|
|
// In order to be value type as a reference, traversal category has
|
|
|
|
// to satisfy least forward traversal.
|
|
|
|
, boost::forward_traversal_tag
|
2025-01-26 15:17:36 +03:00
|
|
|
, A&
|
2014-09-18 16:37:28 +09:00
|
|
|
>
|
|
|
|
{
|
|
|
|
abstract_iterator(I iter) : iter(iter) {}
|
|
|
|
|
|
|
|
void increment()
|
|
|
|
{ ++iter; }
|
|
|
|
|
2025-01-26 15:17:36 +03:00
|
|
|
A& dereference() const
|
2014-09-18 16:37:28 +09:00
|
|
|
{ return *iter; }
|
|
|
|
|
|
|
|
bool equal(abstract_iterator const& y) const
|
|
|
|
{ return iter == y.iter; }
|
|
|
|
|
|
|
|
I iter;
|
|
|
|
};
|
|
|
|
|
|
|
|
struct base
|
|
|
|
{
|
2025-01-26 15:17:36 +03:00
|
|
|
virtual void assign(const base&) = 0;
|
|
|
|
virtual bool equal(const base&) const = 0;
|
2014-09-18 16:37:28 +09:00
|
|
|
};
|
|
|
|
|
|
|
|
struct derived : base
|
|
|
|
{
|
|
|
|
derived(int state) : state(state) { }
|
2025-01-26 15:17:36 +03:00
|
|
|
derived(const derived& d) : state(d.state) { }
|
|
|
|
derived(const base& b) { derived::assign(b); }
|
2014-09-18 16:37:28 +09:00
|
|
|
|
2025-01-26 15:17:36 +03:00
|
|
|
virtual void assign(const base& b)
|
2014-09-18 16:37:28 +09:00
|
|
|
{
|
2025-01-26 15:17:36 +03:00
|
|
|
state = dynamic_cast<const derived& >(b).state;
|
2014-09-18 16:37:28 +09:00
|
|
|
}
|
|
|
|
|
2025-01-26 15:17:36 +03:00
|
|
|
virtual bool equal(const base& b) const
|
2014-09-18 16:37:28 +09:00
|
|
|
{
|
2025-01-26 15:17:36 +03:00
|
|
|
return state == dynamic_cast<const derived&>(b).state;
|
2014-09-18 16:37:28 +09:00
|
|
|
}
|
|
|
|
|
|
|
|
int state;
|
|
|
|
};
|
|
|
|
|
2025-01-26 15:17:36 +03:00
|
|
|
inline bool operator==(const base& lhs, const base& rhs)
|
2014-09-18 16:37:28 +09:00
|
|
|
{
|
|
|
|
return lhs.equal(rhs);
|
|
|
|
}
|
|
|
|
|
2004-07-12 03:18:49 +00:00
|
|
|
int main()
|
|
|
|
{
|
2012-04-24 21:28:07 +00:00
|
|
|
{
|
|
|
|
int state = 0;
|
|
|
|
boost::readable_iterator_test(counter_iterator<int const&>(&state), 0);
|
|
|
|
state = 3;
|
|
|
|
boost::readable_iterator_test(counter_iterator<proxy>(&state), 3);
|
|
|
|
boost::writable_iterator_test(counter_iterator<proxy>(&state), 9, 7);
|
|
|
|
BOOST_TEST(state == 8);
|
|
|
|
}
|
|
|
|
|
|
|
|
{
|
|
|
|
// test for a fix to http://tinyurl.com/zuohe
|
|
|
|
// These two lines should be equivalent (and both compile)
|
2022-11-18 00:39:26 +03:00
|
|
|
int shared_mutator_count = 0;
|
|
|
|
value val(shared_mutator_count);
|
|
|
|
input_iter p(val);
|
2012-04-24 21:28:07 +00:00
|
|
|
(*p).mutator();
|
|
|
|
p->mutator();
|
2022-11-18 00:39:26 +03:00
|
|
|
BOOST_TEST_EQ(val.increment_count, 0);
|
|
|
|
BOOST_TEST_EQ(val.private_mutator_count, 0); // mutator() should be invoked on an object returned by value
|
|
|
|
BOOST_TEST_EQ(shared_mutator_count, 2);
|
2012-04-24 21:28:07 +00:00
|
|
|
|
2025-01-26 15:17:36 +03:00
|
|
|
STATIC_ASSERT_SAME(input_iter::pointer, std::remove_cv<std::remove_reference<decltype(p.operator->())>::type>::type);
|
2012-04-24 21:28:07 +00:00
|
|
|
}
|
|
|
|
|
2022-11-18 00:39:26 +03:00
|
|
|
{
|
|
|
|
// Test that accessing dereferenced value of a post-incremented iterator works
|
|
|
|
int shared_mutator_count = 0;
|
|
|
|
value val(shared_mutator_count);
|
|
|
|
input_iter p(val);
|
|
|
|
(*p++).mutator();
|
|
|
|
(p++)->mutator();
|
|
|
|
BOOST_TEST_EQ(val.increment_count, 2);
|
|
|
|
BOOST_TEST_EQ(val.private_mutator_count, 0); // mutator() should be invoked on an object returned by value
|
|
|
|
BOOST_TEST_EQ(shared_mutator_count, 2);
|
|
|
|
}
|
|
|
|
|
2012-04-24 21:28:07 +00:00
|
|
|
{
|
|
|
|
int x = 0;
|
|
|
|
iterator_with_proxy_reference i(x);
|
|
|
|
BOOST_TEST(x == 0);
|
|
|
|
BOOST_TEST(i.m_x == 0);
|
|
|
|
++(*i).m_x;
|
|
|
|
BOOST_TEST(x == 1);
|
|
|
|
BOOST_TEST(i.m_x == 1);
|
|
|
|
++i->m_x;
|
|
|
|
BOOST_TEST(x == 2);
|
|
|
|
BOOST_TEST(i.m_x == 2);
|
|
|
|
}
|
|
|
|
|
2014-09-18 16:37:28 +09:00
|
|
|
{
|
|
|
|
derived d(1);
|
|
|
|
boost::readable_iterator_test(abstract_iterator<derived *, base>(&d), derived(1));
|
|
|
|
}
|
|
|
|
|
2007-02-25 15:28:02 +00:00
|
|
|
return boost::report_errors();
|
2004-07-12 03:18:49 +00:00
|
|
|
}
|