std::ranges::owning_view

来自cppreference.com
 
C++
 
范围库
范围适配器
 
在标头 <ranges> 定义 
template< ranges::range R >
    requires std::movable<R> && (!/*is-initializer-list*/<R>)
class owning_view
    : public ranges::view_interface<owning_view<R>>
(C++20 起)

owning_view 是拥有 range 的独占所有权的 view。它仅可移动，并在其内部存储该 range。

requires 子句中的常量 /*is-initializer-list*/<R>，当且仅当 std::remove_cvref_t<R> 是 std::initializer_list 的特化时是 true。

数据成员

成员 描述
R r_ 底层范围
(仅用于阐述的成员对象*)

成员函数

 通过值初始化或移动构造存储的范围来构造 owning_view
(公开成员函数)
移动赋值存储的范围
(公开成员函数)
返回到存储的范围的引用
(公开成员函数)
返回存储的范围的起始迭代器
(公开成员函数)
返回存储的范围的哨位
(公开成员函数)
检查存储的范围是否为空
(公开成员函数)
返回存储的 sized_range 的大小
(公开成员函数)
(C++26)
 返回存储的大致大小 approximately_sized_range
(公开成员函数)
返回存储的 contiguous_range 起始的指针
(公开成员函数)
继承自 ranges::view_interface
(C++23)
 返回指向范围起始的常量迭代器
(std::ranges::view_interface<D> 的公开成员函数) [编辑]
(C++23)
 返回对应于范围常量迭代器的哨位
(std::ranges::view_interface<D> 的公开成员函数) [编辑]
返回派生视图是否为非空，仅当 ranges::empty 可应用于它时提供
(std::ranges::view_interface<D> 的公开成员函数) [编辑]
返回派生视图中的首元素，仅当视图满足 forward_range 时提供
(std::ranges::view_interface<D> 的公开成员函数) [编辑]
返回派生视图中的末元素，仅当视图满足 bidirectional_range 与 common_range 时提供
(std::ranges::view_interface<D> 的公开成员函数) [编辑]
返回派生视图中的第 n 个元素，仅当视图满足 random_access_range 时提供
(std::ranges::view_interface<D> 的公开成员函数) [编辑]

std::ranges::owning_view::owning_view

owning_view() requires std::default_initializable<R> = default;
(1) (C++20 起) 
owning_view( owning_view&& other ) = default;
(2) (C++20 起) 
constexpr owning_view( R&& t );
(3) (C++20 起)
1) 默认构造函数。由其默认成员初始化器（= R()）值初始化 r_。
2) 移动构造函数。从 other 的存储范围移动构造 r_。
3) 从 t 移动构造 r_。

参数

other - 要从之移动的另一 owning_view
t - 要移动的范围

注解

owning_view 没有显式定义复制构造函数。owning_view 仅可移动。

std::ranges::owning_view::operator=

owning_view& operator=( owning_view&& other ) = default;
(C++20 起)

移动赋值运算符。从 other 的存储范围移动赋值存储范围。

参数

other - 要从之移动的另一 owning_view

返回值

*this

注解

owning_view 没有显式定义复制赋值运算符。owning_view 仅可移动。

std::ranges::owning_view::base

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

返回到存储的范围的引用，保持其值类别与 const 限定。

返回值

1,2) r_
3,4) std::move(r_ )

std::ranges::owning_view::begin

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

返回 ranges::begin(r_ )。

std::ranges::owning_view::end

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

返回 ranges::end(r_ )。

std::ranges::owning_view::empty

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

返回 ranges::empty(r_ )。

std::ranges::owning_view::size

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

返回 ranges::size(r_ )。

std::ranges::owning_view::reserve_hint

constexpr auto reserve_hint()
    requires ranges::approximately_sized_range<R>;
(1) (C++26 起) 
constexpr auto reserve_hint() const
    requires ranges::approximately_sized_range<const R>;
(2) (C++26 起)

返回 ranges::reserve_hint(r_ )。

std::ranges::owning_view::data

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

返回 ranges::data(r_ )。

辅助模板

template<class T>
constexpr bool enable_borrowed_range<std::ranges::owning_view<T>> =
    ranges::enable_borrowed_range<T>;
(C++20 起)

ranges::enable_borrowed_range 的此特化使得 owning_view 在底层范围满足 borrowed_range 时满足它。

注解

功能特性测试宏 值 标准 功能特性
__cpp_lib_ranges_reserve_hint 202502L (C++26) ranges::approximately_sized_range 与 reserve_hint

示例

运行此代码
#include <cassert>
#include <iostream>
#include <ranges>
#include <string>

int main()
{
    using namespace std::literals;
    std::ranges::owning_view ov{"cosmos"s}; // 推导的 R 类型是 std::string；
                                            // “ov” 是此字符串的唯一所有者
    assert(
        ov.empty() == false &&
        ov.size() == 6 &&
        ov.size() == ov.base().size() &&
        ov.front() == 'c' &&
        ov.front() == *ov.begin() &&
        ov.back() == 's' &&
        ov.back() == *(ov.end() - 1) &&
        ov.data() == ov.base()
    );
    
    std::cout << "sizeof(ov)：" << sizeof ov << '\n' // 通常等于 sizeof(R)
              << "范围 for：";
    for (const char ch: ov)
        std::cout << ch;
    std::cout << '\n';
    
    std::ranges::owning_view<std::string> ov2;
    assert(ov2.empty());
//  ov2 = ov; // 编译时错误：复制赋值运算符被弃置
    ov2 = std::move(ov); // OK
    assert(ov2.size() == 6);
}

可能的输出： 

sizeof(ov)：32
范围 for：cosmos

参阅

(C++20)
 某个其他 range 的元素的 view
(类模板) [编辑]
(C++20)
 包含 range 的所有元素的 view
(别名模板) (范围适配器对象) [编辑]