feedc0de/boost_range
1
0
Fork 0
forked from boostorg/range
Code Pull Requests Activity

[boost][range] - Resolved Trac ticket 4355 - Concepts did not check that iterators must be dereferencable.

Browse Source 
[SVN r67430]
This commit is contained in:
Neil Groves
2010-12-23 11:56:27 +00:00
parent 48fc316156
commit 4fc942f45e
1 changed files with 20 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
include/boost/range/concepts.hpp
View File

@ -98,8 +98,9 @@ namespace boost {
// classes: // classes:
// //
// The Range algorithms often do not require that the iterators are // The Range algorithms often do not require that the iterators are
// Assignable, but the correct standard conformant iterators // Assignable or default constructable, but the correct standard
// do require the iterators to be a model of the Assignable concept. // conformant iterators do require the iterators to be a model of the
// Assignable concept.
// Iterators that contains a functor that is not assignable therefore // Iterators that contains a functor that is not assignable therefore
// are not correct models of the standard iterator concepts, // are not correct models of the standard iterator concepts,
// despite being adequate for most algorithms. An example of this // despite being adequate for most algorithms. An example of this
@ -141,6 +142,23 @@ namespace boost {
BOOST_DEDUCED_TYPENAME SinglePassIteratorConcept::traversal_category, BOOST_DEDUCED_TYPENAME SinglePassIteratorConcept::traversal_category,
single_pass_traversal_tag single_pass_traversal_tag
>)); >));
BOOST_CONCEPT_USAGE(SinglePassIteratorConcept)
{
Iterator i2(++i);
boost::ignore_unused_variable_warning(i2);
Iterator i3(i++);
boost::ignore_unused_variable_warning(i3);
BOOST_DEDUCED_TYPENAME boost::detail::iterator_traits<Iterator>::reference r1(*i);
boost::ignore_unused_variable_warning(r1);
BOOST_DEDUCED_TYPENAME boost::detail::iterator_traits<Iterator>::reference r2(*i++);
boost::ignore_unused_variable_warning(r2);
}
private:
Iterator i;
#endif #endif
}; };