Subject: Re: [boost] [concept_check] stl_concept_covering - compiler, stdlib, boost, or test issue?
From: James E. King III (jking_at_[hidden])
Date: 2018-07-20 19:15:10
On Fri, Jul 20, 2018 at 11:11 AM Peter Dimov via Boost <
> The compilers are correct, but so is the archetype. Input iterator
> requirements say that *it is convertible to the value_type, and it is, in
> our case. The problem however is that op== is a template and the first
> argument fails deduction. std::find is specified in terms of the exact
> expression `*it == value`, so if it doesn't compile (and it doesn't),
> `find(it, it, value)` won't compile either.
> It's not clear to me what needs to be done here. The fact that the STL's
> hoc algorithm requirements are not cleanly expressible in a rigorous
> has been rediscovered by every attempt of conceptifying it.
What do you think about the fact that if the no_proxy version is used, all
the failures resolve?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk