命名空间
变体
操作

std::ranges::ref_view

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
在头文件 <ranges> 中定义
template< ranges::range R >

    requires std::is_object_v<R>
class ref_view

    : public ranges::view_interface<ref_view<R>>
(自 C++20 起)

ref_view 是对另一个 range 元素的 view。它包装了对该 range 的引用。

内容

[编辑] 数据成员

成员名称 定义
r_ (私有) 类型为 R* 的指针,指向底层范围。
(仅供说明的成员对象*)

[编辑] 成员函数

构造一个引用给定范围的 ref_view
(公共成员函数)
返回对所引用范围的引用
(公共成员函数)
返回所引用范围的起始迭代器
(公共成员函数)
返回所引用范围的哨兵
(公共成员函数)
检查所引用范围是否为空
(公共成员函数)
返回所引用 sized_range 的大小
(公共成员函数)
返回指向所引用 contiguous_range 开头的指针
(公共成员函数)
std::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_rangecommon_range,则提供。
(std::ranges::view_interface<D> 的公共成员函数) [编辑]
返回派生视图中的第 n 个元素。如果它满足 random_access_range,则提供。
(std::ranges::view_interface<D> 的公共成员函数) [编辑]

std::ranges::ref_view::ref_view

template< /*different-from*/<ref_view> T >

    requires std::convertible_to<T, R&> && requires { _FUN(std::declval<T>()); }

constexpr ref_view( T&& t );
(自 C++20 起)

r_ 初始化为 std::addressof(static_cast<R&>(std::forward<T>(t))).

/*different-from*/<T, U> 当且仅当 std::remove_cvref_t<T>std::remove_cvref_t<U> 不是同一类型时满足,并且 _FUN 的重载声明为 void _FUN(R&); void _FUN(R&&) = delete;.

参数

t - 引用范围

std::ranges::ref_view::base

constexpr R& base() const;
(自 C++20 起)

等效于 return *r_;.

std::ranges::ref_view::begin

constexpr ranges::iterator_t<R> begin() const;
(自 C++20 起)

等效于 return ranges::begin(*r_);.

std::ranges::ref_view::end

constexpr ranges::sentinel_t<R> end() const;
(自 C++20 起)

等效于 return ranges::end(*r_);.

std::ranges::ref_view::empty

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

等效于 return ranges::empty(*r_);.

std::ranges::ref_view::size

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

等效于 return ranges::size(*r_);.

std::ranges::ref_view::data

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

等效于 return ranges::data(*r_);.

[edit] 推导指南

template< class R >
ref_view( R& ) -> ref_view<R>;
(自 C++20 起)

[edit] 辅助模板

template< class T >
constexpr bool enable_borrowed_range<ranges::ref_view<T>> = true;
(自 C++20 起)

这个 std::ranges::enable_borrowed_range 的特化使得 ref_view 满足 borrowed_range.

[edit] 示例

#include <iostream>
#include <ranges>
 
int main()
{
    const std::string s{"cosmos"};
 
    const std::ranges::take_view tv{s, 3};
    const std::ranges::ref_view rv{tv};
 
    std::cout
        << std::boolalpha
        << "call empty() : " << rv.empty() << '\n'
        << "call size()  : " << rv.size() << '\n'
        << "call begin() : " << *rv.begin() << '\n'
        << "call end()   : " << *(rv.end() - 1) << '\n'
        << "call data()  : " << rv.data() << '\n'
        << "call base()  : " << rv.base().size() << '\n' // ~> tv.size()
        << "range-for    : ";
 
    for (const auto c : rv)
        std::cout << c;
    std::cout << '\n';
}

输出

call empty() : false
call size()  : 3
call begin() : c
call end()   : s
call data()  : cosmos
call base()  : 3
range-for    : cos

[edit] 缺陷报告

以下行为更改的缺陷报告被追溯地应用于先前发布的 C++ 标准。

DR 应用于 已发布的行为 正确行为
P2325R3 C++20 默认构造函数提供为 view
必须是 default_initializable
连同该要求一起删除

[edit] 另请参阅

CopyConstructibleCopyAssignable 引用包装器
(类模板) [edit]
一个 view,它对某个 range 拥有独占所有权
(类模板) [edit]
一个 view,它包含 range 的所有元素
(别名模板) (范围适配器对象)[edit]