inplace_merge

Статья
06/09/2015

Объединяет элементы из 2 последовательных упорядоченных диапазонов в один сортируемый диапазон, где критерий упорядочивания может быть указан бинарным предикатом.

template<class BidirectionalIterator>
   void inplace_merge(
      BidirectionalIterator _First, 
      BidirectionalIterator _Middle,
      BidirectionalIterator _Last
   );
template<class BidirectionalIterator, class Predicate>
   void inplace_merge(
      BidirectionalIterator _First, 
      BidirectionalIterator _Middle,
      BidirectionalIterator _Last,
      Predicate _Comp
   );

Параметры

_First
Двунаправленный итератор слишком позицию первого элемента в первом из 2 последовательных упорядоченных диапазонов, совмещенным и отсортированных в один диапазон.
_Middle
Двунаправленный итератор слишком позицию первого элемента во второй из 2 последовательных упорядоченных диапазонов, совмещенным и отсортированных в один диапазон.
_Last
Двунаправленный итератор слишком позиция одно за последним элементом во второй из 2 последовательных упорядоченных диапазонов, совмещенным и отсортированных в один диапазон.
_Comp
Определяемый пользователем объект функции предиката определяет смысл, в котором элемент больше, чем другие. Бинарный предикат принимает 2 аргумента и должен возвращать true , когда первый элемент, чем второй элемент и значение false в противном случае.

Заметки

Последовательные отсортированы с диапазоны должны быть допустимыми; все указатели должны быть dereferenceable и, в каждой последовательности, последнего положения должна быть доступен из первого инкрементацией.

Последовательные диапазоны должны быть отсортированы каждое размещение вызове функции-члена в приложение алгоритма inplace_merge в соответствии с тем же заказу, для использования алгоритма для сортировки диапазонами. Операция стабилизирована как сохраняется относительный порядок элементов в каждом диапазоне. Если элементы эквивалентности в обоих диапазонах источника, первый элемент диапазон предшествующего элемента из второго совмещенном в диапазоне.

Сложность зависит от доступной памяти как алгоритм выделяет память временному буфер. Если достаточно памяти доступна, рекомендуется использовать вариант линейное с (_Last – _First) — 1 сравнение; если нет — это память недоступна, наихудший случай N log*(N), где N = (_Last — _First*).

Пример

// alg_inplace_merge.cpp
// compile with: /EHsc
#include <vector>
#include <algorithm>
#include <functional>      //For greater<int>( )
#include <iostream>

// Return whether modulus of elem1 is less than modulus of elem2
bool mod_lesser ( int elem1, int elem2 )
{
   if ( elem1 < 0 ) 
      elem1 = - elem1;
   if ( elem2 < 0 ) 
      elem2 = - elem2;
   return elem1 < elem2;
}

int main( )
{
   using namespace std;
   vector <int> v1;
   vector <int>::iterator Iter1, Iter2, Iter3;

   // Constructing vector v1 with default less-than ordering
   int i;
   for ( i = 0 ; i <= 5 ; i++ )
   {
      v1.push_back( i );
   }

   int ii;
   for ( ii =-5 ; ii <= 0 ; ii++ )
   {
      v1.push_back(  ii  );
   }

   cout << "Original vector v1 with subranges sorted by the\n "
        <<  "binary predicate less than is  v1 = ( " ;
   for ( Iter1 = v1.begin( ) ; Iter1 != v1.end( ) ; Iter1++ )
      cout << *Iter1 << " ";
   cout << ")" << endl;
   
   // Constructing vector v2 with ranges sorted by greater
   vector <int> v2 ( v1 );
   vector <int>::iterator break2;
   break2 = find ( v2.begin ( ) , v2.end ( ) , -5 );
   sort ( v2.begin ( ) , break2 , greater<int> ( ) );
   sort ( break2 , v2.end ( ) , greater<int> ( ) );
   cout << "Original vector v2 with subranges sorted by the\n "
        << "binary predicate greater is v2 = ( " ;
   for ( Iter2 = v2.begin( ) ; Iter2 != v2.end( ) ; Iter2++ )
      cout << *Iter2 << " ";
   cout << ")" << endl;

   // Constructing vector v3 with ranges sorted by mod_lesser
   vector <int> v3 ( v1 );
   vector <int>::iterator break3;
   break3 = find ( v3.begin ( ) , v3.end ( ) , -5 );
   sort ( v3.begin ( ) , break3 , mod_lesser );
   sort ( break3 , v3.end ( ) , mod_lesser );
   cout << "Original vector v3 with subranges sorted by the\n "
        << "binary predicate mod_lesser is v3 = ( " ;
   for ( Iter3 = v3.begin( ) ; Iter3 != v3.end( ) ; Iter3++ )
      cout << *Iter3 << " ";
   cout << ")" << endl;

   vector <int>::iterator break1;
   break1 = find (v1.begin ( ) , v1.end ( ) , -5 );
   inplace_merge ( v1.begin( ), break1, v1.end( ) );
   cout << "Merged inplace with default order,\n vector v1mod = ( " ;
   for ( Iter1 = v1.begin( ) ; Iter1 != v1.end( ) ; Iter1++ )
      cout << *Iter1 << " ";
   cout << ")" << endl;

   // To merge inplace in descending order, specify binary 
   // predicate greater<int>( )
   inplace_merge ( v2.begin( ), break2 , v2.end( ) , greater<int>( ) );
   cout << "Merged inplace with binary predicate greater specified,\n "
        << "vector v2mod = ( " ;
   for ( Iter2 = v2.begin( ) ; Iter2 != v2.end( ) ; Iter2++ )
      cout << *Iter2 << " ";
   cout << ")" << endl;

   // Applying a user defined (UD) binary predicate mod_lesser
   inplace_merge ( v3.begin( ), break3, v3.end( ), mod_lesser );
   cout << "Merged inplace with binary predicate mod_lesser specified,\n "
        << "vector v3mod = ( " ; ;
   for ( Iter3 = v3.begin( ) ; Iter3 != v3.end( ) ; Iter3++ )
      cout << *Iter3 << " ";
   cout << ")" << endl;
}