Discussion :

[Arzar]

Une seule recherche binaire te permettra de trouver une seule de tes deux bornes; après tu es obligé d'itérer tant que ton prédicat reste vrai. Au niveau complexité, soit tu assures 2*log(n)+1 soit tu fais log(n)+x*O(comparaison) avec x au plus égal à n. Après c'est à toi de voir en fonction de la complexité de ton prédicat et du nombre d'éléments à trouver...

Ouaip, effectivement j'ai parlé trop vite. La norme dit :

Returns : make_pair(lower_bound(first, last, value),
upper_bound(first, last, value))

Complexity: At most 2 * log(last - first) + 1 comparisons.

equal_range permet donc surtout d'avoir une écriture plus agréable, mais ne devrait pas être fondamentalement plus efficace qu'un lower + upper.