std::ranges::begin
| Definido en el archivo de encabezado <ranges>
|
||
inline namespace /*no especificado*/ { inline constexpr /*no especificado*/ begin = /*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::input_or_output_iterator auto begin(T&& t); |
||
Devuelve un iterador al primer 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::begin es equivalente en expresión a:
t + 0siTes un tipo array.- Si
std::remove_all_extents_t<T>está incompleto, entoncesranges::begin(std::forward<T>(t))está mal formado, no se requiere diagnóstico.
- Si
- De lo contrario,
std::forward<T>(t).begin()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. - De lo contrario,
begin(std::forward<T>(t))convertido a su tipo decaído, siTes 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 begin(auto&) = delete;void begin(const auto&) = delete;- cualquiera de las declaraciones de
beginencontradas por la búsqueda dependiente de argumentos.
En todos los otros casos, una llamada a ranges::begin está mal formada, lo que puede resultar en falla en la sustitución cuando ranges::begin(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::begin 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 begin_ftor). Todos los ejemplares de begin_ftor son iguales. Por lo tanto, ranges::begin 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::begin mencionado anteriormente, begin_ftor satisfará a std::invocable<const begin_ftor&, Args...>. De lo contrario, ningún operador de llamada a función de begin_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::begin 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::begin 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 <iostream>
#include <vector>
#include <ranges>
int main()
{
std::vector<int> v = { 3, 1, 4 };
auto vi = std::ranges::begin(v);
std::cout << *vi << '\n';
*vi = 42; // de acuerdo
int a[] = { -5, 10, 15 };
auto ai = std::ranges::begin(a);
std::cout << *ai << '\n';
*ai = 42; // de acuerdo
}
Salida:
3
-5
Véase también
(C++20) |
Devuelve un iterador al inicio de un rango de solo lectura. (objeto punto de personalización) |
(C++11)(C++14) |
Devuelve un iterator al comienzo de un contenedor o array. (plantilla de función) |