std::ranges::owning_view

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos(C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación(C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos(C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos(C++17)

Biblioteca de apoyo de concurrencia(C++11)

Biblioteca de apoyo de ejecución(C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca de rangos

Acceso a rangos begin cbegin   end cend rbegin crbegin   rend crend size ssize   data cdata empty

Conversiones de rangos std::from_range_t std::from_range (C++23)(C++23)     to (C++23)

Manejo de iteradores pendientes dangling borrowed_iterator_t borrowed_subrange_t

Primitivas de rangos
range_size_trange_difference_trange_value_t elements_of (C++23)	iterator_tconst_iterator_tsentinel_tconst_sentinel_t (C++23)(C++23)	range_reference_trange_const_reference_trange_rvalue_reference_trange_common_reference_t (C++23)

Conceptos de rangos
range borrowed_range    sized_range	common_range view viewable_range	input_range output_range forward_range	bidirectional_range    random_access_range contiguous_range	constant_range (C++23)

Vistas
view_interface	subrange

Fábricas de rangos
empty_viewviews::empty	single_viewviews::single	basic_istream_viewviews::istream	iota_viewviews::iota	repeat_viewviews::repeat (C++23)(C++23)

Adaptadores de rangos
views::all_tviews::all ref_view owning_view as_rvalue_viewviews::as_rvalue (C++23)(C++23)   filter_viewviews::filter transform_viewviews::transform take_viewviews::take take_while_viewviews::take_while concat_viewviews::concat (C++26)(C++26) views::counted	drop_viewviews::drop drop_while_viewviews::drop_while join_viewviews::join join_with_viewviews::join_with (C++23)(C++23)   lazy_split_viewviews::lazy_split split_viewviews::split common_viewviews::common cache_latest_viewviews::cache_latest (C++26)(C++26)	reverse_viewviews::reverse as_const_viewviews::as_const (C++23)(C++23) elements_viewviews::elements keys_viewviews::keys values_viewviews::values enumerate_viewviews::enumerate (C++23)(C++23) zip_viewviews::zip (C++23)(C++23) zip_transform_viewviews::zip_transform (C++23)(C++23)	adjacent_viewviews::adjacent (C++23)(C++23) views::pairwise (C++23) adjacent_transform_viewviews::adjacent_transform (C++23)(C++23) views::pairwise_transform (C++23) chunk_viewviews::chunk (C++23)(C++23) slide_viewviews::slide (C++23)(C++23) chunk_by_viewviews::chunk_by (C++23)(C++23) stride_viewviews::stride (C++23)(C++23) cartesian_product_viewviews::cartesian_product (C++23)(C++23)

Generadores de rangos std::generator (C++23)

Objetos cierre adaptadores de rangos range_adaptor_closure (C++23)

Objetos adaptadores de rangos

Elementos auxiliares
copyable-box movable-box (hasta C++23)  (C++23)	simple-view non-propagating-cache

 

Definido en el archivo de encabezado <ranges>
template<ranges::range R>     requires std::movable<R>&&(!/*es-lista-de-inicializadores*/<R>) class owning_view :publicranges::view_interface<owning_view<R>>		(desde C++20)

owning_view es una vista (view) que tiene propiedad única de un rango (range). Es de solo movimiento y almacena ese rango (range) dentro de ella..

La constante /*es-lista-de-inicializadores*/<R> en la clúsula requires es true si y solo si std::remove_cvref_t<R> es una especialización de std::initializer_list.

Datos miembro

Las implementaciones típicas de owning_view solo tienen un dato miembro no estático: el rango subyacente de tipo R. El miembro aquí se muestra como r_ (el nombre es solo de exposición).

Funciones miembro

(constructor) (C++20)	Construye un objeto owning_view inicializando por valor o por movimiento el rango almacenado. (función miembro pública)
operator= (C++20)	Asigna por movimiento el rango almacenado. (función miembro pública)
base (C++20)	Devuelve una referencia al rango almacenado. (función miembro pública)
begin (C++20)	Devuelve el iterador al comienzo del rango almacenado. (función miembro pública)
end (C++20)	Devuelve el centinela del rango almacenado. (función miembro pública)
empty (C++20)	Verifica si el rango almacenado está vacío. (función miembro pública)
size (C++20)	Devuelve el tamaño del sized_range almacenado. (función miembro pública)
data (C++20)	Devuelve el puntero al comienzo del contiguous_range almacenado. (función miembro pública)
Heredadas de std::ranges::view_interface
operator bool (C++20)	Devuelve si la vista derivada está vacía o no. Se proporciona si ranges::empty le es aplicable. (función miembro pública de std::ranges::view_interface<D>)
front (C++20)	Devuelve el primer elemento en la vista derivada. Se proporciona si la vista derivada satisface forward_range. (función miembro pública de std::ranges::view_interface<D>)
back (C++20)	Devuelve el último elemento en una vista derivada. Se proporciona si la vista derivada satisface bidirectional_range y common_range. (función miembro pública de std::ranges::view_interface<D>)
operator[] (C++20)	Devuelve el enésimo elemento en la vista derivada. Se proporciona si la vista derivada satisface random_access_range. (función miembro pública de std::ranges::view_interface<D>)

std::ranges::owning_view::owning_view

owning_view() requires std::default_initializable<R>=default;	(1)	(desde C++20)
owning_view( owning_view&& other )=default;	(2)	(desde C++20)
constexpr owning_view( R&& t );	(3)	(desde C++20)
owning_view(const owning_view&)= delete;	(4)	(desde C++20)

1) Constructor por defecto. Inicializa por valor el rango almacenado mediante su inicializador de miembro por defecto (= R()).

2) Constructor de movimiento. Construye por movimiento el rango almacenado a partir de other.

3) Construye por movimiento el rango almacenado a partir de t.

4) El constructor de copia está eliminado. owning_view es de solo movimiento.

