std::ranges::views::as_rvalue,std::ranges::as_rvalue_view
来自 cppreference.com
在头文件 <ranges> 中定义 |
||
template< ranges::view V > requires ranges::input_range<V> |
(1) | (自 C++23 起) |
namespace views { inline constexpr /* 未指定 */ as_rvalue = /* 未指定 */; |
(2) | (自 C++23 起) |
调用签名 |
||
template< ranges::viewable_range R > requires /* 见下文 */ |
(自 C++23 起) | |
1) 一个范围适配器,它表示一个基础
view
的视图,其元素为右值。2) RangeAdaptorObject。令 e 为一个子表达式,令 T 为 decltype((e))。那么表达式 views::as_rvalue(e) 与
- views::all(e) 等价,如果它是一个有效的表达式,T 符合
input_range
,并且 std::same_as<ranges::range_rvalue_reference_t<T>, ranges::range_reference_t<T>> 为 true; - as_rvalue_view{e} 否则。
内容 |
[编辑] 数据成员
成员对象 | 定义 |
base_ (私有) |
类型为 V 的基础视图。(仅供说明的成员对象*) |
[编辑] 成员函数
构造一个 as_rvalue_view (公共成员函数) | |
返回基础视图 V (公共成员函数) | |
返回 as_rvalue_view 的开始迭代器(公共成员函数) | |
返回 as_rvalue_view 的结束迭代器(公共成员函数) | |
如果它是有限的,则返回视图的大小 (公共成员函数) | |
从 std::ranges::view_interface 继承而来 | |
返回派生视图是否为空。如果它满足 sized_range 或 forward_range ,则提供。( std::ranges::view_interface<D> 的公共成员函数) | |
(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::as_rvalue_view::as_rvalue_view
as_rvalue_view() requires std::default_initializable<V> = default; |
(1) | (自 C++23 起) |
constexpr explicit as_rvalue_view( V base ); |
(2) | (自 C++23 起) |
1) 通过其默认成员初始化器(= V())值初始化
base_
。2) 使用 std::move(base) 初始化
base_
。参数
base | - | 一个视图 |
std::ranges::as_rvalue_view::base
constexpr V base() const& requires std::copy_constructible<V>; |
(1) | (自 C++23 起) |
constexpr V base() &&; |
(2) | (自 C++23 起) |
返回底层视图。
1) 从底层视图复制构造结果。等效于 return base_;。
2) 从底层视图移动构造结果。等效于 return std::move(base_);。
std::ranges::as_rvalue_view::begin
constexpr auto begin() requires (!/*simple-view*/<V>); |
(1) | (自 C++23 起) |
constexpr auto begin() const requires ranges::range<const V>; |
(2) | (自 C++23 起) |
1,2) 返回 std::move_iterator(ranges::begin(base_))。
std::ranges::as_rvalue_view::end
constexpr auto end() requires (!/*simple-view*/<V>); |
(1) | (自 C++23 起) |
constexpr auto end() const requires ranges::range<const V>; |
(2) | (自 C++23 起) |
1) 如果
V
模型 common_range
,则返回 std::move_iterator(ranges::end(base_)),否则返回 std::move_sentinel(ranges::end(base_))。2) 如果
const V
模型 common_range
,则返回 std::move_iterator(ranges::end(base_)),否则返回 std::move_sentinel(ranges::end(base_))。
std::ranges::as_rvalue_view::size
constexpr auto size() requires ranges::sized_range<V>; |
(1) | (自 C++23 起) |
constexpr auto size() const requires ranges::sized_range<const V>; |
(2) | (自 C++23 起) |
如果视图是有界的,则返回视图的大小。
1,2) 等效于 return ranges::size(base_);
[编辑] 推断指南
template< class R > as_rvalue_view( R&& ) -> as_rvalue_view<views::all_t<R>>; |
(自 C++23 起) | |
[编辑] 辅助模板
template< class T > constexpr bool enable_borrowed_range<std::ranges::as_rvalue_view<T>> = |
(自 C++23 起) | |
std::ranges::enable_borrowed_range
的这种特化使得当底层视图满足它时,as_rvalue_view
满足 borrowed_range
。
[编辑] 备注
特性测试 宏 | 值 | Std | 特性 |
---|---|---|---|
__cpp_lib_ranges_as_rvalue |
202207L | (C++23) | std::ranges::as_rvalue_view
|
[编辑] 示例
本节内容不完整 原因: 示例 |
[编辑] 缺陷报告
以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。
DR | 应用于 | 已发布的行为 | 正确行为 |
---|---|---|---|
LWG 4083 | C++23 | views::as_rvalue 过去接受非输入范围 | 被拒绝 |
[编辑] 另请参阅
(C++11) |
反解为右值的迭代器适配器 (类模板) |
(C++20) |
用于 std::move_iterator 的哨兵适配器 (类模板) |
将 view 转换为 constant_range (类模板) (范围适配器对象) |