命名空间
变体
操作

std::ranges::views::as_const,std::ranges::as_const_view

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

    requires ranges::input_range<V>
class as_const_view

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

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

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

    requires /* 见下文 */

constexpr ranges::view auto as_const( R&& r );
(自 C++23 起)
1) 一个范围适配器,它表示一个底层 view 的视图,该视图也是一个 constant_range。一个 as_const_view 总是具有只读元素(如果它不是空的)。
2) RangeAdaptorObject。令 e 为一个子表达式,令 Tdecltype((e)),令 Ustd::remove_cvref_t<T>。那么表达式 views::as_const(e)

as_const_view 总是模仿 constant_range,它模仿 contiguous_rangerandom_access_rangebidirectional_rangeforward_rangeborrowed_rangecommon_rangesized_range,当底层视图 V 模仿相应的概念时。

内容

[edit] 数据成员

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

[edit] 成员函数

构造一个 as_const_view
(公共成员函数)
返回底层视图 V
(公共成员函数)
返回 as_const_view 的起始迭代器
(公共成员函数)
返回 as_const_view 的结束迭代器
(公共成员函数)
如果视图有界,则返回视图的大小
(公共成员函数)
继承自 std::ranges::view_interface
返回派生视图是否为空。如果满足 sized_rangeforward_range,则提供。
(std::ranges::view_interface<D> 的公共成员函数) [edit]
(C++23)
返回指向范围开头的常量迭代器。
(std::ranges::view_interface<D> 的公共成员函数) [edit]
(C++23)
返回范围的常量迭代器的哨兵。
(std::ranges::view_interface<D> 的公共成员函数) [edit]
返回派生视图是否不为空。如果 ranges::empty 对其适用,则提供。
(std::ranges::view_interface<D> 的公共成员函数) [edit]
获取派生视图数据的地址。如果其迭代器类型满足 contiguous_iterator,则提供。
(std::ranges::view_interface<D> 的公共成员函数) [edit]
返回派生视图中的第一个元素。如果满足 forward_range,则提供。
(std::ranges::view_interface<D> 的公共成员函数) [edit]
返回派生视图中的最后一个元素。如果满足 bidirectional_rangecommon_range,则提供。
(std::ranges::view_interface<D> 的公共成员函数) [edit]
返回派生视图中的第 n 个元素。如果满足 random_access_range,则提供。
(std::ranges::view_interface<D> 的公共成员函数) [edit]

std::ranges::as_const_view::as_const_view

as_const_view() requires std::default_initializable<V> = default;
(1) (自 C++23 起)
constexpr explicit as_const_view( V base );
(2) (自 C++23 起)
1) 通过其默认成员初始化器 ( = V() ) 值初始化 base_
2) 使用 std::move(base) 初始化 base_

参数

base - 视图

std::ranges::as_const_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_const_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) 等效于 return ranges::cbegin(base_);

std::ranges::as_const_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,2) 等效于 return ranges::cend(base_);

std::ranges::as_const_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_);

[edit] 推导指南

template< class R >
as_const_view( R&& ) -> as_const_view<views::all_t<R>>;
(自 C++23 起)

[edit] 辅助模板

template< class T >

constexpr bool enable_borrowed_range<std::ranges::as_const_view<T>> =

    ranges::enable_borrowed_range<T>;
(自 C++23 起)

这个 std::ranges::enable_borrowed_range 的特化使得 as_const_view 在底层视图满足它时满足 borrowed_range

[edit] 备注

特性测试 Std 特性
__cpp_lib_ranges_as_const 202207L (C++23) ranges::as_const_view, std::const_iterator

[edit] 示例

#include <cassert>
#include <ranges>
 
int main()
{
    int x[]{1, 2, 3, 4, 5};
 
    auto v1 = x | std::views::drop(2);
    assert(v1.back() == 5);
    v1[0]++; // OK, can modify non-const element
 
    auto v2 = x | std::views::drop(2) | std::views::as_const;
    assert(v2.back() == 5);
    // v2[0]++; // Compile-time error, cannot modify read-only element
}

[edit] 另请参阅

将每个元素转换为右值的序列的 view
(类模板) (范围适配器对象)[edit]
返回指向只读范围开头的迭代器
(定制点对象)[edit]
返回一个哨兵,指示只读范围的结尾
(定制点对象)[edit]
(C++17)
获取对 const 的引用的参数
(函数模板) [编辑]
将迭代器转换为常量迭代器的迭代器适配器
(类模板) [编辑]