命名空间
变体
操作

std::ranges::views::elements,std::ranges::elements_view

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

    requires ranges::view<V> &&
             /*has-tuple-element*/<ranges::range_value_t<V>, N> &&
             /*has-tuple-element*/<std::remove_reference_t<
                                       ranges::range_reference_t<V>>, N> &&
             /*returnable-element*/<ranges::range_reference_t<V>, N>
class elements_view

    : public ranges::view_interface<elements_view<V, N>>;
(1) (自 C++20 起)
namespace views {

    template< std::size_t N >
    constexpr /* 未指定 */ elements = /* 未指定 */;

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

    requires /* 见下文 */

constexpr ranges::view auto elements<N>( R&& r );
(自 C++20 起)
辅助概念
(3)
template< class T, std::size_t N >

concept /*has-tuple-element*/ =
    requires(T t) {
        typename std::tuple_size<T>::type;
        requires N < std::tuple_size_v<T>;
        typename std::tuple_element_t<N, T>;
        { std::get<N>(t) } -> std::convertible_to<
                                  const std::tuple_element_t<N, T>&>;

    };
(直到 C++23 起)
(仅供说明*)
template< class T, std::size_t N >

concept /*has-tuple-element*/ =

    /*tuple-like*/<T> && N < std::tuple_size_v<T>
(自 C++23 起)
(仅供说明*)
template< class T, std::size_t N >

concept returnable-element =
     std::is_reference_v<T> || std::move_constructible<

                                       std::tuple_element_t<N, T>>;
(4) (仅供说明*)
1) 接受一个类似元组值的 view,并发出一个值类型为适配视图的值类型中的第 N 个元素的视图。
2) views::elements 的每个特化都是一个 RangeAdaptorObject。表达式 views::elements<M>(e)elements_view<views::all_t<decltype((e))>, M>{e}表达式等价 的,对于任何合适的子表达式 e 和常量表达式 M
3) 确保底层视图的元素是元组状的值, 见 tuple-like(自 C++23 起).
4) 确保不会返回悬空引用。

当底层视图 V 符合相应的概念时,elements_view 符合 random_access_rangebidirectional_rangeforward_rangeinput_rangecommon_rangesized_range 概念。

内容

[编辑] 数据成员

成员名称 定义
base_ (私有) 类型为 V 的底层(自适应)视图
(仅供说明用的成员对象*)

[编辑] 成员函数

构造一个 elements_view
(公共成员函数) [编辑]
返回底层(自适应)视图的副本
(公共成员函数) [编辑]
返回指向开头的迭代器
(公共成员函数) [编辑]
返回指向结尾的迭代器或哨兵
(公共成员函数) [编辑]
返回元素数量。仅当底层(自适应)范围符合 sized_range 时提供。
(公共成员函数) [编辑]
std::ranges::view_interface 继承
返回派生视图是否为空。仅当它符合 sized_rangeforward_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_rangecommon_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>> =

    ranges::enable_borrowed_range<T>;
(自 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 获取悬空引用 此类用法被禁止

[编辑] 参见

接受一个包含成对值的 view,并生成一个包含每对第一个元素的 view
(类模板) (范围自适应对象)[编辑]
接受一个包含成对值的 view,并生成一个包含每对第二个元素的 view
(类模板) (范围自适应对象)[编辑]
一个包含对自适应视图的对应元素的引用的元组的 view
(类模板) (定制点对象)[编辑]
一个包含对自适应视图的对应元素应用转换函数的结果的 view
(类模板) (定制点对象)[编辑]
valarray 的 BLAS 式切片:起始索引、长度、步长
(类) [编辑]