inplace_merge

Статья
03/27/2013

Объединяет элементы из 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
Определяемый пользователем объект, который определяет функции предиката смысл в том, что элемент больше, чем другие.Binary предикат принимает 2 аргумента и должен возвращать true если первый элемент меньше второго элемента и false в противном случае.

Заметки

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

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

Зависит от сложности в качестве алгоритма выберите пункт память доступной памяти во временное буфер.Если достаточно памяти, то самый лучший вариант линейное with (_Last – _First) – сравнения 1; при отсутствии вспомогательной память недоступна, наихудший случае log n (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;
}