std::ranges::rbegin

Devuelve un iterador al último elemento del argumento.

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::rbegin es equivalente en expresión a:

1. t.rbegin() convertido a su tipo decaído, si esa expresión con conversión es válida, y su tipo convertido modela std::input_or_output_iterator.
2. De lo contrario, rbegin(t) convertido a su tipo decaído, si T es una clase o un tipo enumeración, la llamada no calificada con conversión mencionada anteriormente es válida, y su tipo convertido modela std::input_or_output_iterator, donde la resolución de sobrecarga se realiza con los siguientes candidatos:
   • void rbegin(auto&) = delete;
   • void rbegin(const auto&) = delete;
   • cualquiera de las declaraciones de rbegin encontradas por la búsqueda dependiente de argumentos.
3. De lo contrario, std::make_reverse_iterator(ranges::end(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::rbegin está mal formada, lo que puede resultar en falla en la sustitución cuando ranges::rbegin(t) aparece en el contexto inmediato de una instanciación de plantilla.

[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::rbegin 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 rbegin_ftor). Todos los ejemplares de rbegin_ftor son iguales. Por lo tanto, ranges::rbegin 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::rbegin mencionado anteriormente, rbegin_ftor satisfará a std::invocable<const rbegin_ftor&, Args...>. De lo contrario, ningún operador de llamada a función de rbegin_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, la llamada a ranges::rbegin está mal formada, lo que también resulta en falla en la sustitución.

El tipo de retorno modela std::input_or_output_iterator en todos los casos.

El estándar de C++20 requiere que la llamada subyacente a ranges::rbegin 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 <iostream>
#include <vector>
#include <ranges>
#include <span>
 
int main() 
{
    std::vector<int> v = { 3, 1, 4 };
    auto vi = std::ranges::rbegin(v);
    std::cout << *vi << '\n';
    *vi = 42; // de acuerdo
 
    int a[] = { -5, 10, 15 };
    auto ai = std::ranges::rbegin(a);
    std::cout << *ai << '\n';
    *ai = 42; // de acuerdo
 
    // auto x_x = std::ranges::rbegin(std::vector{6,6,6});
    // mal formado: el argumento es un r-valor (véase Notas ↑)
 
    auto si = std::ranges::rbegin(std::span{a}); // de acuerdo:
    static_assert(std::ranges::enable_borrowed_range<
        std::remove_cv_t<decltype(std::span{a})>>);
    *si = 42; // de acuerdo
}

4
15

[editar] Véase también