Namespaces
Variants

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

From cppreference.net
C++
Ranges library
Range adaptors
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) 当 N == 0 或 N == 1 时，分别从 subrange 左值（或常量右值）获取迭代器或哨位。
2) 与 (1) 相同，区别在于它接受一个非常量 subrange 右值。
3) 重载 (1,2) 被导入到命名空间 std 中，这简化了它们的使用，并使每个具有可复制迭代器的 subrange 成为 pair-like 类型。

目录

参数

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 获取实部或虚部的引用
(函数模板)