std::ranges::rend
Definido en el archivo de encabezado <ranges> | ||
inlinenamespace/*no especificado*/{ inlineconstexpr/*no especificado*/ rend =/*no especificado*/; | (desde C++20) (objeto punto de personalización) | |
Signatura de la llamada | ||
template<class T > requires /* véase a continuación */ | (desde C++20) | |
Devuelve un centinela que indica el fin de un rango inverso.
Sea t
un objeto de tipo T
. Si el argumento es un l-valor o ranges::enable_borrowed_range<std::remove_cv_t<T>> es true, entonces una llamada a ranges::rend
es equivalente en expresión a:
- t.rend() convertido a su tipo decaído, si esa expresión con conversión es válida y su tipo convertido modela std::sentinel_for<decltype(ranges::rbegin(std::declval<T>()))>.
- De lo contrario, rend(t) convertido a su tipo decaído, si
T
tiene un tipo clase o enumeración, es válida la mencionada llamada no calificada con conversión, y su tipo convertido modela std::sentinel_for<decltype(ranges::rbegin(std::declval<T>()))>, donde la overload resolution se ejecuta con los siguientes candidatos:- void rend(auto&)= delete;
- void rend(constauto&)= delete;
- cualquier declaración de
rend
encontrada por la búsqueda dependiente de argumentos.
- De lo contrario, std::make_reverse_iterator(ranges::begin(t)) si tanto ranges::begin(t) como ranges::end(t) son expresiones válidas, tienen el mismo tipo, y ese tipo modela std::bidirectional_iterator.
En todos los otros casos, una llamada a ranges::rend
está mal formada, lo que puede resultar en falla en la sustitución cuando ranges::rend(t) aparece en el contexto inmediato de una instanciación de plantilla.
Contenido |
[editar]Equivalente en expresión
La expresión e es equivalente-en-expresión a la expresión f, si e y f tienen los mismos efectos, ambas potencialmente lanzan o ambas potencialmente no lanzan (es decir, noexcept(e)==noexcept(f)), y ambas son subexpresiones constantes o ambas no son subexpresiones constantes.
[editar]Objetos de punto de personalización
El nombre ranges::rend
denota un objeto de punto de personalización, que es un objeto funciónconst
de un tipo clase literalsemiregular
(denotado, a efectos de exposición, como rend_ftor
). Todos los ejemplares de rend_ftor
son iguales. Por lo tanto, ranges::rend
puede copiarse libremente y sus copias pueden usarse indistintamente.
Dado un conjunto de tipos Args...
, si std::declval<Args>()... cumple con los requerimientos para los argumentos de ranges::rend
mencionado anteriormente, rend_ftor
satisfará a std::invocable<const rend_ftor&, Args...>. De lo contrario, ningún operador de llamada a función de rend_ftor
participa en la resolución de sobrecarga.
[editar]Notas
Si el argumento es un r-valor (es decir, T
es un tipo objeto) y ranges::enable_borrowed_range<std::remove_cv_t<T>> es false, o si es un tipo array de límite desconocido, la llamada a ranges::rend
está mal formada, lo que también resulta en falla en la sustitución.
Si ranges::rend(std::forward<T>(t)) es válido, entonces decltype(ranges::rend(std::forward<T>(t))) y decltype(ranges::begin(std::forward<T>(t))) modelan std::sentinel_for en todos los casos, mientras que T
modela std::ranges::range.
El estándar de C++20 requiere que la llamada subyacente a ranges::rend
devuelva un pr-valor, el valor de retorno se construye por movimiento a partir del objeto temporal materializado. En su lugar, todas las implementaciones devuelven el pr-valor directamente. El requerimiento se corrige por la propuesta posterior a C++20 P0849R8 para que coincida con las implementaciones.
[editar]Ejemplo
#include <algorithm>#include <iostream>#include <ranges>#include <vector> int main(){std::vector<int> v ={3, 1, 4};namespace ranges = std::ranges;if(ranges::find(ranges::rbegin(v), ranges::rend(v), 5)!= ranges::rend(v)){std::cout<<"se encontró un 5 en el vector `v`!\n";} int a[]={5, 10, 15};if(ranges::find(ranges::rbegin(a), ranges::rend(a), 5)!= ranges::rend(a)){std::cout<<"se encontró un 5 en el array `a`!\n";}}
Salida:
se encontró un 5 en el array `a`!
[editar]Véase también
(C++20) | Devuelve un iterador inverso al final de un rango de solo lectura (objeto punto de personalización) |
(C++20) | Devuelve un iterador inverso a un rango (objeto punto de personalización) |
(C++14) | Devuelve un iterador inverso al final para un contenedor o array (plantilla de función) |