std::integer_sequence

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ(C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ(C++17)

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

ユーティリティライブラリ

言語サポート 型サポート (基本型、RTTI、型特性) ライブラリの機能テストマクロ (C++20) 動的メモリ管理 プログラムユーティリティ エラー処理 コルーチンサポート(C++20) 可変長引数関数 launder (C++17) initializer_list (C++11) source_location (C++20) 三方比較 (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20) is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

汎用ユーティリティ 日付と時間 関数オブジェクト 書式化ライブラリ(C++20) bitset hash (C++11) integer_sequence (C++14) 関係演算子 (C++20で非推奨) rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>= 整数比較関数 cmp_equalcmp_not_equalcmp_lesscmp_greatercmp_less_thancmp_greater_than (C++20)(C++20)(C++20)(C++20)(C++20)(C++20) in_range (C++20) スワップと型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) forward (C++11) move (C++11) move_if_noexcept (C++11) as_const (C++17) 一般的な語彙の型 pair tuple (C++11) apply (C++17) make_from_tuple (C++17) optional (C++17) any (C++17) variant (C++17) 初等文字列変換 to_chars (C++17) from_chars (C++17) chars_format (C++17)

 

ヘッダ <utility> で定義
template<class T, T... Ints> class integer_sequence;		(C++14以上)

クラステンプレート std::integer_sequence はコンパイル時整数列を表します。 関数テンプレートの引数として使用すると、パラメータパックInts を推定でき、パック展開で使用できます。

テンプレート引数

T	-	整数列の要素のために使用する整数型
...Ints	-	整数列を表す非型パラメータパック

メンバ型

メンバ型	定義
value_type	T

メンバ関数

size [静的]

Ints の要素数を返します (パブリック静的メンバ関数)

std::integer_sequence::size

staticconstexprstd::size_t size()noexcept;

Ints の要素の数を返します。 sizeof...(Ints) と同等です。

引数

(なし)

戻り値

Ints の要素の数。

ヘルパーテンプレート

T が std::size_t である一般的なケースのためにヘルパーエイリアステンプレート std::index_sequence が定義されます。

template<std::size_t... Ints> using index_sequence = std::integer_sequence<std::size_t, Ints...>;

Ints として 0, 1, 2, ..., N-1 を持つ std::integer_sequence および std::index_sequence の作成を簡単にするためにヘルパーエイリアステンプレート std::make_integer_sequence が定義されます。

template<class T, T N> using make_integer_sequence = std::integer_sequence<T, /* a sequence 0, 1, 2, ..., N-1 */>;
template<std::size_t N> using make_index_sequence = make_integer_sequence<std::size_t, N>;

N が負の場合、プログラムは ill-formed です。 N がゼロの場合、示される型は integer_sequence<T> になります。

任意の型のパラメータパックを同じ長さの整数列に変換するためにヘルパーエイリアステンプレート std::index_sequence_for が定義されます。

template<class... T> using index_sequence_for = std::make_index_sequence<sizeof...(T)>;

例

ノート: std::apply の実装例にある別の例も参照してください。

Run this code

#include <tuple>#include <iostream>#include <array>#include <utility>   // Convert array into a tupletemplate<typename Array, std::size_t... I>auto a2t_impl(const Array& a, std::index_sequence<I...>){returnstd::make_tuple(a[I]...);}   template<typename T, std::size_t N, typename Indices = std::make_index_sequence<N>>auto a2t(conststd::array<T, N>& a){return a2t_impl(a, Indices{});}   // pretty-print a tuple   template<class Ch, class Tr, class Tuple, std::size_t... Is>void print_tuple_impl(std::basic_ostream<Ch,Tr>& os, const Tuple& t, std::index_sequence<Is...>){((os <<(Is ==0?"":", ")<< std::get<Is>(t)), ...);}   template<class Ch, class Tr, class... Args>auto& operator<<(std::basic_ostream<Ch, Tr>& os, conststd::tuple<Args...>& t){ os <<"("; print_tuple_impl(os, t, std::index_sequence_for<Args...>{});return os <<")";}   int main(){std::array<int, 4> array ={1,2,3,4};   // convert an array into a tupleauto tuple = a2t(array); static_assert(std::is_same<decltype(tuple), std::tuple<int, int, int, int>>::value, "");   // print it to coutstd::cout<< tuple <<'\n';}

出力:

(1, 2, 3, 4)