std::ranges::mismatch, std::ranges::mismatch_result
| 定义于头文件 <algorithm>
|
||
| 调用签名 |
||
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 mismatch_result<I1, I2>
mismatch( I1 first1, S1 last1, I2 first2, S2 last2,
Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {} );
|
(1) | (自 C++20 起) |
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 mismatch_result<ranges::borrowed_iterator_t<R1>,
ranges::borrowed_iterator_t<R2>>
mismatch( R1&& r1, R2&& r2, Pred pred = {},
Proj1 proj1 = {}, Proj2 proj2 = {} );
|
(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 定义。
p 比较元素。r 作为源范围，如同使用 ranges::begin(r) 作为 first 及 ranges::end(r) 作为 last。本页描述的函数式实体是 算法函数对象（非正式地称为 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) |
搜索某个元素范围的首次出现位置 (算法函数对象) |
| 查找两个范围首次出现差异的位置 (函数模板) |