std::experimental::ranges::mismatch

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库(文件系统 TS)

库基础(库基础 TS)

库基础 2(库基础 TS v2)

库基础 3(库基础 TS v3)

并行扩展(并行 TS)

并行扩展 2(并行 TS v2)

并发扩展(并发 TS)

并发扩展 2(并发 TS v2)

概念(概念 TS)

范围(范围 TS)

反射(反射 TS)

数学特殊函数(特殊函数 TR)

实验性非 TS 功能特性

模式匹配

线性代数

std::execution

契约

2D 图形

 

范围

概念

通用工具

迭代器

范围

算法

 

算法库

不修改序列的操作
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
排列
is_permutation	next_permutation	prev_permutation

 

在标头 <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)	(范围 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)	(范围 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)	(范围 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)	(范围 TS) (弃用)

1) 返回两个范围中第一对不匹配的元素：其一由 [first1, last1) 定义而另一个由 [first2, last2) 定义。

2) 与 (1) 相同，但用 r1 为第一源范围并用 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 为 ranges::unreachable{}。底层算法从不对 first2 自增多于 last1 - first1 次。

4) 与 (3) 相同，但用 r1 为第一源范围，如同以 ranges::begin(r1) 为 first1 并以 ranges::end(r1) 为 last1。

用 pred 对两个范围投射后的元素进行比较，如同调用 ranges::invoke(pred, ranges::invoke(proj1, *i), ranges::invoke(proj2, *j))。

尽管声明描述如上，算法声明的模板形参的实际数量和顺序是未指定的。从而若在调用算法时使用显式模板实参，则程序很可能不可移植。

参数

first1, last1	-	第一元素范围
r1	-	第一元素范围
first2, last2	-	第二元素范围
r2	-	第二元素范围
first2_	-	第二元素范围的开头
pred	-	运用于投射后范围的谓词
proj1	-	运用于第一范围中元素的投射
proj2	-	运用于第二范围中元素的投射

返回值

tagged_pair 对象，带有指向首对不相等元素（第一范围中的迭代器具有标签 in1 而第二范围中的迭代器具有标签 in2）。

如果比较抵达 last1 或 last2 时未找到不匹配，无论哪个先发生，则对偶持有该为迭代器和另一范围的对应迭代器。

复杂度

最多 last1 - first1 次运用谓词和各投射。

可能的实现

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	查找两个范围的首个不同之处 (函数模板)
equal	确定元素的两个集合是否相同 (函数模板)
findfind_iffind_if_not	寻找首个满足特定判别标准的元素 (函数模板)
lexicographical_compare	当一个范围按字典顺序小于另一个范围时，返回 true (函数模板)
search	搜索一个元素范围 (函数模板)