命名空间
变体
操作

std::ranges::views::as_rvalue,std::ranges::as_rvalue_view

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

    requires ranges::input_range<V>
class as_rvalue_view

    : public ranges::view_interface<as_rvalue_view<V>>
(1) (自 C++23 起)
namespace views {

    inline constexpr /* 未指定 */ as_rvalue = /* 未指定 */;

}
(2) (自 C++23 起)
调用签名
template< ranges::viewable_range R >

    requires /* 见下文 */

constexpr ranges::view auto as_rvalue( R&& r );
(自 C++23 起)
1) 一个范围适配器,它表示一个基础 view 的视图,其元素为右值。
2) RangeAdaptorObject。令 e 为一个子表达式,令 Tdecltype((e))。那么表达式 views::as_rvalue(e)

内容

[编辑] 数据成员

成员对象 定义
base_ (私有) 类型为 V 的基础视图。
(仅供说明的成员对象*)

[编辑] 成员函数

构造一个 as_rvalue_view
(公共成员函数)
返回基础视图 V
(公共成员函数)
返回 as_rvalue_view 的开始迭代器
(公共成员函数)
返回 as_rvalue_view 的结束迭代器
(公共成员函数)
如果它是有限的,则返回视图的大小
(公共成员函数)
std::ranges::view_interface 继承而来
返回派生视图是否为空。如果它满足 sized_rangeforward_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_rangecommon_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>> =

    ranges::enable_borrowed_range<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 过去接受非输入范围 被拒绝

[编辑] 另请参阅

反解为右值的迭代器适配器
(类模板) [编辑]
用于 std::move_iterator 的哨兵适配器
(类模板) [编辑]
view 转换为 constant_range
(类模板) (范围适配器对象)[编辑]