set_intersection

Статья
06/09/2015

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

template<class InputIterator1, class InputIterator2, class OutputIterator> 
   OutputIterator set_intersection( 
      InputIterator1 _First1,  
      InputIterator1 _Last1, 
      InputIterator2 _First2,  
      InputIterator2 _Last2,  
      OutputIterator _Result 
   ); 
template<class InputIterator1, class InputIterator2, class OutputIterator, class BinaryPredicate> 
   OutputIterator set_intersection( 
      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
Определяемый пользователем объект функции предиката определяет смысл, в котором элемент больше, чем другие. Бинарный предикат принимает 2 аргумента и должен возвращать true, когда первый элемент, чем второй элемент и значение false в противном случае.

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

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

Заметки

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

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

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

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

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

Сложность алгоритма линейная с не более 2 * ((_Last1 — _First1) + (_Last2 — _First2)) — 1 для сравнения nonempty диапазонов источника.

set_intersection имеет две связанные формы:

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

Пример

// alg_set_intersection.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 an intersection in asscending order with the
   // default binary predicate less <int> ( )
   Result1 = set_intersection ( v1a.begin ( ) , v1a.end ( ) ,
      v1b.begin ( ) , v1b.end ( ) , v1.begin ( ) );
   cout << "Intersection of source ranges with default order,"
        << "\n vector v1mod =  ( " ;
   for ( Iter1 = v1.begin( ) ; Iter1 != Result1 ; ++Iter1 )
      cout << *Iter1 << " ";
   cout << ")." << endl;

   // To combine into an intersection in descending order, specify
   // binary predicate greater<int>( )
   Result2 = set_intersection ( v2a.begin ( ) , v2a.end ( ) ,
      v2b.begin ( ) , v2b.end ( ) ,v2.begin ( ) , greater <int> ( ) );
   cout << "Intersection 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 an intersection applying a user-defined
   // binary predicate mod_lesser
   Result3 = set_intersection ( v3a.begin ( ) , v3a.end ( ) ,
      v3b.begin ( ) , v3b.end ( ) , v3.begin ( ) , mod_lesser );
   cout << "Intersection 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 ).
Intersection of source ranges with default order,
 vector v1mod =  ( -1 0 1 ).
Intersection of source ranges with binary predicate greater specified,
 vector v2mod  = ( 1 0 -1 ).
Intersection of source ranges with binary predicate mod_lesser specified,
 vector v3mod  = ( 0 -1 1 2 3 ).

Требования

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

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

См. также

Ссылки

Библиотека стандартных шаблонов

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