std::tuple_size<std::ranges::subrange>
ja.cppreference.net から
| ヘッダ <ranges>
|
||
template< class I, class S, ranges::subrange_kind K >
struct tuple_size<ranges::subrange<I, S, K>>
: std::integral_constant<std::size_t, 2> {};
|
(C++20以上) | |
で定義されます。std::tuple_size の std::ranges::subrange に対する部分特殊化は、subrange のコンポーネント数をコンパイル時に取得する手段を提供します。これは常に 2 であり、タプルライクな構文を使用します。これは構造化束縛をサポートするために提供されています。
std:: integral_constant からの継承
メンバ定数
|
value
[static]
|
定数値 2
(公開静的メンバ定数) |
メンバ関数
|
operator std::size_t
|
オブジェクトを
std::
size_t
に変換し、
value
を返す
(公開メンバ関数) |
|
operator()
(C++14)
|
value
を返す
(公開メンバ関数) |
メンバ型
| 型 | 定義 |
value_type
|
std:: size_t |
type
|
std:: integral_constant < std:: size_t , value > |
例
このコードを実行
#include <array> #include <iostream> #include <iterator> #include <ranges> int main() { static_assert(2 == std::tuple_size_v<std::ranges::subrange<int*, int*>>); using array5 = std::array<int, 5>; static_assert(2 == std::tuple_size<std::ranges::subrange< array5::const_iterator, array5::const_iterator>>{}); constexpr array5 a{1, 2, 3, 4, 5}; std::ranges::subrange sub_a1{a}; for (std::cout << "sub_a1: { "; int e : sub_a1) std::cout << e << ' '; std::cout << "}\n"; std::ranges::subrange sub_a2{std::next(cbegin(a)), std::prev(cend(a))}; const auto [first, last] = sub_a2; std::cout << "sub_a2 size = " << std::distance(first, last) << '\n'; for (std::cout << "sub_a2: { "; int e : sub_a2) std::cout << e << ' '; std::cout << "}\n"; }
出力:
sub_a1: { 1 2 3 4 5 }
sub_a2 size = 3
sub_a2: { 2 3 4 }
関連項目
| 構造化バインディング (C++17) | 指定された名前を初期化子の部分オブジェクトまたはタプルの要素にバインドする |
|
(C++11)
|
タプルライクな型の要素数を取得する
(クラステンプレート) |
|
(C++11)
|
タプルのサイズを取得する
|
|
(C++11)
|
ペアのサイズを取得する
pair
(クラステンプレート特殊化) |
|
(C++11)
|
配列のサイズを取得する
array
(クラステンプレート特殊化) |
|
std::ranges::subrange
のイテレータまたはセンチネルの型を取得する
(クラステンプレート特殊化) |