std:: adjacent_find
|
定义于头文件
<algorithm>
|
||
|
template
<
class
ForwardIt
>
ForwardIt adjacent_find ( ForwardIt first, ForwardIt last ) ; |
(1) | (自 C++20 起为 constexpr) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt
>
ForwardIt adjacent_find
(
ExecutionPolicy
&&
policy,
|
(2) | (自 C++17 起) |
|
template
<
class
ForwardIt,
class
BinaryPred
>
ForwardIt adjacent_find
(
ForwardIt first, ForwardIt last,
|
(3) | (自 C++20 起为 constexpr) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
BinaryPred
>
ForwardIt adjacent_find
(
ExecutionPolicy
&&
policy,
|
(4) | (自 C++17 起) |
在范围
[
first
,
last
)
中搜索两个连续相等的元素。
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> 为 true 。 |
(C++20 前) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> 为 true 。 |
(C++20 起) |
目录 |
参数
| first, last | - | 定义待检验元素范围的迭代器对 |
| policy | - | 要使用的执行策略 |
| p | - |
二元谓词,若元素应被视为相等则返回
true
谓词函数的签名应等价于如下形式: bool pred ( const Type1 & a, const Type2 & b ) ;
虽然签名不需要包含
const
&
,但函数不得修改传递给它的对象,且必须能够接受所有(可能为 const 的)
|
| 类型要求 | ||
-
ForwardIt
必须满足
LegacyForwardIterator
的要求。
|
||
-
BinaryPred
必须满足
BinaryPredicate
的要求。
|
||
返回值
指向第一对相同元素中首元素的迭代器,即满足 * it == * ( it + 1 ) 条件的首个迭代器 it (对应版本 (1,2) ),或满足 p ( * it, * ( it + 1 ) ) ! = false 条件的首个迭代器(对应版本 (3,4) )。
如果未找到此类元素,则返回 last 。
复杂度
给定
result
作为
adjacent_find
的返回值,
M
为
std::
distance
(
first, result
)
,
N
为
std::
distance
(
first, last
)
:
异常
带有名为
ExecutionPolicy
模板参数的重载按以下方式报告错误:
-
如果作为算法一部分调用的函数执行抛出异常,且
ExecutionPolicy是某个 标准策略 ,则调用 std::terminate 。对于其他任何ExecutionPolicy,其行为由实现定义。 - 如果算法无法分配内存,则抛出 std::bad_alloc 。
可能的实现
| adjacent_find (1) |
|---|
template<class ForwardIt> ForwardIt adjacent_find(ForwardIt first, ForwardIt last) { if (first == last) return last; ForwardIt next = first; ++next; for (; next != last; ++next, ++first) if (*first == *next) return first; return last; } |
| adjacent_find (3) |
template<class ForwardIt, class BinaryPred> ForwardIt adjacent_find(ForwardIt first, ForwardIt last, BinaryPred p) { if (first == last) return last; ForwardIt next = first; ++next; for (; next != last; ++next, ++first) if (p(*first, *next)) return first; return last; } |
示例
#include <algorithm> #include <functional> #include <iostream> #include <vector> int main() { std::vector<int> v1{0, 1, 2, 3, 40, 40, 41, 41, 5}; auto i1 = std::adjacent_find(v1.begin(), v1.end()); if (i1 == v1.end()) std::cout << "No matching adjacent elements\n"; else std::cout << "The first adjacent pair of equal elements is at " << std::distance(v1.begin(), i1) << ", *i1 = " << *i1 << '\n'; auto i2 = std::adjacent_find(v1.begin(), v1.end(), std::greater<int>()); if (i2 == v1.end()) std::cout << "The entire vector is sorted in ascending order\n"; else std::cout << "The last element in the non-decreasing subsequence is at " << std::distance(v1.begin(), i2) << ", *i2 = " << *i2 << '\n'; }
输出:
The first adjacent pair of equal elements is at 4, *i1 = 40 The last element in the non-decreasing subsequence is at 7, *i2 = 41
缺陷报告
下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。
| 缺陷报告 | 应用于 | 发布时的行为 | 正确行为 |
|---|---|---|---|
| LWG 240 | C++98 |
谓词被应用了
std::
find
( first, last, value ) - first 次 对于 (1,3) ,其中 value 从未被定义 |
应用
std::
min
(
( result - first ) + 1 , ( last - first ) - 1 ) 次 |
参见
|
移除范围中的连续重复元素
(函数模板) |
|
|
(C++20)
|
查找首个相邻的相等元素(或满足给定谓词的元素)
(算法函数对象) |