Namespaces
Variants

    std::ranges::get(std::ranges::subrange)

    来自 zh.cppreference.net
     
    C++
     
    范围库
    范围适配器
     
    std::ranges::subrange
     
    定义于头文件 <ranges> 
    template< std::size_t N, class I, class S, ranges::subrange_kind K >
    requires ((N == 0 && std::copyable<I>) || N == 1)
constexpr auto get( const ranges::subrange<I, S, K>& r );
    		(1) (C++20 起) 
    template< std::size_t N, class I, class S, ranges::subrange_kind K >
    requires (N < 2)
constexpr auto get( ranges::subrange<I, S, K>&& r );
    		(2) (C++20 起) 
    namespace std { using ranges::get; }
    		(3) (C++20 起)

    提供对结构化绑定的支持。

    1) 当 subrange 或 N == 0 时，分别从左值（或 const 右值）N == 1 中获取迭代器或哨位。
    2) 与 (1) 相同，但接受非 const subrange 右值。
    3) (1,2) 的重载被导入到命名空间 std 中，这简化了它们的用法，并使每个具有可复制迭代器的 subrange 成为类对类型。

    参数

    r - 一个 subrange

    返回值

    1,2) 若 N 为 ​ 0 ​ ，则返回 r. begin ( ) ；否则（ N 为 1 ），返回 r. end ( ) 。

    示例

    运行此代码 
    #include <array>
#include <iostream>
#include <iterator>
#include <ranges>
int main()
{
    std::array a{1, -2, 3, -4};
    std::ranges::subrange sub_a{std::next(a.begin()), std::prev(a.end())};
    std::cout << *std::ranges::get<0>(sub_a) << ' '   // 等价于 *(begin(a) + 1)
              << *std::ranges::get<1>(sub_a) << '\n'; // 等价于 *(end(a) - 1)
    *std::get<0>(sub_a) = 42; // 允许操作
//  *std::get<2>(sub_a) = 13; // 错误：索引只能是0或1
}

    输出： 

    -2 -4

    缺陷报告

    下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

    DR 适用范围 发布时的行为 正确行为
    LWG 3589 C++20 重载 ( 1 ) 在 N 为 ​ 0 ​ 时会复制 begin_ ，但 I 可能不满足 copyable 概念 添加约束条件

    参见

    结构化绑定 (C++17) 将指定名称绑定到初始化器的子对象或元组元素
    (C++11)
    		访问元组的指定元素
    (函数模板)
    (C++11)
    		访问 pair 的元素
    (函数模板)
    (C++11)
    		访问 array 的元素
    (函数模板)
    (C++17)
    		通过索引或类型（若类型唯一）读取 variant 的值，错误时抛出异常
    (函数模板)
    (C++26)
    		从 std::complex 获取实部或虚部的引用
    (函数模板)