Parámetros

other	-	La otra vista owning_view de la que mover.
t	-	El rango del que mover.

std::ranges::owning_view::operator=

owning_view& operator=( owning_view&& other )=default;	(1)	(desde C++20)
owning_view& operator=(const owning_view&)= delete;	(2)	(desde C++20)

1) Operador de asignación de movimiento. Asigna por movimiento el rango almacenado a partir de other.

2) El operador de asignación de copia está eliminado. owning_view es de solo movimiento.

Parámetros

other

-

La otra vista owning_view de la que mover.

Valor de retorno

*this.

std::ranges::owning_view::base

constexpr R& base()&noexcept;	(1)	(desde C++20)
constexprconst R& base()const&noexcept;	(2)	(desde C++20)
constexpr R&& base()&&noexcept;	(3)	(desde C++20)
constexprconst R&& base()const&&noexcept;	(4)	(desde C++20)

Devuelve una referencia al rango almacenado, manteniendo la categoría de valor y la calificación const.

1-2) Equivalente a return r_;.

3-4) Equivalente a return std::move(r_);.

std::ranges::owning_view::begin

constexprranges::iterator_t<R> begin();	(1)	(desde C++20)
constexprauto begin()const requires ranges::range<const R>;	(2)	(desde C++20)

Equivalente a returnranges::begin(r_);.

std::ranges::owning_view::end

constexprranges::sentinel_t<R> end();	(1)	(desde C++20)
constexprauto end()const requires ranges::range<const R>;	(2)	(desde C++20)

Equivalente a returnranges::end(r_);.

std::ranges::owning_view::empty

constexprbool empty() requires requires {ranges::empty(r_);};	(1)	(desde C++20)
constexprbool empty()const requires requires {ranges::empty(r_);};	(2)	(desde C++20)

Equivalente a returnranges::empty(r_);.

std::ranges::owning_view::size

constexprauto size() requires ranges::sized_range<R>;	(1)	(desde C++20)
constexprauto size()const requires ranges::sized_range<const R>;	(2)	(desde C++20)

Equivalente a returnranges::size(r_);.

std::ranges::owning_view::data

constexprauto data() requires ranges::contiguous_range<R>;	(1)	(desde C++20)
constexprauto data()const requires ranges::contiguous_range<const R>;	(2)	(desde C++20)

Equivalente a returnranges::data(r_);.

Plantillas auxiliares

template<class T> inlineconstexprbool enable_borrowed_range<std::ranges::owning_view<T>>=     std::ranges::enable_borrowed_range<T>;		(desde C++20)

Esta especialización de std::ranges::enable_borrowed_range hace que owning_view satisfaga borrowed_range cuando el rango subyacente lo satisface.

Ejemplo

Ejecuta este código

#include <ranges>#include <string>#include <cassert>#include <iostream>   int main(){usingnamespace std::literals; std::ranges::owning_view ov{"cosmos"s };// el tipo deducido de R es std::string;// `ov` es el único dueño de esta cadenastd::cout<<std::boolalpha<<"llamada a empty()  : "<< ov.empty()<<'\n'<<"llamada a size()  : "<< ov.size()<<'\n'<<"llamada a front()  : "<< ov.front()<<'\n'// lo mismo que *(ov.begin())<<"llamada a back()  : "<< ov.back()<<'\n'// igual a *(ov.end()-1)<<"llamada a data()  : "<< ov.data()<<'\n'<<"llamada a base()  : "<< ov.base().size()<<'\n'// ~> ov.size()<<"sizeof(ov)  : "<< sizeof(ov)<<'\n'// típicamente igual a sizeof(R)<<"for basado en rango : \"";   for(constchar c: ov)std::cout<< c;std::cout<<"\"\n";   std::ranges::owning_view<std::string> ov2;assert(ov2.empty());// ov2 = ov; // ERROR: el operador de asignacón de copia está eliminado ov2 = std::move(ov);// de acuerdoassert(ov.empty());assert(ov2.size()==6);}

Posible salida:

llamada a empty()  : false llamada a size()  : 6 llamada a front()  : c llamada a back()  : s llamada a data()  : cosmos llamada a base()  : 6 sizeof(ov)  : 32 for basado en rango : "cosmos"

Véase también

ranges::ref_view (C++20)	Una vista (view) de los elementos de algún otro rango (range). (plantilla de clase)
views::all_tviews::all (C++20)	Una vista (view) que incluye todos los elementos de un rango (range). (plantilla de alias)(objeto adaptador de rango)