std::next_permutation Объяснение реализации кажется немного неэффективным?

Мне было любопытно, как реализован std:next_permutation, поэтому я извлек версию gnu libstdc++ 4.7 и очистил идентификаторы и форматирование, чтобы создать следующую демонстрацию...

#include <vector>
#include <iostream>
#include <algorithm>

using namespace std;

template<typename It>
bool next_permutation(It begin, It end)
{
    if (begin == end)
            return false;

    It i = begin;
    ++i;
    if (i == end)
            return false;

    i = end;
    --i;

    while (true)
    {
            It j = i;
            --i;

            if (*i < *j)
            {
                    It k = end;

                    while (!(*i < *--k))
                            /* pass */;

                    iter_swap(i, k);
                    reverse(j, end);
                    return true;
            }

            if (i == begin)
            {
                    reverse(begin, end);
                    return false;
            }
    }

}

  int main()
 {
             vector<int> v = { 1, 2, 3, 4 };

    do
    {
            for (int i = 0; i < 4; i++)
            {
                    cout << v[i] << " ";
            }
            cout << endl;
    }
    while (::next_permutation(v.begin(), v.end()));

}

Мой вопрос:

while (!(*i < *--k))
  /* Iterating linearly */;

Почему мы не можем выполнить бинарный поиск вместо наивной линейной итерации, поскольку последовательность из [i+1, конец) находится в порядке убывания? Это повысит эффективность поиска. Как стандартная функция в «algorithm.h» может пренебрегать такой вещью, которая приводит к повышению производительности и эффективности? Пожалуйста, объясните кто-нибудь...