std::ranges::end

Devuelve un centinela que indica el fin de un rango.

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

1. t + std::extent_v<T> si t tiene un tipo array de límite conocido.

   Si std::remove_all_extents_t<std::remove_reference_t<T>> está incompleto, entonces la llamada a ranges::end está mal formada, no se requiere diagnóstico.

2. De lo contrario, t.end() convertido a su tipo decaído, si esa expresión con conversión es válida y su tipo convertido modela std::sentinel_for<ranges::iterator_t<T>>.
3. De lo contrario, end(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<ranges::iterator_t<T>>, donde la resolución de sobrecarga se ejecuta con los siguientes candidatos:
   • cualquier declaración de end encontrada por la búsqueda dependiente de argumentos.
   • void end(auto&) = delete;
   • void end(const auto&) = delete;

En todos los demás casos, una llamada a ranges::end está mal formada, lo que puede resultar en falla en la sustitución cuando la llamada a ranges::end 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::end 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 end_ftor). Todos los ejemplares de end_ftor son iguales. Por lo tanto, ranges::end 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::end mencionado anteriormente, end_ftor satisfará a std::invocable<const end_ftor&, Args...>. De lo contrario, ningún operador de llamada a función de end_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 de un tipo array de límite desconocido, la llamada a ranges::end está mal formada, lo que también resulta en falla en la sustitución.

Si ranges::end(std::forward<T>(t)) es válido, entonces decltype(ranges::end(std::forward<T>(t))) y decltype(ranges::begin(std::forward<T>(t))) modela std::sentinel_for en todos los casos, mientras que T modela std::ranges::range.

El estándar C++20 requiere que si la llamada a la función end subyacente devuelve un pr-valor, el valor devuelto se construya a partir del objeto temporal materializado. Todas las implementaciones devuelven directamente el pr-valor en su lugar. El requisito se corrige con 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(v, 5) != ranges::end(v)) {
        std::cout << "se encontró un 5 en el vector v\n";
    }
 
    int a[] = { 5, 10, 15 };
    if (ranges::find(a, 5) != ranges::end(a)) {
        std::cout << "se encontró un 5 en el array a\n";
    }
}

se encontró un 5 en el array a

[editar] Véase también