std::ranges::views::as_const,std::ranges::as_const_view
来自 cppreference.com
定义在头文件 <ranges> 中 |
||
template< ranges::view V > requires ranges::input_range<V> |
(1) | (自 C++23 起) |
namespace views { inline constexpr /* 未指定 */ as_const = /* 未指定 */; |
(2) | (自 C++23 起) |
调用签名 |
||
template< ranges::viewable_range R > requires /* 见下文 */ |
(自 C++23 起) | |
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
模仿相应的概念时。
内容 |
[edit] 数据成员
成员对象 | 定义 |
base_ (私有) |
类型为 V 的底层视图。(仅供说明使用*) |
[edit] 成员函数
构造一个 as_const_view (公共成员函数) | |
返回底层视图 V (公共成员函数) | |
返回 as_const_view 的起始迭代器(公共成员函数) | |
返回 as_const_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> 的公共成员函数) | |
获取派生视图数据的地址。如果其迭代器类型满足 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_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>> = |
(自 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 (类模板) (范围适配器对象) | |
(C++20) |
返回指向只读范围开头的迭代器 (定制点对象) |
(C++20) |
返回一个哨兵,指示只读范围的结尾 (定制点对象) |
(C++17) |
获取对 const 的引用的参数 (函数模板) |
(C++23) |
将迭代器转换为常量迭代器的迭代器适配器 (类模板) |