std::ranges::advance

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos(C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación(C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos(C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos(C++17)

Biblioteca de apoyo de concurrencia(C++11)

Biblioteca de apoyo de ejecución(C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca de iteradores

Conceptos de iteradores
indirectly_readable (C++20) indirectly_writable (C++20) weakly_incrementable (C++20) incrementable (C++20) input_or_output_iterator (C++20) sentinel_for (C++20) sized_sentinel_for (C++20)	input_iterator (C++20) output_iterator (C++20) forward_iterator (C++20) bidirectional_iterator (C++20) random_access_iterator (C++20) contiguous_iterator (C++20)
Primitivas de iteradores
iterator_traits input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tagcontiguous_iterator_tag (C++20) iterator (en desuso en C++17)	incrementable_traits (C++20) indirectly_readable_traits (C++20) iter_value_titer_difference_titer_reference_titer_rvalue_reference_titer_common_reference_t (C++20)(C++20)(C++20)(C++20)(C++20)
Conceptos de algoritmos y servicios
Conceptos invocables indirectos
indirectly_unary_invocableindirectly_regular_unary_invocable (C++20)(C++20) indirect_unary_predicate (C++20)	indirect_binary_predicate (C++20) indirect_equivalence_relation (C++20) indirect_strict_weak_order (C++20)
Requerimientos comunes de algoritmos
indirectly_movable (C++20) indirectly_movable_storable (C++20) indirectly_copyable (C++20) indirectly_copyable_storable (C++20)	indirectly_swappable (C++20) indirectly_comparable (C++20) permutable (C++20) mergeable (C++20) sortable (C++20)
Servicios
indirect_result_t	projected
Adaptadores de iteradores
reverse_iterator move_iterator (C++11) move_sentinel (C++20) common_iterator (C++20) counted_iterator (C++20) back_insert_iterator front_insert_iterator insert_iterator	make_reverse_iterator (C++14) make_move_iterator (C++11) default_sentinel_tdefault_sentinel (C++20)(C++20) unreachable_sentinel_tunreachable_sentinel (C++20)(C++20) back_inserter front_inserter inserter
Iteradores de flujos
istream_iterator ostream_iterator	istreambuf_iterator ostreambuf_iterator
Puntos de personalización de iteradores
ranges::iter_move (C++20)
ranges::iter_swap (C++20)
Operaciones de iteradores
advance distance prev (C++11) next (C++11)	ranges::advance (C++20) ranges::distance (C++20) ranges::prev (C++20) ranges::next (C++20)
Acceso a rangos
begincbegin (C++11)(C++14) endcend (C++11)(C++14) sizessize (C++17)(C++20)	rbegincrbegin (C++14)(C++14) rendcrend (C++14)(C++14) empty (C++17) data (C++17)

 

Definido en el archivo de encabezado <iterator>
Signatura de la llamada
template<std::input_or_output_iterator I > constexprvoid advance( I& i, std::iter_difference_t<I> n );	(1)	(desde C++20)
template<std::input_or_output_iterator I, std::sentinel_for<I> S > constexprvoid advance( I& i, S bound );	(2)	(desde C++20)
template<std::input_or_output_iterator I, std::sentinel_for<I> S > constexprstd::iter_difference_t<I> advance( I& i, std::iter_difference_t<I> n, S bound );	(3)	(desde C++20)

1) Incrementa el iterador dado in veces.

2) Incrementa el iterador dado i hasta que i == bound.

3) Incrementa el iterador dado in veces, o hasta que i == bound, lo que suceda primero.

Si n es negativo, el iterador se decrementa. En este caso, I debe modelar std::bidirectional_iterator y S debe ser del mismo tipo que I si se proporciona bound; de lo contrario, el comportamiento no está definido.

Las entidades similares a funciones descritas en esta página son niebloids, es decir:

• Las listas de argumentos de plantilla explícitas no se pueden especificar al llamar a cualquiera de ellas.
• Ninguna de ellas es visible para la búsqueda dependiente de argumentos.
• Cuando alguna de ellas se encuentra mediante la búsqueda normal no calificada como el nombre a la izquierda del operador de llamada a función, se inhibe la búsqueda dependiente de argumentos.

En la práctica, pueden implementarse como objetos función o con extensiones de compilador especiales.

Parámetros

i	-	El iterador a avanzar.
bound	-	Centinela que denota el fin del rango del que i es un iterador.
n	-	Número máximo de incrementos de i.

Valor de retorno

3) La diferencia entre n y la distancia real i recorrida.

