Opened 11 years ago

Last modified 11 years ago

#1888 new Bugs

Why doesn't InputIterator require that reference is convertible to value_type?

Reported by: Eric Niebler Owned by: jsiek
Milestone: Boost 1.36.0 Component: concept_check
Version: Boost 1.35.0 Severity: Problem
Keywords: Cc:


Bug title says it all. boost::InputIterator? doesn't enforce any relationship between the reference and value_type associated types. Seems wrong to me, but perhaps there is a reason.

It also doesn't check that the type of dereferencing an input iterator is reference.

Change History (2)

comment:1 Changed 11 years ago by Dave Abrahams

Owner: changed from Dave Abrahams to Eric Niebler

For what it's worth, I think I merely updated the existing checking classes to use the new protocols, so I probably didn't consider making those changes. Feel free to fix them :-)

comment:2 Changed 11 years ago by Eric Niebler

Owner: changed from Eric Niebler to jsiek

Reassigning to the proper maintainer of BCCL, as listed in libs/maintainers.txt. Perhaps Jeremy could at least tell us if there was a reason for not enforcing the convertibility of reference to value_type for input iterators.

Note: See TracTickets for help on using tickets.