std::ranges::ends_with
Definido en el archivo de encabezado <algorithm> | ||
Signatura de la llamada | ||
template<std::input_iterator I1, std::sentinel_for<I1> S1, std::input_iterator I2, std::sentinel_for<I2> S2, | (1) | (desde C++23) |
template<ranges::input_range R1, ranges::input_range R2, class Pred =ranges::equal_to, | (2) | (desde C++23) |
Comprueba si el segundo rango coincide con el sufijo del primer rango.
N1 y N2 sea ranges::distance(first1, last1) y ranges::distance(first2, last2) respectivamente. Si N1 < N2, devuelve false. De lo contrario, devuelve true solo si cada elemento en el rango [first2, last2) es igual al elemento correspondiente en [first1 + N1 - N2, last1). La comparación se hace aplicando el predicado binario pred a los elementos en dos rangos proyectados por proj1 y proj2 respectivamente.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.
Contenido |
[editar]Parámetros
| first1, last1 | - | El rango de los elementos a examinar. |
| r1 | - | El rango de los elementos a examinar. |
| first2, last2 | - | El rango de los elementos a usar como el sufijo. |
| r2 | - | El rango de los elementos a usar como el sufijo. |
| pred | - | El predicado binario que compara los elementos proyectados. |
| proj1 | - | La proyección a aplicar a los elementos del rango a examinar. |
| proj2 | - | La proyección a aplicar a los elementos del rango a usar como el sufijo. |
[editar]Valor de retorno
true si el segundo rango coincide con el sufijo del primer rango, false de lo contrario.
[editar]Complejidad
Generalmente lineal: a lo sumo min(N1, N2) aplicaciones del predicado y ambas proyecciones. El predicado y ambas proyecciones no se aplican si N1 < N2.
Si tanto N1 como N2 se pueden calcular en tiempo constante (es decir, ambos pares de tipo iterador-centinela modelan sized_sentinel_for, o ambos tipos de rango modelan sized_range) y N1 < N2, la complejidad del tiempo es constante.
[editar]Posible implementación
struct ends_with_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::forward_iterator<I1>||std::sized_sentinel_for<S1, I1>)&&(std::forward_iterator<I2>||std::sized_sentinel_for<S2, I2>)&&std::indirectly_comparable<I1, I2, Pred, Proj1, Proj2>constexprbool operator()(I1 first1, S1 last1, I2 first2, S2 last2, Pred pred ={}, Proj1 proj1 ={}, Proj2 proj2 ={})const{constauto n1 =ranges::distance(first1, last1);constauto n2 =ranges::distance(first2, last2);if(n1 < n2)returnfalse;ranges::advance(first1, n1 - n2);returnranges::equal(std::move(first1), std::move(last1), std::move(first2), std::move(last2), std::move(pred), std::move(proj1), std::move(proj2));} template<ranges::input_range R1, ranges::input_range R2, class Pred =ranges::equal_to, class Proj1 =std::identity, class Proj2 =std::identity> requires (ranges::forward_range<R1>||ranges::sized_range<R1>)&&(ranges::forward_range<R2>||ranges::sized_range<R2>)&&std::indirectly_comparable<ranges::iterator_t<R1>, ranges::iterator_t<R2>, Pred, Proj1, Proj2>constexprbool 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::move(pred), std::move(proj1), std::move(proj2));}}; inlineconstexpr ends_with_fn ends_with {}; |
[editar]Notas
| Macro de Prueba de característica | Valor | Estándar | Comentario |
|---|---|---|---|
__cpp_lib_ranges_starts_ends_with | 202106L | (C++23) | std::ranges::starts_with, std::ranges::ends_with |
[editar]Ejemplo
#include <algorithm>#include <array>#include <iostream> int main(){std::cout<<std::boolalpha<< std::ranges::ends_with("static_cast", "cast")<<'\n'<< std::ranges::ends_with("const_cast", "cast")<<'\n'<< std::ranges::ends_with("reinterpret_cast", "cast")<<'\n'<< std::ranges::ends_with("dynamic_cast", "cast")<<'\n'<< std::ranges::ends_with("move", "cast")<<'\n'<< std::ranges::ends_with("move_if_noexcept", "cast")<<'\n'<< std::ranges::ends_with("forward", "cast")<<'\n'; static_assert(! std::ranges::ends_with("as_const", "cast") and !! std::ranges::ends_with("bit_cast", "cast") and ! std::ranges::ends_with("to_underlying", "cast") and !! std::ranges::ends_with(std::array{1,2,3,4}, std::array{3,4}) and ! std::ranges::ends_with(std::array{1,2,3,4}, std::array{4,5}));}
Salida:
true true true true false false false
[editar]Véase también
(C++23) | Verifica si un rango comienza con otro rango. (niebloid) |
(C++20) | Comprueba si la cadena termina con el sufijo dado (función miembro pública de std::basic_string) |
(C++20) | Comprueba si la vista sobre cadena termina con un sufijo dado. (función miembro pública de std::basic_string_view<CharT,Traits>) |
