std::ranges::rend
| Definido en el archivo de encabezado <ranges>
|
||
inline namespace /*no especificado*/ { inline constexpr /*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 */ constexpr std::sentinel_for<decltype(ranges::rbegin(std::declval<T>()))> auto rend( T&& t ); |
(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 modelastd::sentinel_for<decltype(ranges::rbegin(std::declval<T>()))>.- De lo contrario,
rend(t)convertido a su tipo decaído, siTtiene un tipo clase o enumeración, es válida la mencionada llamada no calificada con conversión, y su tipo convertido modelastd::sentinel_for<decltype(ranges::rbegin(std::declval<T>()))>, donde la overload resolution se ejecuta con los siguientes candidatos:void rend(auto&) = delete;void rend(const auto&) = delete;- cualquier declaración de
rendencontrada por la búsqueda dependiente de argumentos.
- De lo contrario,
std::make_reverse_iterator(ranges::begin(t))si tantoranges::begin(t)comoranges::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.
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.
Objetos de punto de personalización
El nombre ranges::rend denota un objeto de punto de personalización, que es un objeto función const de un tipo clase literal semiregular (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.
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.
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`!
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) |