Heterogeneous comparisons in binary search [was: A small holiday gift, I hope]

From: David Abrahams (abrahams_at_[hidden])
Date: 2000-12-24 14:28:20

A small correction. I wrote:

> Add the following paragraph after 25.3 [lib.alg.sorting] paragraph 5:
> 
>   6 A sequence [begin, end) is partitioned with respect to an
> expression f(e) if   there exists a non-negative integer n such
> that for all  0 <= i < distance(begin, end), f(j) is true if and
> only if j < n.

Please imagine that I wrote the following instead:

  -6- A sequence [start, finish) is partitioned with respect to an
  expression f(e) if there exists a non-negative integer n such that
  for all 0 <= i < distance(start, finish), f(*(begin+i)) is true if
  and only if i < n.

Thanks,
Dave