123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148 |
- // Copyright David Abrahams 2003. Use, modification and distribution is
- // subject to 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)
- #include <deque>
- #include <iterator>
- #include <iostream>
- #include <cstddef> // std::ptrdiff_t
- #include <boost/static_assert.hpp>
- #include <boost/noncopyable.hpp>
- #include <boost/iterator/is_lvalue_iterator.hpp>
- // Last, for BOOST_NO_LVALUE_RETURN_DETECTION
- #include <boost/iterator/detail/config_def.hpp>
- struct v
- {
- v();
- ~v();
- };
- struct value_iterator
- {
- typedef std::input_iterator_tag iterator_category;
- typedef v value_type;
- typedef std::ptrdiff_t difference_type;
- typedef v* pointer;
- typedef v& reference;
- v operator*() const;
- };
- struct noncopyable_iterator
- {
- typedef std::forward_iterator_tag iterator_category;
- typedef boost::noncopyable value_type;
- typedef std::ptrdiff_t difference_type;
- typedef boost::noncopyable* pointer;
- typedef boost::noncopyable& reference;
-
- boost::noncopyable const& operator*() const;
- };
- template <class T>
- struct proxy_iterator
- {
- typedef T value_type;
- typedef std::output_iterator_tag iterator_category;
- typedef std::ptrdiff_t difference_type;
- typedef T* pointer;
- typedef T& reference;
-
- struct proxy
- {
- operator value_type&() const;
- proxy& operator=(value_type) const;
- };
-
- proxy operator*() const;
- };
- template <class T>
- struct lvalue_iterator
- {
- typedef T value_type;
- typedef T& reference;
- typedef T difference_type;
- typedef std::input_iterator_tag iterator_category;
- typedef T* pointer;
- T& operator*() const;
- lvalue_iterator& operator++();
- lvalue_iterator operator++(int);
- };
- template <class T>
- struct constant_lvalue_iterator
- {
- typedef T value_type;
- typedef T const& reference;
- typedef T difference_type;
- typedef std::input_iterator_tag iterator_category;
- typedef T const* pointer;
- T const& operator*() const;
- constant_lvalue_iterator& operator++();
- constant_lvalue_iterator operator++(int);
- };
- int main()
- {
- BOOST_STATIC_ASSERT(boost::is_lvalue_iterator<v*>::value);
- BOOST_STATIC_ASSERT(boost::is_lvalue_iterator<v const*>::value);
- BOOST_STATIC_ASSERT(boost::is_lvalue_iterator<std::deque<v>::iterator>::value);
- BOOST_STATIC_ASSERT(boost::is_lvalue_iterator<std::deque<v>::const_iterator>::value);
- BOOST_STATIC_ASSERT(!boost::is_lvalue_iterator<std::back_insert_iterator<std::deque<v> > >::value);
- BOOST_STATIC_ASSERT(!boost::is_lvalue_iterator<std::ostream_iterator<v> >::value);
- BOOST_STATIC_ASSERT(!boost::is_lvalue_iterator<proxy_iterator<v> >::value);
- BOOST_STATIC_ASSERT(!boost::is_lvalue_iterator<proxy_iterator<int> >::value);
- #ifndef BOOST_NO_LVALUE_RETURN_DETECTION
- BOOST_STATIC_ASSERT(!boost::is_lvalue_iterator<value_iterator>::value);
- #endif
- // Make sure inaccessible copy constructor doesn't prevent
- // reference binding
- BOOST_STATIC_ASSERT(boost::is_lvalue_iterator<noncopyable_iterator>::value);
- BOOST_STATIC_ASSERT(boost::is_lvalue_iterator<lvalue_iterator<v> >::value);
- BOOST_STATIC_ASSERT(boost::is_lvalue_iterator<lvalue_iterator<int> >::value);
- BOOST_STATIC_ASSERT(boost::is_lvalue_iterator<lvalue_iterator<char*> >::value);
- BOOST_STATIC_ASSERT(boost::is_lvalue_iterator<lvalue_iterator<float> >::value);
-
- BOOST_STATIC_ASSERT(boost::is_lvalue_iterator<constant_lvalue_iterator<v> >::value);
- BOOST_STATIC_ASSERT(boost::is_lvalue_iterator<constant_lvalue_iterator<int> >::value);
- BOOST_STATIC_ASSERT(boost::is_lvalue_iterator<constant_lvalue_iterator<char*> >::value);
- BOOST_STATIC_ASSERT(boost::is_lvalue_iterator<constant_lvalue_iterator<float> >::value);
-
-
- BOOST_STATIC_ASSERT(boost::is_non_const_lvalue_iterator<v*>::value);
- BOOST_STATIC_ASSERT(!boost::is_non_const_lvalue_iterator<v const*>::value);
- BOOST_STATIC_ASSERT(boost::is_non_const_lvalue_iterator<std::deque<v>::iterator>::value);
- BOOST_STATIC_ASSERT(!boost::is_non_const_lvalue_iterator<std::deque<v>::const_iterator>::value);
- BOOST_STATIC_ASSERT(!boost::is_non_const_lvalue_iterator<std::back_insert_iterator<std::deque<v> > >::value);
- BOOST_STATIC_ASSERT(!boost::is_non_const_lvalue_iterator<std::ostream_iterator<v> >::value);
- BOOST_STATIC_ASSERT(!boost::is_non_const_lvalue_iterator<proxy_iterator<v> >::value);
- BOOST_STATIC_ASSERT(!boost::is_non_const_lvalue_iterator<proxy_iterator<int> >::value);
- #ifndef BOOST_NO_LVALUE_RETURN_DETECTION
- BOOST_STATIC_ASSERT(!boost::is_non_const_lvalue_iterator<value_iterator>::value);
- #endif
- BOOST_STATIC_ASSERT(!boost::is_non_const_lvalue_iterator<noncopyable_iterator>::value);
-
- BOOST_STATIC_ASSERT(boost::is_non_const_lvalue_iterator<lvalue_iterator<v> >::value);
- #if !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
- BOOST_STATIC_ASSERT(boost::is_non_const_lvalue_iterator<lvalue_iterator<int> >::value);
- #endif
- BOOST_STATIC_ASSERT(boost::is_non_const_lvalue_iterator<lvalue_iterator<char*> >::value);
- BOOST_STATIC_ASSERT(boost::is_non_const_lvalue_iterator<lvalue_iterator<float> >::value);
-
- BOOST_STATIC_ASSERT(!boost::is_non_const_lvalue_iterator<constant_lvalue_iterator<v> >::value);
- BOOST_STATIC_ASSERT(!boost::is_non_const_lvalue_iterator<constant_lvalue_iterator<int> >::value);
- BOOST_STATIC_ASSERT(!boost::is_non_const_lvalue_iterator<constant_lvalue_iterator<char*> >::value);
- BOOST_STATIC_ASSERT(!boost::is_non_const_lvalue_iterator<constant_lvalue_iterator<float> >::value);
-
- return 0;
- }
|