命名空间
变体
操作

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

来自 cppreference.com
< cpp‎ | 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 == 0N == 1 时,分别从 subrange 左值(或常量右值)中获取迭代器或哨兵。
2)(1) 相同,除了它获取一个非常量 subrange 右值。
3) 重载 (1,2) 被导入到命名空间 std 中,这简化了它们的用法,并使每个具有可复制迭代器的 subrange 成为一个类元组类型。

内容

[编辑] 参数

r - 一个 subrange

[编辑] 返回值

1,2) 如果 N0,则返回 r.begin()。否则(N1),则返回 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; // Error: index can only be 0 or 1
}

输出

-2 -4

[编辑] 缺陷报告

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

DR 应用于 发布的行为 正确行为
LWG 3589 C++20 重载 (1) 复制 begin_ 如果 N0,但 I 可能不会建模 copyable 添加约束

[编辑] 另请参阅

结构化绑定 (C++17) 将指定名称绑定到初始化程序的子对象或元组元素[编辑]
元组访问指定元素
(函数模板) [编辑]
访问pair中的元素
(函数模板) [编辑]
访问array中的元素
(函数模板) [编辑]
读取给定索引或类型(如果类型是唯一的)的变体值,在错误时抛出异常
(函数模板) [编辑]
std::complex 获取对实部或虚部的引用
(函数模板) [编辑]