Namespaces
Variants

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

    来自 zh.cppreference.net
     
    C++
     
    范围库
    范围适配器
     
    定义于头文件 <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 /* unspecified */ as_const = /* unspecified */;
}
    		(2) (自 C++23 起)
    调用签名
    		 
    template< ranges::viewable_range R >
    requires /* see below */
constexpr ranges::view auto as_const( R&& r );
    		(自 C++23 起)
    1) 一个范围适配器，它表示底层 view 的视图，该视图也是一个 constant_range。一个 as_const_view 始终具有只读元素（如果不为空）。
    2) RangeAdaptorObject。令 e 为一个子表达式，令 T 为 decltype((e))，并令 U 为 std::remove_cvref_t<T>。那么表达式 views::as_const(e) 是 表达式等价的 到：
    • views::all(e)，如果它是良构的表达式且 views::all_t<T> 满足 constant_range；
    • 否则，std::span<const X, Extent>(e) 对于某个类型 X和某个长度 Extent 如果 U 表示 std::span<X, Extent>；
    • 否则，ranges::ref_view(static_cast<const X&>(e.base())) 如果 U 表示 ranges::ref_view<X> 对于某个类型 X 且 const X 满足 constant_range；
    • 否则，ranges::ref_view(static_cast<const U&>(e)) 如果 e 是左值，const U 满足 constant_range，且 U 不满足 view。
    • 否则，as_const_view{e}。

    as_const_view 始终满足 constant_range，且它满足 contiguous_range、random_access_range、bidirectional_range、forward_range、borrowed_range、common_range和 sized_range 当底层视图 V 满足相应概念时。

    数据成员

    成员 描述
    V base_ (私有) 底层视图
    ( 仅用于说明的成员对象* )

    成员函数

    		构造 as_const_view
    (公开成员函数)
    		返回底层视图 V
    (公开成员函数)
    		返回 as_const_view 的起始迭代器
    (公开成员函数)
    		返回 as_const_view 的结束迭代器
    (公开成员函数)
    		返回视图的大小（若为有界范围）
    (公开成员函数)
    (C++26)
    		返回底层 approximately_sized_range 的近似大小
    (公开成员函数)
    继承自 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> 的公开成员函数）
    		获取派生视图数据的地址，仅当其迭代器类型满足 contiguous_iterator
    时提供（std::ranges::view_interface<D> 的公开成员函数）
    		返回派生视图中的第一个元素，当它满足 forward_range
    时提供（std::ranges::view_interface<D> 的公开成员函数）
    		返回派生视图中的最后一个元素，仅当它满足 bidirectional_range 和 common_range
    时提供（std::ranges::view_interface<D> 的公开成员函数）
    		返回派生视图中的第nth元素，仅当它满足 random_access_range
    时提供（std::ranges::view_interface<D> 的公开成员函数）

    std::ranges::as_const_view:: as_const_view

    as_const_view ( ) requires std:: default_initializable < V > = default ;
    		(1) (since C++23)
    constexpr explicit as_const_view ( V base ) ;
    		(2) (since 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) (since C++23)
    constexpr V base ( ) && ;
    		(2) (since C++23)

    返回底层视图。

    1) 通过复制构造从底层视图返回结果。等价于 return base_  ; 。
    2) 通过移动构造从底层视图返回结果。等价于 return std :: move ( base_  ) ; 。

    std::ranges::as_const_view:: begin

    constexpr auto begin ( ) requires ( ! /*simple_view*/ < V > ) ;
    		(1) (since C++23)
    constexpr auto begin ( ) const requires ranges:: range < const V > ;
    		(2) (since C++23)

    返回该视图的常量迭代器。等价于 return ranges:: cbegin ( base_  ) ; 。

    std::ranges::as_const_view:: end

    constexpr auto end ( ) requires ( ! /*simple_view*/ < V > ) ;
    		(1) (since C++23)
    constexpr auto end ( ) const requires ranges:: range < const V > ;
    		(2) (since C++23)

    返回该视图的常量哨位。等价于 return ranges:: cend ( base_  ) ; 。

    std::ranges::as_const_view:: size

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

    当视图为有界时返回其大小。等价于 return ranges:: size ( base_  ) ; 。

    std::ranges::as_rvalue_view:: reserve_hint

    constexpr auto reserve_hint ( )
    requires ranges :: approximately_sized_range < V > ;
    		(1) (since C++26)
    constexpr auto reserve_hint ( ) const
    requires ranges :: approximately_sized_range < const V > ;
    		(2) (since C++26)

    返回 ranges :: reserve_hint ( base_  ) 。

    推导指引

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

    辅助模板

    template < class T >

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

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

    此 ranges::enable_borrowed_range 的特化使得 as_const_view 在底层视图满足 borrowed_range 时同样满足该概念。

    注释

    功能测试 宏 值 标准 功能特性
    __cpp_lib_ranges_as_const 202207L (C++23) ranges::as_const_view , std:: const_iterator
    __cpp_lib_ranges_reserve_hint 202502L (C++26) ranges::approximately_sized_range and reserve_hint

    示例

    运行此代码 
    #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]++; // 正常，可以修改非常量元素
    auto v2 = x | std::views::drop(2) | std::views::as_const;
    assert(v2.back() == 5);
    // v2[0]++; // 编译时错误，无法修改只读元素
}

    参见

    (C++23)
    		将序列中每个元素转换为右值的 view
    (类模板) (范围适配器对象)
    (C++20)
    		返回指向只读范围起始位置的迭代器
    (定制点对象)
    (C++20)
    		返回指示只读范围结束的哨兵
    (定制点对象)
    (C++17)
    		获取指向其参数的 const 引用
    (函数模板)
    (C++23)
    		将迭代器转换为常量迭代器的迭代器适配器
    (类模板)