std::ranges::mismatch, std::ranges::mismatch_result
来自cppreference.com
| 在标头 <algorithm> 定义
|
||
| 调用签名 |
||
| |
(1) | (C++20 起) |
| |
(2) | (C++20 起) |
| |
(3) | (C++26 起) |
| |
(4) | (C++26 起) |
| 辅助类型 |
||
| |
(5) | (C++20 起) |
/*execution-policy*/ 的定义见此页；/*sized-random-access-range*/ 的定义见此页。
返回一对到两个目标范围中的首对不匹配元素的迭代器。用给定的二元谓词 pred 比较（分别以 proj1 和 proj2 投影后的）元素。
1) 两个目标范围是
[first1, last1) 和 [first2, last2)。2) 两个目标范围是
r1 和 r2。3,4) 同 (1,2)，但按照
policy 执行。此页面上描述的函数式实体是算法函数对象（非正式地称为 niebloid），即：
参数
| first1, last1 | - | 表示要比较的第一元素范围的迭代器-哨位对 |
| r1 | - | 第一待比较元素范围 |
| first2, last2 | - | 表示要比较的第二元素范围的迭代器-哨位对 |
| r2 | - | 第二待比较元素范围 |
| pred | - | 应用到投影后元素的谓词 |
| proj1 | - | 应用到第一元素范围的投影 |
| proj2 | - | 应用到第二元素范围的投影 |
返回值
包含指向首对不匹配元素的迭代器的 ranges::mismatch_result。
如果抵达了任意一个目标范围的尾后位置，那么返回值包含该范围的尾后迭代器与表示另一范围对应位置的迭代器。
复杂度
给定
- N1 为
ranges::distance(first1, last1)或ranges::distance(r1)， - N2 为
ranges::distance(first2, last2)或ranges::distance(r2)：
1,2) 最多应用 min(N1,N2) 次
pred、proj1 和 proj2。3,4) 应用 𝓞(min(N1,N2)) 次
pred、proj1 和 proj2。可能的实现
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 R>
constexpr auto get_end(R&& r)
{
return ranges::end(r);
}
template<ranges::forward_range R>
constexpr auto get_end(R&& r)
{
return ranges::next(ranges::begin(r), ranges::end(r));
}
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), get_end(r1),
ranges::begin(r2), get_end(r2),
std::ref(pred), std::ref(proj1), std::ref(proj2));
}
};
inline constexpr mismatch_fn mismatch;
|
示例
此程序确定同时在给定字符串的首端与在末端逆序找到的最长子串（可能重叠）。
Run this code
#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) |
搜索元素范围的首次出现 (算法函数对象) |