Complejidad

Lineal.

Sin embargo, si I además modela std::random_access_iterator, o S modela std::sized_sentinel_for<I>, o I y S modelan std::assignable_from<I&, S>, la complejidad es constante.

Notas

El comportamiento no está definido si la secuencia especificada de incrementos o decrementos requiere que se incremente un iterador no incrementable (como el iterador posterior al final) o que se decremente un iterador no decrementable (como el iterador frontal o el iterador singular).

Posible implementación

struct advance_fn {template<std::input_or_output_iterator I>constexprvoid operator()(I& i, std::iter_difference_t<I> n)const{ifconstexpr(std::random_access_iterator<I>) i += n;else{while(n >0){--n;++i;}   ifconstexpr(std::bidirectional_iterator<I>){while(n <0){++n;--i;}}}}   template<std::input_or_output_iterator I, std::sentinel_for<I> S>constexprvoid operator()(I& i, S bound)const{ifconstexpr(std::assignable_from<I&, S>) i = std::move(bound);elseifconstexpr(std::sized_sentinel_for<S, I>)(*this)(i, bound - i);elsewhile(i != bound)++i;}   template<std::input_or_output_iterator I, std::sentinel_for<I> S>constexprstd::iter_difference_t<I> operator()(I& i, std::iter_difference_t<I> n, S bound)const{ifconstexpr(std::sized_sentinel_for<S, I>){// std::abs no es constexpr hasta C++23auto abs =[](conststd::iter_difference_t<I> x){return x <0?-x : x;};   if(constauto dist = abs(n)- abs(bound - i); dist <0){(*this)(i, bound);return-dist;}   (*this)(i, n);return0;}else{while(n >0&& i != bound){--n;++i;}   ifconstexpr(std::bidirectional_iterator<I>){while(n <0&& i != bound){++n;--i;}}   return n;}}};   inlineconstexprauto advance = advance_fn();

Ejemplo

Ejecuta este código

#include <iostream>#include <iterator>#include <vector>   int main(){std::vector<int> v {3, 1, 4};   auto vi = v.begin();   std::ranges::advance(vi, 2);std::cout<<"1) value: "<<*vi <<'\n'<<std::boolalpha;   std::ranges::advance(vi, v.end());std::cout<<"2) vi == v.end(): "<<(vi == v.end())<<'\n';   std::ranges::advance(vi, -3);std::cout<<"3) value: "<<*vi <<'\n';   std::cout<<"4) diff: "<< std::ranges::advance(vi, 2, v.end())<<", value: "<<*vi <<'\n';   std::cout<<"5) diff: "<< std::ranges::advance(vi, 4, v.end())<<", vi == v.end(): "<<(vi == v.end())<<'\n';}

Salida:

1) value: 4 2) vi == v.end(): true 3) value: 3 4) diff: 0, value: 4 5) diff: 3, vi == v.end(): true

Véase también

ranges::next (C++20)	Incrementa un iterador en una distancia dada o a un límite. (niebloid)
ranges::prev (C++20)	Decrementa un iterador en una distancia dada o a un límite. (niebloid)
ranges::distance (C++20)	Devuelve la distancia entre un iterador y un centinela, o entre el principio y el fin de un rango. (niebloid)
advance	Avanza un iterador en una distancia determinada. (función)