std::experimental::ranges::mismatch

 

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< InputIterator I1, Sentinel<I1> S1, InputIterator I2, Sentinel<I2> S2,           class Proj1 = ranges::identity, class Proj2 = ranges::identity,           class Pred = ranges::equal_to<> >     requires IndirectRelation<Pred, projected<I1, Proj1>, projected<I2, Proj2>> auto mismatch( I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = Pred{},                Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{} )     -> ranges::tagged_pair<tag::in1(I1), tag::in2(I2)>;	(1)	(ranges TS)
template< InputRange R1, InputRange R2,           class Proj1 = ranges::identity, class Proj2 = ranges::identity,           class Pred = ranges::equal_to<> >     requires IndirectRelation<Pred, projected<ranges::iterator_t<R1>, Proj1>,                               projected<ranges::iterator_t<R2>, Proj2>> auto mismatch( R1&& r1, R2&& r2, Pred pred = Pred{},                Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{} )     -> ranges::tagged_pair<tag::in1(ranges::safe_iterator_t<R1>),                            tag::in2(ranges::safe_iterator_t<R2>)>;	(2)	(ranges TS)
template< InputIterator I1, Sentinel<I1> S1, class I2,           class Pred  = ranges::equal_to<>,           class Proj1 = ranges::identity, class Proj2 = ranges::identity >     requires InputIterator<std::decay_t<I2>> && !Range<I2> &&              IndirectRelation<Pred, projected<I1, Proj1>,                                     projected<std::decay_t<I2>, Proj2>> auto mismatch( I1 first1, S1 last1, I2&& first2_, Pred pred = Pred{},                Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{} )     -> ranges::tagged_pair<tag::in1(I1), tag::in2(std::decay_t<I2>)>;	(3)	(ranges TS) (非推奨)
template< InputRange R1, class I2, class Pred = ranges::equal_to<>,           class Proj1 = ranges::identity, class Proj2 = ranges::identity >     requires InputIterator<std::decay_t<I2>> && !Range<I2> &&              IndirectRelation<Pred, projected<ranges::iterator_t<R1>, Proj1>,                                     projected<std::decay_t<I2>, Proj2>> auto mismatch( R1&& r1, I2&& first2_, Pred pred = Pred{},                Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{} )     -> ranges::tagged_pair<tag::in1(ranges::safe_iterator_t<Rng1>),                            tag::in2(std::decay_t<I2>)>;	(4)	(ranges TS) (非推奨)

1) Returns the first mismatching pair of elements from two ranges: one defined by [first1, last1) and another defined by [first2, last2).

2) Same as (1), but uses r1 as the first source range and r2 as the second source range, as if using ranges::begin(r1) as first1, ranges::end(r1) as last1, ranges::begin(r2) as first2, and ranges::end(r2) as last2.

3) Same as (1), but behaves as if first2 is std::decay_t<I2> first2 = std::forward<I2>(first2_); and last2 is ranges::unreachable{}. The underlying algorithm never increments first2 more than last1 - first1 times.

4) Same as (3), but uses r1 as the first source range, as if using ranges::begin(r1) as first1 and ranges::end(r1) as last1.

Elements are compared using pred to the projected elements of the two ranges, as if by ranges::invoke(pred, ranges::invoke(proj1, *i), ranges::invoke(proj2, *j)).

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

パラメータ

first1, last1	-	the first range of the elements
r1	-	the first range of the elements
first2, last2	-	the second range of the elements
r2	-	the second range of the elements
first2_	-	the beginning of the second range of the elements
pred	-	射影された要素に適用する述語
proj1	-	最初の範囲の要素に適用する射影
proj2	-	2番目の範囲の要素に適用する射影

戻り値

A tagged_pair object with iterators to the first two non-equal elements (the iterator from the first range has the tag in1 and the iterator from the second range has the tag in2).

If no mismatches are found when the comparison reaches last1 or last2, whichever happens first, the pair holds the end iterator and the corresponding iterator from the other range.

計算量

At most last1 - first1 applications of the predicate and each projection.

実装例

template<InputIterator I1, Sentinel<I1> S1, InputIterator I2, Sentinel<I2> S2, class Proj1 = ranges::identity, class Proj2 = ranges::identity, class Pred = ranges::equal_to<>> requires IndirectRelation<Pred, projected<I1, Proj1>, projected<I2, Proj2>> auto mismatch(I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = Pred{}, Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{}) -> ranges::tagged_pair<tag::in1(I1), tag::in2(I2)> { while (first1 != last1 && first2 != last2 && ranges::invoke(pred, ranges::invoke(proj1, *first1), ranges::invoke(proj2, *first2))) { ++first1; ++first2; } return {first1, first2}; }

関連項目

mismatch	2つの範囲が異なる最初の位置を見つける (関数テンプレート)
equal	2つの要素の集合が同じかどうかを判断する (function template)
findfind_iffind_if_not	特定の基準を満たす最初の要素を見つける (function template)
lexicographical_compare	ある範囲が別の範囲より辞書順で小さい場合に true を返す (function template)
search	要素の範囲を検索します。 (function template)