1 Sep
2011
1 Sep
'11
9:22 p.m.
The documentation for mismatch, as applied to ranges, says that rng2 must be
at least as long as rng1. Why is this precondition necessary? The
precondition is impossible to evaluate for bare input iterators without
destroying the iterators, whereupon it is impossible to call mismatch any
more.
IMHO, it would be perfectly reasonable to stop at the end of rng2 if rng2 is
shorter.