Namespaces
Variants

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

    来自 zh.cppreference.net
     
    C++
     
    范围库
    范围适配器
     
    std::ranges::elements_view
    成员函数
    (C++26)
    嵌套类
    迭代器
    哨位
     
    在头文件 <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) 
    namespace views {
    template< std::size_t N >
    constexpr /* unspecified */ elements = /* unspecified */;
}
    		(C++20 起) (2)
    (C++20 起)
    		 
    template< ranges::viewable_range R >
    requires /* see below */
constexpr ranges::view auto elements<N>( R&& r );
    		调用签名
    (C++20 起)
    		 
    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>&>;
    };
    		辅助概念 (3)
    (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) 接受一个viewN 的元组类似值，并生成一个视图，其值类型为被适配视图值类型的第 个元素。
    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) 确保不会返回悬垂引用。

    elements_view 在底层视图 random_access_range、bidirectional_range、forward_range、input_range、common_range 和 sized_range 各自满足对应概念时，其相应模型这些概念。V 模型了各自的概念

    数据成员

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

    成员函数

    		构造一个 elements_view
    (公开成员函数)
    		返回底层（适配的）视图的副本
    (公开成员函数)
    		返回指向起始位置的迭代器
    (公开成员函数)
    		返回指向末尾位置的迭代器或哨兵
    (公开成员函数)
    		返回元素数量，仅当底层（适配的）范围满足 sized_range 时提供
    (公开成员函数)
    (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> 的公开成员函数）
    		返回派生视图中的第一个元素，当它满足 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 >> =

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

    此 ranges::enable_borrowed_range 的特化使得当底层视图满足 borrowed_range 时， elements_view 也满足该概念。

    示例

    运行此代码 
    #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++ 标准。

    缺陷报告 适用范围 发布时行为 正确行为
    LWG 3494 C++20 elements_view 从未是 borrowed_range 当底层视图是 borrowed_range 时
    它才是 borrowed_range
    LWG 3502 C++20 可能从 elements_view 获取悬垂引用 禁止此类用法

    参阅

    (C++20)
    		 接受由类 pair 值组成的视图，并生成每个 pair 的第一个元素的视图
    (类模板) (范围适配器对象)
    (C++20)
    		 接受由类 pair 值组成的视图，并生成每个 pair 的第二个元素的视图
    (类模板) (范围适配器对象)
    (C++23)
    		 一个视图，由指向已适配视图中对应元素的引用元组构成
    (类模板) (定制点对象)
    (C++23)
    		 一个视图，由对已适配视图中对应元素应用变换函数的结果构成
    (类模板) (定制点对象)
    		类似 BLAS 的 valarray 切片：起始索引、长度、步幅
    (类)