std::ranges::crbegin - cppreference.com

Devuelve un iterador al primer elemento del argumento calificado const, que se trata como una secuencia inversa.

Sea CT

1. const std::remove_reference_t<T>& si el argumento es un l-valor (es decir T es un tipo referencia a l-valor),
2. const T de lo contrario,

una llamada a ranges::crbegin es equivalente en expresión a ranges::rbegin(static_cast<CT&&>(t)).

El tipo de retorno modela std::input_or_output_iterator en ambos casos.

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::crbegin 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 crbegin_ftor). Todos los ejemplares de crbegin_ftor son iguales. Por lo tanto, ranges::crbegin 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::crbegin mencionado anteriormente, crbegin_ftor satisfará a std::invocable<const crbegin_ftor&, Args...>. De lo contrario, ningún operador de llamada a función de crbegin_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, la llamada a ranges::crbegin 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.

Ejemplo

#include <iostream>
#include <vector>
#include <iterator>
#include <span>

int main() 
{
    std::vector<int> v = { 3, 1, 4 };
    auto vi = std::ranges::crbegin(v);
    std::cout << *vi << '\n'; 

    int a[] = { -5, 10, 15 };
    auto ai = std::ranges::crbegin(a);
    std::cout << *ai << '\n';

    // auto x_x = std::ranges::crbegin(std::vector<int>{6,6,6});
    // mal formado: el argumento es un r-valor (véase Notas ↑)

    auto si = std::ranges::crbegin(std::span{a}); // de acuerdo:
    static_assert(std::ranges::enable_borrowed_range<
        std::remove_cv_t<decltype(std::span{a})>>);
    std::cout << *si << '\n';
}

Véase también