Почему предикатная версия lower_bound и upper_bound передает значение итератора непоследовательно?

Question

В двоичном предикате значение итератора передается как второй аргумент, а в lower_bound значение итератора передается в качестве первого аргумента.

Какова причина здесь? И имеет значение, помню ли я эту деталь или нет, когда писал свои собственные двоичные предикаты?

---

Примечание моя ссылка www.cplusplus.com (который я сказал, не может быть лучшим ссылки), и я подтвердил это, посмотрев на реализацию в stl библиотеки поставляется с VC++.

Answer 1

Это намеренно. Вы можете использовать один и тот же компаратор для обоих алгоритмов. Рассмотрим описания. lower_bound:

Возвращает итератор, указывающий на первый элемент в диапазоне [первый, последний), которое не менее, чем (т.е. большего или равное) значение.

и upper_bound:

Возвращает итератор, указывающий на первый элемент в диапазоне [первый, последний), которое больше, чем значение.

Учитывайте, что стандартным компаратором является <. Для реализации обоих алгоритмов с < потребуется !(elem < value) для одного и value < elem для другого. Прямо из этого следует прямое обращение порядка аргументов.

Это не должно влиять на то, как вы реализуете свой Компаратор.