std::ranges::views::elements,std::ranges::elements_view
定义在头文件 <ranges> 中 |
||
template< ranges::input_range V, std::size_t N > requires ranges::view<V> && |
(1) | (自 C++20 起) |
namespace views { template< std::size_t N > |
(2) | (自 C++20 起) |
调用签名 |
||
template< ranges::viewable_range R > requires /* 见下文 */ |
(自 C++20 起) | |
辅助概念 |
||
(3) | ||
template< class T, std::size_t N > concept /*has-tuple-element*/ = |
(直到 C++23 起) (仅供说明*) |
|
template< class T, std::size_t N > concept /*has-tuple-element*/ = |
(自 C++23 起) (仅供说明*) |
|
template< class T, std::size_t N > concept returnable-element = |
(4) | (仅供说明*) |
views::elements
的每个特化都是一个 RangeAdaptorObject。表达式 views::elements<M>(e) 与 elements_view<views::all_t<decltype((e))>, M>{e} 是 表达式等价 的,对于任何合适的子表达式 e 和常量表达式 M。当底层视图 V
符合相应的概念时,elements_view
符合 random_access_range
、bidirectional_range
、forward_range
、input_range
、common_range
和 sized_range
概念。
内容 |
[编辑] 数据成员
成员名称 | 定义 |
base_ (私有) |
类型为 V 的底层(自适应)视图(仅供说明用的成员对象*) |
[编辑] 成员函数
构造一个 elements_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> 的公共成员函数) | |
返回派生视图中的第一个元素。仅当它符合 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, std::size_t N> constexpr bool enable_borrowed_range<std::ranges::elements_view<T, N>> = |
(自 C++20 起) | |
elements_view
的此特化使 ranges::enable_borrowed_range 符合 borrowed_range
,前提是底层视图符合此概念。
[编辑] 示例
#include <iostream> #include <ranges> #include <string> #include <tuple> #include <vector> int main() { const std::vector<std::tuple<int, char, std::string>> vt { {1, 'A', "α"}, {2, 'B', "β"}, {3, 'C', "γ"}, {4, 'D', "δ"}, {5, 'E', "ε"}, }; for (int const e : std::views::elements<0>(vt)) std::cout << e << ' '; std::cout << '\n'; for (char const e : vt | std::views::elements<1>) std::cout << e << ' '; std::cout << '\n'; for (std::string const& e : std::views::elements<2>(vt)) std::cout << e << ' '; std::cout << '\n'; }
输出
1 2 3 4 5 A B C D E α β γ δ ε
[编辑] 缺陷报告
以下行为变更的缺陷报告被追溯应用到以前发布的 C++ 标准。
DR | 应用于 | 发布的行为 | 正确行为 |
---|---|---|---|
LWG 3494 | C++20 | elements_view 从未是 borrowed_range |
它是 borrowed_range 如果其底层视图是 |
LWG 3502 | C++20 | 可以从 elements_view 获取悬空引用 |
此类用法被禁止 |
[编辑] 参见
(C++20) |
接受一个包含成对值的 view ,并生成一个包含每对第一个元素的 view (类模板) (范围自适应对象) |
接受一个包含成对值的 view ,并生成一个包含每对第二个元素的 view (类模板) (范围自适应对象) | |
(C++23) |
一个包含对自适应视图的对应元素的引用的元组的 view (类模板) (定制点对象) |
一个包含对自适应视图的对应元素应用转换函数的结果的 view (类模板) (定制点对象) | |
valarray 的 BLAS 式切片:起始索引、长度、步长 (类) |