boostorg/iterator
1
0
Fork 1
mirror of https://github.com/boostorg/iterator.git synced 2025-07-30 04:47:20 +02:00
Code Issues Packages Projects Releases Wiki Activity

merged in fix

Browse Source 
[SVN r22006]
This commit is contained in:
Jeremy Siek
2004-01-27 18:30:13 +00:00
parent 47c8138283
commit 63cefe2d8f
1 changed files with 3 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
include/boost/iterator/iterator_concepts.hpp
View File

@ -98,38 +98,17 @@ namespace boost_concepts {
}; };
template <typename Iterator> template <typename Iterator>
class ReadableLvalueIteratorConcept class LvalueIteratorConcept
{ {
public: public:
typedef typename boost::detail::iterator_traits<Iterator>::value_type value_type; typedef typename boost::detail::iterator_traits<Iterator>::value_type value_type;
void constraints() void constraints()
{ {
boost::function_requires< ReadableIteratorConcept<Iterator> >(); const value_type& r = *i;
const value_type& v = *i; }
boost::ignore_unused_variable_warning(v);
}
Iterator i; Iterator i;
}; };
template <typename Iterator>
class WritableLvalueIteratorConcept {
public:
typedef typename boost::detail::iterator_traits<Iterator>::value_type value_type;
typedef typename boost::detail::iterator_traits<Iterator>::reference reference;
void constraints() {
boost::function_requires<
ReadableLvalueIteratorConcept<Iterator> >();
boost::function_requires<
WritableIteratorConcept<Iterator, value_type> >();
boost::function_requires<
SwappableIteratorConcept<Iterator> >();
BOOST_STATIC_ASSERT((boost::is_same<reference, value_type&>::value));
}
};
//=========================================================================== //===========================================================================
// Iterator Traversal Concepts // Iterator Traversal Concepts