set_union

Статья
03/27/2013

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

template<class InputIterator1, class InputIterator2, class OutputIterator>
   OutputIterator set_union(
      InputIterator1 _First1, 
      InputIterator1 _Last1,
      InputIterator2 _First2, 
      InputIterator2 _Last2, 
      OutputIterator _Result
   );
template<class InputIterator1, class InputIterator2, class OutputIterator, class BinaryPredicate>
   OutputIterator set_union(
      InputIterator1 _First1, 
      InputIterator1 _Last1,
      InputIterator2 _First2, 
      InputIterator2 _Last2, 
      OutputIterator _Result,
      BinaryPredicate _Comp
   );

Параметры

_First1
Итератор ввода адресацию позиция первого элемента в первом из 2 диапазонов отсортировал источника для объединения и отсортированные в отдельный диапазон, представляющий объединение 2 диапазонов источника.
_Last1
Итератор ввода адресацию позиция одно за последним элементом в первом из 2 диапазонов отсортировал источника для объединения и отсортированные в отдельный диапазон, представляющий объединение 2 диапазонов источника.
_First2
Итератор ввода адресацию позиция первого элемента во втором из 2 последовательных отсортированных диапазонов источника быть соединенным и отсортированный в один диапазон, представляющий объединение 2 диапазонов источника.
_Last2
Итератор ввода адресацию позиция одно за последним элементом в секунду из 2 последовательных отсортированных диапазонов источника быть соединенным и отсортированный в один диапазон, представляющий объединение 2 диапазонов источника.
результат###_
Итератор вывода положение первого элемента в диапазоне адресации назначения, где 2 - диапазон источника быть соединенным в единый отсортированный диапазон, представляющий объединение 2 диапазонов источника.
_Comp
Определяемый пользователем объект, который определяет функции предиката смысл в том, что элемент больше, чем другие.Binary предикат принимает 2 аргумента и должен возвращать true если первый элемент меньше второго элемента и false в противном случае.

Возвращаемое значение

При адресации позиция итератора вывода одно за последним элементом в сортированном диапазоне назначения, представляющий объединение 2 диапазонов источника.

Заметки

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

Диапазон назначения не должен перекрывать также диапазонов источника и должно быть достаточным для хранения диапазон назначения.

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

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

Типы значений итераторов ввода необходимо менее- не соответствует быть упорядоченным, поэтому, если имеется 2 элемента он может быть определен этому, что они эквивалентны (в том смысле, что ни одно из значений не меньше другого) или что один меньше другого.Это приводит к тому, что упорядочение между элементами неравнозначными.Если элементы эквивалентности в диапазонах источника элементы в первом диапазоне предшествующие элементы из диапазона второго источника в диапазоне назначения.Если диапазон источника содержат повторяющиеся значения элемента, то диапазон назначения будет содержать максимальное количество тех элементов, которые происходят в обоих диапазонах источника.

Сложность алгоритма линейной по крайней мере 2 * ((_Last1 – _First1) – (_Last2 – _First2)) – сравнения 1.

set_union имеет значение 2, связанных форм:

Сведения о том, как эти функции ведут себя см. в разделе Проверяемые итераторы.

Пример

