std::ranges::data
| Definido en el archivo de encabezado <ranges>
|
||
inline namespace /*no especificado*/ { inline constexpr /*no especificado*/ data = /*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::remove_reference_t<ranges::range_reference_t<T>>* data( T&& t ); |
(desde C++20) | |
Devuelve un puntero al primer elemento de un rango contiguo.
Si el argumento es un l-valor o ranges::enable_borrowed_range<std::remove_cv_t<T>> es true, entonces una llamada a ranges::data es equivalente en expresión a:
std::forward<T>(t).data()convertido a su tipo decaído, si esa expresión con conversión es válida, y su tipo de retorno es un puntero a un tipo objeto.- De lo contrario,
std::to_address(ranges::begin(std::forward<T>(t))), siranges::begin(std::forward<T>(t))es válido y devuelve un tipo que modela std::contiguous_iterator.- Si
std::remove_all_extents_t<std::remove_reference_t<T>>está incompleto, entoncesranges::data(std::forward<T>(t))está mal formado, no se requiere diagnóstico.
- Si
En todos los otros casos, una llamada a ranges::data está mal formada, lo que puede resultar en falla en la sustitución cuando ranges::data(e) 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::data 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 data_ftor). Todos los ejemplares de data_ftor son iguales. Por lo tanto, ranges::data 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::data mencionado anteriormente, data_ftor satisfará a std::invocable<const data_ftor&, Args...>. De lo contrario, ningún operador de llamada a función de data_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::data está mal formada, lo que también resulta en falla en la sustitución.
Si ranges::data(e) es válido para una expresión e, entonces devuelve un puntero a un objeto.
El estándar de C++20 requiere que la llamada subyacente a ranges::data 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 <cstring>
#include <iostream>
#include <ranges>
#include <string>
int main()
{
std::string s {"Hola mundo\n"};
char a[20]; // almacenamiento para una cadena estilo C
std::strcpy(a, std::ranges::data(s));
// [data(s), data(s) + size(s)] garantizado ser cadena de bytes terminada en nulo
std::cout << a;
}
Salida:
Hola mundo
Véase también
(C++20) |
Obtiene un puntero al inicio de un rango contiguo de solo lectura (objeto punto de personalización) |
(C++20) |
Devuelve un iterador al principio de un rango. (objeto punto de personalización) |
(C++17) |
Obtiene el puntero al array subyacente. (plantilla de función) |