std::ranges::get(std::ranges::subrange)
ja.cppreference.net より
| ヘッダ <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 左辺値（またはconst右辺値）からイテレータまたはセンチネルを取得します。それぞれ N == 0 または N == 1 の場合です。2) (1) と同じですが、非const
subrange 右辺値を取る点が異なります。パラメータ
| 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
から実部または虚部への参照を取得する
(関数テンプレート) |