[Boost-bugs] [Boost C++ Libraries] #1887: [doc] input_iterator_archetype is not a valid InputIterator

Subject: [Boost-bugs] [Boost C++ Libraries] #1887: [doc] input_iterator_archetype is not a valid InputIterator
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2008-05-01 19:02:56

#1887: [doc] input_iterator_archetype is not a valid InputIterator
--------------------------+-------------------------------------------------
 Reporter:  eric_niebler  |       Owner:  dave         
     Type:  Bugs          |      Status:  new          
Milestone:  Boost 1.36.0  |   Component:  concept_check
  Version:  Boost 1.35.0  |    Severity:  Problem      
 Keywords:                |  
--------------------------+-------------------------------------------------
 creating_concepts.htm shows an InputIterator concept which requires that
 the type of *it++ is the same as the value_type. (This is legit according
 to the C++03 requirements table for input iterators, but probably too
 strict in practice.) Then, concept_covering.htm shows an
 input_iterator_archetype, which fails to meet this requirement because
 *it++ will return an object of type input_iterator_archetype::reference
 which is distinct from, but convertible to, the iterator's value_type. If
 you try to assert that input_iterator_archetype satisfies the
 InputIterator concepts as both are presented in the docs, it will fail.

 This is only a documentation problem. As defined by the BCCL,
 input_iterator_archetype is a valid InputIterator.

-- 
Ticket URL: <http://svn.boost.org/trac/boost/ticket/1887>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.