Разделить диапазон по значению ⇐ C++

[Anonymous]

Каково предварительное условие алгоритмов std::lower_bound, std::upper_bound и std::equal_range?

Код: Выделить всё

template 
FwIt             lower_bound(FwIt first, FwIt last, const T& val);

template 
FwIt             upper_bound(FwIt first, FwIt last, const T& val);

template 
pair equal_range(FwIt first, FwIt last, const T& val);

В настоящее время в Интернете существует путаница:
В связанной документации cplusplus.com говорится, что данный диапазон [

Код: Выделить всё

first

, последний) должен быть разделен относительно val. Это ничего не проясняет, поскольку std::partition и std::is_partitioned не имеют параметра val, вместо этого у них есть унарный предикат pred.

Код: Выделить всё

template 
FwIt partition(FwIt first, FwIt last, UnaryPredicate pred);

template 
bool is_partitioned(InputIt first, InputIt last, UnaryPredicate pred);

На более известном сайте cppreference.com используется термин разделенный диапазон [

Код: Выделить всё

first

, последний), что еще более расплывчато. См. std::lower_bound, std::upper_bound и std::equal_range.

Подробнее здесь: https://stackoverflow.com/questions/788 ... to-a-value