◐ Shell
clean mode source ↗

std::ranges::views::as_input, std::ranges::as_input_view - cppreference.com

来自cppreference.com

在标头 <ranges> 定义 

template< ranges::input_range V >
    requires ranges::view<V>
class as_input_view
    : public ranges::view_interface<as_input_view<V>>
(1) (C++26 起) 
namespace views {
    inline constexpr /* 未指明 */ as_input = /* 未指明 */;
}
(2) (C++26 起)

调用签名

 
template< ranges::viewable_range R >
    requires /* see below */
constexpr ranges::view auto as_input( R&& r );
(C++26 起)

因此，as_input_view 永远不会实现比 input_range 更强的范围概念。具体而言，它不实现以下任何概念：

此外，as_input_view 也不实现 common_range。不过，当底层视图 V 实现 borrowed_range、constant_range 和 sized_range 时，它也实现相应概念。

数据成员

成员 描述
V base_ (私有) 底层迭代器
(仅用于阐述的成员对象*)

成员函数

构造一个 as_input_view
(公开成员函数)
返回底层（所适配的）视图的副本
(公开成员函数)
返回指向开头的迭代器
(公开成员函数)
返回指向末尾的迭代器或哨位
(公开成员函数)
返回元素数量。仅当底层（所适配的）范围满足 sized_range 时提供。
(公开成员函数)
继承自 ranges::view_interface
返回视图是否为空，仅当视图满足 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> 的公开成员函数) [编辑]
返回派生视图的数据的地址，仅当视图的迭代器类型满足 contiguous_iterator 时提供
(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_input_view::as_input_view

as_input_view() requires std::default_initializable<V> = default;
(1) (C++26 起) 
constexpr explicit as_input_view( V base );
(2) (C++26 起)

1) 以默认成员初始化器（= V()）对 base_ 值初始化。

2) 以 std::move(base) 初始化 base_。

参数

std::ranges::as_input_view::base

constexpr V base() const& requires std::copy_constructible<V>;
(1) (C++26 起)
(2) (C++26 起)

1) 从底层视图进行复制构造。等价于 return base_;。

2) 从底层视图进行移动构造。等价于 return std::move(base_);。

std::ranges::as_input_view::begin

constexpr auto begin() requires (!__simple_view<V>);
(1) (C++26 起) 
constexpr auto begin() const requires ranges::range<const V>;
(2) (C++26 起)

1) 等价于 return /*iterator*/<false>(ranges::begin(base_));

2) 等价于 return /*iterator*/<true>(ranges::begin(base_));

std::ranges::as_input_view::end

constexpr auto end() requires (!__simple_view<V>);
(1) (C++26 起) 
constexpr auto end() const requires ranges::range<const V>;
(2) (C++26 起)

1,2) 等价于 return ranges::end(base_);

std::ranges::as_input_view::size

constexpr auto size() requires ranges::sized_range<V>;
(1) (C++26 起) 
constexpr auto size() const requires ranges::sized_range<const V>;
(2) (C++26 起)

1,2) 等价于 return ranges::size(base_);

推到指引

template< class R >
as_input_view( R&& ) -> as_input_view<views::all_t<R>>;
(C++26 起)

嵌套类

辅助模板

template< class T >
constexpr bool enable_borrowed_range<std::ranges::as_input_view<T>> =
    ranges::enable_borrowed_range<T>;
(C++26 起)

这个 std::ranges::enable_borrowed_range 的特化使得当底层视图满足 borrowed_range 时，as_input_view 也满足该概念。

注解

as_input_view 可用于避免为了支持更强大迭代器所需的操作而带来的开销。

功能特性测试宏 值 标准 功能特性
__cpp_lib_ranges_as_input 202502L (C++26) std::ranges::as_input_view

示例

参阅