// alg_set_union.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> v1a, v1b, v1 ( 12 );
   vector <int>::iterator Iter1a, Iter1b, Iter1, Result1;

   // Constructing vectors v1a & v1b with default less than ordering
   int i;
   for ( i = -1 ; i <= 3 ; i++ )
   {
      v1a.push_back(  i );
   }

   int ii;
   for ( ii =-3 ; ii <= 1 ; ii++ )
   {
      v1b.push_back(  ii  );
   }

   cout << "Original vector v1a with range sorted by the\n "
        <<  "binary predicate less than is  v1a = ( " ;
   for ( Iter1a = v1a.begin( ) ; Iter1a != v1a.end( ) ; Iter1a++ )
      cout << *Iter1a << " ";
   cout << ")." << endl;

   cout << "Original vector v1b with range sorted by the\n "
        <<  "binary predicate less than is  v1b = ( " ;
   for ( Iter1b = v1b.begin ( ) ; Iter1b != v1b.end ( ) ; Iter1b++ )
      cout << *Iter1b << " ";
   cout << ")." << endl;
   
   // Constructing vectors v2a & v2b with ranges sorted by greater
   vector <int> v2a ( v1a ) , v2b ( v1b ) , v2 ( v1 );
   vector <int>::iterator Iter2a,  Iter2b, Iter2, Result2;
   sort ( v2a.begin ( ) , v2a.end ( ) , greater<int> ( ) );
   sort ( v2b.begin ( ) , v2b.end ( ) , greater<int> ( ) );

   cout << "Original vector v2a with range sorted by the\n "
        <<  "binary predicate greater is   v2a =  ( " ;
   for ( Iter2a = v2a.begin ( ) ; Iter2a != v2a.end ( ) ; Iter2a++ )
      cout << *Iter2a << " ";
   cout << ")." << endl;

   cout << "Original vector v2b with range sorted by the\n "
        <<  "binary predicate greater is   v2b =  ( " ;
   for ( Iter2b = v2b.begin ( ) ; Iter2b != v2b.end ( ) ; Iter2b++ )
      cout << *Iter2b << " ";
   cout << ")." << endl;

   // Constructing vectors v3a & v3b with ranges sorted by mod_lesser
   vector <int> v3a ( v1a ), v3b ( v1b ) ,  v3 ( v1 );
   vector <int>::iterator Iter3a, Iter3b, Iter3, Result3;
   sort ( v3a.begin ( ) , v3a.end ( ) , mod_lesser );
   sort ( v3b.begin ( ) , v3b.end ( ) , mod_lesser  );

   cout << "Original vector v3a with range sorted by the\n "
        <<  "binary predicate mod_lesser is   v3a =  ( " ;
   for ( Iter3a = v3a.begin ( ) ; Iter3a != v3a.end ( ) ; Iter3a++ )
      cout << *Iter3a << " ";
   cout << ")." << endl;

   cout << "Original vector v3b with range sorted by the\n "
        <<  "binary predicate mod_lesser is   v3b =  ( " ;
   for ( Iter3b = v3b.begin ( ) ; Iter3b != v3b.end ( ) ; Iter3b++ )
      cout << *Iter3b << " ";
   cout << ")." << endl;

   // To combine into a union in ascending order with the default 
    // binary predicate less <int> ( )
   Result1 = set_union ( v1a.begin ( ) , v1a.end ( ) ,
      v1b.begin ( ) , v1b.end ( ) , v1.begin ( ) );
   cout << "Union of source ranges with default order,"
        << "\n vector v1mod =  ( " ;
   for ( Iter1 = v1.begin( ) ; Iter1 != Result1 ; Iter1++ )
      cout << *Iter1 << " ";
   cout << ")." << endl;

   // To combine into a union in descending order, specify binary 
   // predicate greater<int>( )
   Result2 = set_union (  v2a.begin ( ) , v2a.end ( ) ,
      v2b.begin ( ) , v2b.end ( ) ,v2.begin ( ) , greater <int> ( ) );
   cout << "Union of source ranges with binary predicate greater "
        << "specified,\n vector v2mod  = ( " ;
   for ( Iter2 = v2.begin( ) ; Iter2 != Result2 ; Iter2++ )
      cout << *Iter2 << " ";
   cout << ")." << endl;

   // To combine into a union applying a user-defined
   // binary predicate mod_lesser
   Result3 = set_union ( v3a.begin ( ) , v3a.end ( ) ,
      v3b.begin ( ) , v3b.end ( ) , v3.begin ( ) , mod_lesser );
   cout << "Union of source ranges with binary predicate "
        << "mod_lesser specified,\n vector v3mod  = ( " ; ;
   for ( Iter3 = v3.begin( ) ; Iter3 != Result3 ; Iter3++ )
      cout << *Iter3 << " ";
   cout << ")." << endl;
}

Output

Original vector v1a with range sorted by the
 binary predicate less than is  v1a = ( -1 0 1 2 3 ).
Original vector v1b with range sorted by the
 binary predicate less than is  v1b = ( -3 -2 -1 0 1 ).
Original vector v2a with range sorted by the
 binary predicate greater is   v2a =  ( 3 2 1 0 -1 ).
Original vector v2b with range sorted by the
 binary predicate greater is   v2b =  ( 1 0 -1 -2 -3 ).
Original vector v3a with range sorted by the
 binary predicate mod_lesser is   v3a =  ( 0 -1 1 2 3 ).
Original vector v3b with range sorted by the
 binary predicate mod_lesser is   v3b =  ( 0 -1 1 -2 -3 ).
Union of source ranges with default order,
 vector v1mod =  ( -3 -2 -1 0 1 2 3 ).
Union of source ranges with binary predicate greater specified,
 vector v2mod  = ( 3 2 1 0 -1 -2 -3 ).
Union of source ranges with binary predicate mod_lesser specified,
 vector v3mod  = ( 0 -1 1 2 3 ).

Требования

заголовок: <algorithm>

std пространство имен:

См. также

Ссылки

Стандартная библиотека шаблонов

Поделиться через