std::ranges:: mismatch, std::ranges:: mismatch_result
std::ranges
| Non-modifying sequence operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Modifying sequence operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Partitioning operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Sorting operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Binary search operations (on sorted ranges) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Set operations (on sorted ranges) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Heap operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Minimum/maximum operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Permutation operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Fold operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Operations on uninitialized storage | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Return types | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
定义于头文件
<algorithm>
|
||
|
调用签名
|
||
|
template
<
std::
input_iterator
I1,
std::
sentinel_for
<
I1
>
S1,
std::
input_iterator
I2,
std::
sentinel_for
<
I2
>
S2,
|
(1) | (C++20 起) |
|
template
<
ranges::
input_range
R1,
ranges::
input_range
R2,
class
Pred
=
ranges::
equal_to
,
|
(2) | (C++20 起) |
|
辅助类型
|
||
|
template
<
class
I1,
class
I2
>
using mismatch_result = ranges:: in_in_result < I1, I2 > ; |
(3) | (C++20 起) |
返回两个范围中首个不匹配的投影元素对：一个范围由
[
first1
,
last1
)
或
r1
定义，另一个范围由
[
first2
,
last2
)
或
r2
定义。
本页面描述的函数式实体是 算法函数对象 （非正式称为 niebloids ），即：
目录 |
参数
| first1, last1 | - | 定义待比较第一个 范围 元素的迭代器-哨位对 |
| r1 | - | 待比较元素的第一个范围 |
| first2, last2 | - | 定义待比较第二个 范围 元素的迭代器-哨位对 |
| r2 | - | 待比较元素的第二个范围 |
| pred | - | 应用于投影元素的谓词 |
| proj1 | - | 应用于第一个元素范围的投影 |
| proj2 | - | 应用于第二个元素范围的投影 |
返回值
ranges::mismatch_result
包含指向前两个不相等元素的迭代器。
当比较到达 last1 或 last2 （以先发生者为准）且未发现任何不匹配时，该对象将保存结束迭代器以及来自另一范围的对应迭代器。
复杂度
最多 std:: min ( last1 - first1, last2 - first2 ) 次谓词及对应投影函数的应用。
可能的实现
struct mismatch_fn { template<std::input_iterator I1, std::sentinel_for<I1> S1, std::input_iterator I2, std::sentinel_for<I2> S2, class Pred = ranges::equal_to, class Proj1 = std::identity, class Proj2 = std::identity> requires std::indirectly_comparable<I1, I2, Pred, Proj1, Proj2> constexpr std::mismatch_result<I1, I2> operator()(I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {}) const { for (; first1 != last1 && first2 != last2; ++first1, (void)++first2) if (not std::invoke(pred, std::invoke(proj1, *first1), std::invoke(proj2, *first2))) break; return {first1, first2}; } template<ranges::input_range R1, ranges::input_range R2, class Pred = ranges::equal_to, class Proj1 = std::identity, class Proj2 = std::identity> requires std::indirectly_comparable<ranges::iterator_t<R1>, ranges::iterator_t<R2>, Pred, Proj1, Proj2> constexpr ranges::mismatch_result<ranges::borrowed_iterator_t<R1>, ranges::borrowed_iterator_t<R2>> operator()(R1&& r1, R2&& r2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {}) const { return (*this)(ranges::begin(r1), ranges::end(r1), ranges::begin(r2), ranges::end(r2), std::ref(pred), std::ref(proj1), std::ref(proj2)); } }; inline constexpr mismatch_fn mismatch; |
示例
本程序用于确定在给定字符串的开头和结尾同时出现的最长子串（可能重叠），且该子串在结尾处以逆序形式出现。
#include <algorithm> #include <iostream> #include <ranges> #include <string_view> [[nodiscard]] constexpr std::string_view mirror_ends(const std::string_view in) { const auto end = std::ranges::mismatch(in, in | std::views::reverse).in1; return {in.cbegin(), end}; } int main() { std::cout << mirror_ends("abXYZba") << '\n' << mirror_ends("abca") << '\n' << mirror_ends("ABBA") << '\n' << mirror_ends("level") << '\n'; using namespace std::literals::string_view_literals; static_assert("123"sv == mirror_ends("123!@#321")); static_assert("radar"sv == mirror_ends("radar")); }
输出：
ab a ABBA level
参见
|
(C++20)
|
判断两组元素是否相同
(算法函数对象) |
|
(C++20)
(C++20)
(C++20)
|
查找满足特定条件的首个元素
(算法函数对象) |
|
(C++20)
|
若一个范围按字典序小于另一个范围则返回
true
(算法函数对象) |
|
(C++20)
|
搜索元素范围的首次出现
(算法函数对象) |
|
查找两个范围首次出现差异的位置
(函数模板) |