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 : public ranges::view_interface<owning_view<R>>		(desde C++20)

See More

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 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)
constexpr const R& base() const & noexcept;	(2)	(desde C++20)
constexpr R&& base() && noexcept;	(3)	(desde C++20)
constexpr const 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

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

Equivalente a return ranges::begin(r_);.

std::ranges::owning_view::end

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

Equivalente a return ranges::end(r_);.

std::ranges::owning_view::empty

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

Equivalente a return ranges::empty(r_);.

std::ranges::owning_view::size

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

Equivalente a return ranges::size(r_);.

std::ranges::owning_view::data

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

Equivalente a return ranges::data(r_);.

Plantillas auxiliares

template<class T> inline constexpr bool 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()
{
    using namespace 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 cadena
    std::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 (const char 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 acuerdo
    assert(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)