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

来自cppreference.com
< cpp‎ | ranges‎ | subrange
 
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) 分别在 N == 0 或 N == 1 时从 subrange 左值（或 const 右值）获得迭代器或哨位。
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; // OK
//  *std::get<2>(sub_a) = 13; // 错误：索引只能是 0 或 1
}

输出： 

-2 -4

[编辑] 缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
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 获取到实部或虚部的引用
(函数模板) [编辑]
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/ranges/subrange/get&oldid=94994”