std::experimental::ranges::is_permutation

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

実験的

Technical Specification

ファイルシステムライブラリ (filesystem TS)

ライブラリ基本 (library fundamentals TS)

ライブラリ基本TS v2 (library fundamentals TS v2)

ライブラリ基本 3 (library fundamentals TS v3)

並列化拡張 (parallelism TS)

並列化拡張 2 (parallelism TS v2)

並行処理拡張 (concurrency TS)

並行処理拡張 2 (concurrency TS v2)

コンセプト (concepts TS)

Ranges (ranges TS)

リフレクション (reflection TS)

数学特殊関数 (special functions TR)

実験的 (非TS)

パターンマッチ

線形代数

std::execution

契約プログラミング

2Dグラフィックス

 

Ranges

コンセプト

汎用ユーティリティ

イテレータ

Ranges

アルゴリズム

 

アルゴリズムライブラリ

シーケンスを変更しない操作
all_ofany_ofnone_of countcount_if	findfind_iffind_if_not find_end find_first_of	adjacent_find search search_n mismatch	equal for_each lexicographical_compare
シーケンスを変更する操作
copycopy_if copy_n copy_backward move move_backward	fill fill_n generate generate_n swap_ranges shuffle transform	removeremove_if replacereplace_if reverse rotate unique	remove_copyremove_copy_if replace_copyreplace_copy_if reverse_copy rotate_copy unique_copy
パーティション操作
is_partitioned partition_point	partition partition_copy	stable_partition
ソート操作
is_sorted is_sorted_until	sort stable_sort	partial_sort partial_sort_copy	nth_element
二分探索操作
lower_bound	upper_bound	binary_search	equal_range
集合操作 (ソート済み範囲)
merge inplace_merge	includes	set_difference set_intersection	set_symmetric_difference set_union
ヒープ操作
is_heap is_heap_until	make_heap sort_heap	push_heap pop_heap
最小/最大操作
max max_element	min min_element	minmax minmax_element
置換 (Permutations)
is_permutation	next_permutation	prev_permutation

 

Defined in header <experimental/ranges/algorithm>
template< ForwardIterator I1, Sentinel<I1> S1, ForwardIterator I2, Sentinel<I2> S2,           class Pred = ranges::equal_to<>,           class Proj1 = ranges::identity, class Proj2 = ranges::identity >     requires IndirectlyComparable<I1, I2, Pred, Proj1, Proj2> bool is_permutation( I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = Pred{},                      Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{} );	(1)	(ranges TS)
template< ForwardRange R1, ForwardRange R2, class Pred = ranges::equal_to<>,           class Proj1 = ranges::identity, class Proj2 = ranges::identity >     requires IndirectlyComparable<ranges::iterator_t<R1>, ranges::iterator_t<R2>,                                   Pred, Proj1, Proj2> bool is_permutation( R1&& r1, R2&& r2, Pred pred = Pred{},                      Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{} );	(2)	(ranges TS)
template< ForwardIterator I1, Sentinel<I1> S1, class I2,           class Pred = ranges::equal_to<>,           class Proj1 = ranges::identity, class Proj2 = ranges::identity >     requires ForwardIterator<std::decay_t<I2>> && !Range<I2> &&              IndirectlyComparable<I1, std::decay_t<I2>, Pred, Proj1, Proj2> bool is_permutation( I1 first1, S1 last1, I2&& first2_, Pred pred = Pred{},                      Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{} );	(3)	(ranges TS) (非推奨)
template< ForwardRange R1, class I2, class Pred = ranges::equal_to<>,           class Proj1 = ranges::identity, class Proj2 = ranges::identity >     requires ForwardIterator<std::decay_t<I2>> && !Range<I2> &&              IndirectlyComparable<ranges::iterator_t<R1>, std::decay_t<I2>, Pred, Proj1, Proj2> bool is_permutation( R1&& r1, I2&& first2_, Pred pred = Pred{},                      Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{} );	(4)	(ranges TS) (非推奨)

1) range [first1, last1) の要素の置換が存在し、それが range [first2, last2) と等しくなる場合は true を返し、そうでない場合は false を返します。

2) (1) と同様ですが、最初のソース range として r1 を、2 番目のソース range として r2 を使用します。あたかも ranges::begin(r1) を first1、ranges::end(r1) を last1、ranges::begin(r2) を first2、ranges::end(r2) を last2 として使用するかのように動作します。

3) (1) と同様ですが、first2 は std::decay_t<I2> first2 = std::forward<I2>(first2_); として定義され、last2 は first2 + (last1 - first1) となります。

4) (3) と同じですが、r1 を最初のソース範囲として使用します。これは、ranges::begin(r1) を first1、ranges::end(r1) を last1 として使用するのと同等です。

2 つの range が等しいとみなされるのは、要素数が同じであり、range [first1, last1) 内のすべてのイテレータ i について、ranges::invoke(pred, ranges::invoke(proj1, *i), ranges::invoke(proj2, *(first2 + (i - first1)))) が true になるときです。

上記に示された宣言にもかかわらず、アルゴリズム宣言のテンプレートパラメータの実際の数と順序は未指定です。したがって、アルゴリズムを呼び出す際に明示的なテンプレート引数を使用すると、プログラムはおそらくポータブルではありません。

[編集] Parameters

first1, last1	-	要素の最初の範囲
r1	-	要素の最初の範囲
first2, last2	-	要素の 2 番目の範囲
r2	-	要素の 2 番目の範囲
first2_	-	要素の 2 番目の範囲の開始位置
pred	-	射影された要素に適用する述語
proj1	-	最初の範囲の要素に適用する射影
proj2	-	2番目の範囲の要素に適用する射影

[編集] Return value

range [first1, last1) が range [first2, last2) の置換である場合は true。

[編集] Complexity

述語と各射影の適用は最大 O(N²) 回、またはシーケンスが既に等しい場合はちょうど N 回です。N = last1 - first1。

ただし、SizedSentinel<S1, I1> && SizedSentinel<S2, I2> が満たされ、かつ last1 - first1 != last2 - first2 の場合、述語と射影の適用は行われません。

[編集] See also

is_permutation (C++11)	あるシーケンスが別のシーケンスの順列であるかを判断する (関数テンプレート)
next_permutation	要素の範囲の次に大きい辞書順の順列を生成する (function template)
prev_permutation	要素の範囲の次に小さい辞書順の順列を生成する (function template)