std::ranges::ref_view

在标头 `<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` (公开成员函数)
base	返回到被引用范围的引用 (公开成员函数)
begin	返回被引用范围的起始迭代器 (公开成员函数)
end	返回被引用范围的哨位 (公开成员函数)
empty	检查被引用范围是否为空 (公开成员函数)
size	返回被引用 `sized_range` 的大小 (公开成员函数)
data	返回指向被引用 `contiguous_range` 起始的指针 (公开成员函数)
继承自 std::ranges::view_interface
cbegin (C++23)	返回指向范围起始的常量迭代器。 (`std::ranges::view_interface<D>` 的公开成员函数)
cend (C++23)	返回对应于范围常量迭代器的哨位。 (`std::ranges::view_interface<D>` 的公开成员函数)
operator bool	返回派生视图是否为非空。仅当 ranges::empty 可应用于它时提供。 (`std::ranges::view_interface<D>` 的公开成员函数)
front	返回派生视图中的首元素。仅当视图满足 `forward_range` 时提供。 (`std::ranges::view_interface<D>` 的公开成员函数)
back	返回派生视图中的末元素。仅当视图满足 `bidirectional_range` 与 `common_range` 时提供。 (`std::ranges::view_interface<D>` 的公开成员函数)
operator[]	返回派生视图中的第 `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 起)

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

/*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_);。

推导指引

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

辅助模板

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

std::ranges::enable_borrowed_range 的此特化使得 ref_view 满足 borrowed_range。

示例

运行此代码

#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
        << "调用 empty() : " << rv.empty() << '\n'
        << "调用 size()  : " << rv.size() << '\n'
        << "调用 begin() : " << *rv.begin() << '\n'
        << "调用 end()   : " << *(rv.end()-1) << '\n'
        << "调用 data()  : " << rv.data() << '\n'
        << "调用 base()  : " << rv.base().size() << '\n' // ~> tv.size()
        << "范围 for     : ";
 
    for (const auto c: rv) { std::cout << c; }
    std::cout << '\n';
}

输出：

调用 empty() : false
调用 size()  : 3
调用 begin() : c
调用 end()   : s
调用 data()  : cosmos
调用 base()  : 3
范围 for     : cos

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
P2325R3	C++20	由于 `view` 必须为 `default_initializable` 提供了默认构造函数	与该要求一同移除

参阅

reference_wrapper (C++11)	可复制构造 (CopyConstructible) 且可复制赋值 (CopyAssignable) 的引用包装器 (类模板)
ranges::owning_view (C++20)	拥有某 `range` 的独占所有权的 `view` (类模板)
views::all_tviews::all (C++20)	包含 `range` 的所有元素的 `view` (别名模板) (范围适配器对象)

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库