This is the mail archive of the
mailing list for the libstdc++ project.
I am currently working on some test cases for some functions in the
algorithm header. I wondered if there exists any "exact iterator
checkers", which (for example) given the begin() and end() iterators for
a vector would only reveal exactly the required features of a
bidirectional iterator and perhaps also further check for things like an
iterator being moved after end() or before begin(). Such things would
allow for more easily testing if an algorithm is using exactly the
properties it is allowed to.