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以降)

structured binding のサポートを提供します。

1) subrange 左辺値（または const 右辺値）から、それぞれ N == 0 または N == 1 の場合にイテレータまたはセンチネルを取得します。
2) (1) と同様ですが、非constの subrange 右辺値を取る点が異なります。
3) オーバーロード (1,2) は名前空間 std にインポートされ、これにより使用が簡素化され、コピー可能なイテレータを持つすべての subrange が pair-like 型となります。

目次

パラメータ

r - a 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; // Error: index can only be 0 or 1
}

出力: 

-2 -4

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

DR 適用対象 公開時の動作 正しい動作
LWG 3589 C++20 オーバーロード ( 1 ) は begin_ をコピーする（ N が ​ 0 ​ の場合）、しかし I は copyable をモデル化しない可能性がある 制約を追加

関連項目

Structured binding (C++17) 指定された名前を初期化子の部分オブジェクトまたはタプルの要素にバインドする
(C++11)
タプルの指定された要素にアクセスする
(関数テンプレート)
(C++11)
pair の要素にアクセスする
(関数テンプレート)
(C++11)
array の要素にアクセスする
(関数テンプレート)
(C++17)
インデックスまたは型（型が一意の場合）を指定してvariantの値を読み取り、エラー時には例外をスローする
(関数テンプレート)
(C++26)
std::complex から実部または虚部への参照を取得する
(関数テンプレート)