[Patch] libstdc++/26133

[Paolo Carlini]

Hi,

the below implements the resolution of DR 241 [WP], as requested by
submitter.

Overall, I don't see major controversial points: the new overload for
forward_iterator / output_iterator has a structure consistent with other
algorithms on forward iterators (e.g., adjacent_find); the adjusted
overload for input_iterator / output_iterator - which cannot assume
Assignability of input_iterator' value_type - can be rather slow,
indeed, but I don't think we can do much better and correctly implement
the standard, as clarified by DR 241.

An open task, maybe I can work on it relatively soon, is auditing all
the other algorithms for wrong implicit assumption of Assignability
(contra 24.1.1/3) and in case fix, add testcases.

Tested x86-linux.

Paolo.

/////////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_26133
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20060208/d52932bc/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_26133
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20060208/d52932bc/attachment-0001.ksh>