std::ranges::views::common, std::ranges::common_view
来自 cppreference.com
定义在头文件 <ranges> 中 |
||
template< ranges::view V > requires (not ranges::common_range<V> and |
(1) | (自 C++20 起) |
namespace views { inline constexpr /* unspecified */ common = /* unspecified */; |
(2) | (自 C++20 起) |
调用签名 |
||
template< ranges::viewable_range R > requires /* see below */ |
(自 C++20 起) | |
2) RangeAdaptorObject。设 e 为子表达式。则表达式 views::common(e) 与
- views::all(e) 相当,如果它是格式良好的表达式,并且 decltype((e)) 模仿
common_range
; - common_view{e} 否则。
内容 |
[编辑] 数据成员
成员名称 | 定义 |
base_ (私有) |
类型为 V 的基础视图。(仅供说明的目的*,实现不需要以这种方式定义实体。此实体的名称未指定。) |
[编辑] 成员函数
构造 common_view (公有成员函数) | |
返回基础(调整后)视图的副本 (公有成员函数) | |
返回指向开始的迭代器 (公有成员函数) | |
返回指向结束的迭代器 (公有成员函数) | |
返回元素数量。仅当基础(调整后)范围满足 sized_range 时提供。(公有成员函数) | |
从 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> 的公共成员函数) |
[编辑] 推导指南
[编辑] 辅助模板
template< class T > constexpr bool enable_borrowed_range<std::ranges::common_view<T>> = |
(自 C++20 起) | |
此 std::ranges::enable_borrowed_range 的特化使 common_view
满足 borrowed_range
,前提是底层视图满足它。
[编辑] 注释
common_view
可用于处理希望迭代器和哨兵类型相同的旧算法。
[编辑] 示例
运行此代码
#include <iostream> #include <iterator> #include <list> #include <numeric> #include <ranges> int main() { auto v1 = {1, 2, 3, 4, 5}; auto i1 = std::counted_iterator{v1.begin(), std::ssize(v1)}; auto r1 = std::ranges::subrange{i1, std::default_sentinel}; // auto e1 = std::accumulate(r1.begin(), r1.end(), 0); // error: "common range" required auto c1 = std::ranges::common_view{r1}; std::cout << "accumulate: " << std::accumulate(c1.begin(), c1.end(), 0) << '\n'; // inherited from ranges::view_interface: std::cout << "c1.front(): " << c1.front() << '\n'; std::cout << "c1.back(): " << c1.back() << '\n'; std::cout << "c1.data(): " << c1.data() << '\n'; std::cout << "c1[0]: " << c1[0] << '\n'; auto v2 = std::list{1, 2, 3, 4, 5}; auto i2 = std::counted_iterator{v2.begin(), std::ssize(v2)}; auto r2 = std::ranges::subrange{i2, std::default_sentinel}; // auto e2 = std::accumulate(r2.begin(), r2.end(), 0); // error: "common range" required auto c2 = std::ranges::common_view{ r2 }; std::cout << "accumulate: " << std::accumulate(c2.begin(), c2.end(), 0) << '\n'; // inherited from ranges::view_interface: std::cout << "c2.front(): " << c2.front() << '\n'; // auto e3 = c2.back(); // error: "bidirectional range" required // auto e4 = c2.data(); // error: "contiguous range" required // auto e5 = c2[0]; // error: "random access range" required }
可能的输出
accumulate: 15 c1.front(): 1 c1.back(): 5 c1.data(): 0x7f19937f00d0 c1[0]: 1 accumulate: 15 c2.front(): 1
[编辑] 缺陷报告
以下行为更改缺陷报告被追溯应用于以前发布的 C++ 标准。
DR | 应用于 | 已发布的行为 | 正确的行为 |
---|---|---|---|
LWG 3494 | C++20 | common_view 从来不是 borrowed_range |
如果其底层视图是,它是一个 borrowed_range |
[编辑] 另请参见
(C++20) |
指定范围具有相同的迭代器和哨兵类型 (概念) |
(C++20) |
将迭代器类型及其哨兵改编为通用迭代器类型 (类模板) |