std:: set_intersection
|
ヘッダー
<algorithm>
で定義
|
||
|
template
<
class
InputIt1,
class
InputIt2,
class
OutputIt
>
OutputIt set_intersection
(
InputIt1 first1, InputIt1 last1,
|
(1) | (C++20以降constexpr) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
ForwardIt3
>
|
(2) | (C++17以降) |
|
template
<
class
InputIt1,
class
InputIt2,
class
OutputIt,
class
Compare
>
|
(3) | (C++20以降constexpr) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
|
(4) | (C++17以降) |
ソート済み範囲
[
first1
,
last1
)
と
[
first2
,
last2
)
の両方に存在する要素から構成されるソート済み範囲を
d_first
から始まる位置に構築します。
[
first1
,
last1
)
に互いに等しい
m
個の要素が含まれ、
[
first2
,
last2
)
にそれらと等しい
n
個の要素が含まれる場合、最初の
std::
min
(
m, n
)
個の要素が
[
first1
,
last1
)
から出力範囲に順序を保持してコピーされます。
[
first1
,
last1
)
または
[
first2
,
last2
)
のいずれかが
ソート済み
でない場合
operator
<
(C++20以前)
std::
less
{
}
(C++20以降)
に関して、動作は未定義です。
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> が true であること。 |
(C++20まで) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> が true であること。 |
(C++20以降) |
出力範囲が
[
first1
,
last1
)
または
[
first2
,
last2
)
と重なる場合、動作は未定義です。
目次 |
パラメータ
| first1, last1 | - | 検査対象の最初のソート済み 範囲 を定義するイテレータのペア |
| first2, last2 | - | 検査対象の2番目のソート済み 範囲 を定義するイテレータのペア |
| d_first | - | 出力範囲の先頭 |
| policy | - | 使用する 実行ポリシー |
| comp | - |
比較関数オブジェクト(つまり、
Compare
の要件を満たすオブジェクト)。最初の引数が2番目の引数より
小さい
(つまり、順序付けにおいて
前に来る
)場合に
true
を返す。
比較関数のシグネチャは以下と同等であるべき: bool cmp ( const Type1 & a, const Type2 & b ) ;
シグネチャが
const
&
を持つ必要はないが、関数は渡されたオブジェクトを変更してはならず、
値カテゴリ
に関係なく(したがって、
|
| 型要件 | ||
-
InputIt1, InputIt2
は
LegacyInputIterator
の要件を満たさなければならない。
|
||
-
OutputIt
は
LegacyOutputIterator
の要件を満たさなければならない。
|
||
-
ForwardIt1, ForwardIt2, ForwardIt3
は
LegacyForwardIterator
の要件を満たさなければならない。
|
||
-
Compare
は
Compare
の要件を満たさなければならない。
|
||
戻り値
構築された範囲の終端を超えるイテレータ。
計算量
N 1 を std:: distance ( first1, last1 ) として、 N 2 を std:: distance ( first2, last2 ) として定義する:
例外
ExecutionPolicy
という名前のテンプレートパラメータを持つオーバーロードは、
以下のようにエラーを報告します:
-
アルゴリズムの一部として呼び出された関数の実行が例外をスローした場合、
ExecutionPolicyが 標準ポリシー のいずれかであるとき、 std::terminate が呼び出されます。それ以外のExecutionPolicyについては、動作は実装定義です。 - アルゴリズムがメモリの確保に失敗した場合、 std::bad_alloc がスローされます。
実装例
| set_intersection (1) |
|---|
template<class InputIt1, class InputIt2, class OutputIt> OutputIt set_intersection(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, OutputIt d_first) { while (first1 != last1 && first2 != last2) { if (*first1 < *first2) ++first1; else { if (!(*first2 < *first1)) *d_first++ = *first1++; // *first1 と *first2 は等価です。 ++first2; } } return d_first; } |
| set_intersection (3) |
template<class InputIt1, class InputIt2, class OutputIt, class Compare> OutputIt set_intersection(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, OutputIt d_first, Compare comp) { while (first1 != last1 && first2 != last2) { if (comp(*first1, *first2)) ++first1; else { if (!comp(*first2, *first1)) *d_first++ = *first1++; // *first1 と *first2 は等価です。 ++first2; } } return d_first; } |
例
#include <algorithm> #include <iostream> #include <iterator> #include <vector> int main() { std::vector<int> v1{7, 2, 3, 4, 5, 6, 7, 8}; std::vector<int> v2{5, 7, 9, 7}; std::sort(v1.begin(), v1.end()); std::sort(v2.begin(), v2.end()); std::vector<int> v_intersection; std::set_intersection(v1.begin(), v1.end(), v2.begin(), v2.end(), std::back_inserter(v_intersection)); for (int n : v_intersection) std::cout << n << ' '; std::cout << '\n'; }
出力:
5 7 7
不具合報告
以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。
| DR | 適用対象 | 公開時の動作 | 正しい動作 |
|---|---|---|---|
| LWG 291 | C++98 | 入力範囲における等価な要素の扱い方が規定されていなかった | 規定された |
関連項目
|
2つの集合の和集合を計算する
(関数テンプレート) |
|
|
(C++20)
|
2つの集合の積集合を計算する
(アルゴリズム関数オブジェクト) |