[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.


This archive was generated by hypermail 2.1.7 : 2017-02-16 18:49:57 UTC