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

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #1887: [doc] input_iterator_archetype is not a valid InputIterator
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2009-11-28 17:45:23

#1887: [doc] input_iterator_archetype is not a valid InputIterator
--------------------------+-------------------------------------------------
 Reporter:  eric_niebler  |       Owner:  eric_niebler 
     Type:  Bugs          |      Status:  new          
Milestone:  Boost 1.36.0  |   Component:  concept_check
  Version:  Boost 1.35.0  |    Severity:  Problem      
 Keywords:                |  
--------------------------+-------------------------------------------------
Changes (by dave):

  * owner:  dave => eric_niebler
  * status:  assigned => new

Comment:

 Well, there's probably a bug in the C++03 standard here.  What it
 actually says, if you read carefully enough, is that {{{*a}}} is
 required to be convertible to {{{T}}}—where {{{a}}} is any value of
 type {{{X}}}, the iterator type)—but {{{*r++}}} is required to be
 exactly {{{T}}}, where {{{r}}} is of type {{{X&}}}.  I'm guessing the
 strictly correct thing to do in the archetype is something like this:

 {{{
 #!cpp
    T operator*();
    reference operator*() const;
 }}}

 Your thoughts?

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