Namespaces
Variants

std:: adjacent_find

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
Merge operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
Definido en el encabezado <algorithm>
template < class ForwardIt >
ForwardIt adjacent_find ( ForwardIt first, ForwardIt last ) ;
(1) (constexpr desde C++20)
template < class ExecutionPolicy, class ForwardIt >

ForwardIt adjacent_find ( ExecutionPolicy && policy,

ForwardIt first, ForwardIt last ) ;
(2) (desde C++17)
template < class ForwardIt, class BinaryPred >

ForwardIt adjacent_find ( ForwardIt first, ForwardIt last,

BinaryPred p ) ;
(3) (constexpr desde C++20)
template < class ExecutionPolicy, class ForwardIt, class BinaryPred >

ForwardIt adjacent_find ( ExecutionPolicy && policy,
ForwardIt first, ForwardIt last,

BinaryPred p ) ;
(4) (desde C++17)

Busca en el rango [ first , last ) dos elementos consecutivos iguales.

1) Los elementos se comparan utilizando operator == .
3) Los elementos se comparan utilizando el predicado binario dado p .
2,4) Igual que (1,3) , pero ejecutado de acuerdo con la policy .
Estas sobrecargas participan en la resolución de sobrecarga solo si se cumplen todas las siguientes condiciones:

std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> es true .

(hasta C++20)

std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> es true .

(desde C++20)

Contenidos

Parámetros

first, last - el par de iteradores que define el rango de elementos a examinar
policy - la política de ejecución a utilizar
p - predicado binario que retorna ​ true si los elementos deben tratarse como iguales.

La firma de la función predicado debe ser equivalente a la siguiente:

bool pred ( const Type1 & a, const Type2 & b ) ;

Aunque la firma no necesita tener const & , la función no debe modificar los objetos pasados a ella y debe poder aceptar todos los valores de tipo (posiblemente const) Type1 y Type2 independientemente de la categoría de valor (por lo tanto, Type1 & no está permitido , ni tampoco Type1 a menos que para Type1 un movimiento sea equivalente a una copia (since C++11) ).
Los tipos Type1 y Type2 deben ser tales que un objeto de tipo ForwardIt pueda ser desreferenciado y luego convertido implícitamente a ambos. ​

Requisitos de tipo
-
ForwardIt debe cumplir con los requisitos de LegacyForwardIterator .
-
BinaryPred debe cumplir con los requisitos de BinaryPredicate .

Valor de retorno

Un iterador al primero del primer par de elementos idénticos, es decir, el primer iterador it tal que * it == * ( it + 1 ) para (1,2) o p ( * it, * ( it + 1 ) ) ! = false para (3,4) .

Si no se encuentran tales elementos, last es devuelto.

Complejidad

Dado result como el valor de retorno de adjacent_find , M como std:: distance ( first, result ) y N como std:: distance ( first, last ) :

1) Exactamente min(M+1,N-1) comparaciones usando operator == .
2) O(N) comparaciones usando operator == .
3) Exactamente min(M+1,N-1) aplicaciones del predicado p .
4) O(N) aplicaciones del predicado p .

Excepciones

Las sobrecargas con un parámetro de plantilla llamado ExecutionPolicy reportan errores de la siguiente manera:

  • Si la ejecución de una función invocada como parte del algoritmo lanza una excepción y ExecutionPolicy es una de las políticas estándar , std::terminate es llamado. Para cualquier otra ExecutionPolicy , el comportamiento está definido por la implementación.
  • Si el algoritmo no puede asignar memoria, std::bad_alloc es lanzado.

Implementación posible

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;
}

Ejemplo

#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';
}

Salida:

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

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

DR Se aplica a Comportamiento publicado Comportamiento correcto
LWG 240 C++98 el predicado se aplicaba std:: find
( first, last, value ) - first veces
para (1,3) , donde value nunca fue definido
aplicado std:: min (
( result - first ) + 1 ,
( last - first ) - 1 ) veces

Véase también

elimina elementos duplicados consecutivos en un rango
(plantilla de función)
encuentra los dos primeros elementos adyacentes que son iguales (o satisfacen un predicado dado)
(objeto función de algoritmo)