std::ranges::ref_view
来自 cppreference.com
在头文件 <ranges> 中定义 |
||
template< ranges::range R > requires std::is_object_v<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_range 和 common_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>()); } |
(自 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] 另请参阅
(C++11) |
CopyConstructible 和 CopyAssignable 引用包装器 (类模板) |
(C++20) |
一个 view ,它对某个 range 拥有独占所有权(类模板) |
(C++20) |
一个 view ,它包含 range 的所有元素(别名模板) (范围适配器对象) |