integer_sequence クラス

整数のシーケンスを表します。 このクラスを使用して、関数に引数として渡される std::tuple<T...> などの可変個引数型のパラメーター パックを推測および拡大できます。

構文

template <class T, T... Vals>
struct integer_sequence

パラメーター

T
値の型。整数型である必要があります (bool、char、char16_t、char32_t、wchar_t、符号付きまたは符号なしの整数型)。

Vals
整数型 T の値のシーケンスを表す非型パラメーター パック。

メンバー

名前	説明
static size_t size() noexcept	シーケンス内の要素の数。
typedef T value_type	シーケンス内の各要素の型。 整数型である必要があります。

解説

関数に直接渡されるパラメーター パックは、特別なライブラリ ヘルパーなしでアンパックできます。 パラメーター パックが関数に渡される型の一部であるときに要素にアクセスするためにインデックスが必要な場合、これをアンパックする最も簡単な方法は、integer_sequence とその関連する型のエイリアス make_integer_sequence、index_sequence、make_index_sequence、index_sequence_for を使用する方法です。

例

次の例は、N3658 に関する記事を原案としています。 この例では、integer_sequence を使用して std::array<T,N> から std::tuple を作成する方法と、integer_sequence を使用してタプルのメンバーにアクセスする方法を示しています。

a2t 関数の index_sequence は、size_t 整数型に基づく integer_sequence のエイリアスです。 make_index_sequence は、0 から始まり、呼び出し元によって渡される配列と同じ数の要素を持つ index_sequence をコンパイル時に作成するエイリアスです。 a2t は値によって index_sequence を a2t_ に渡します。ここで、式 a[I]... により I がアンパックされ、要素が make_tuple に渡されます。ここで、要素が個々の引数として使用されます。 たとえば、シーケンスに 3 つの要素が含まれる場合、make_tuple は make_tuple(a[0], a[1], a[2]) として呼び出されます。 もちろん、配列の要素は任意の型を持つことができます。

apply 関数は、std::tuple を受け取り、tuple_size ヘルパー クラスを使用して integer_sequence を生成します。 tuple_size は参照型に対応しないため、std::decay_t が必要であることに注意してください。 apply_ 関数がタプルのメンバーをアンパックし、別個の引数として関数呼び出しに転送します。 この例の関数は、値を印刷する単純なラムダ式です。

#include <stddef.h>
#include <iostream>
#include <tuple>
#include <utility>
#include <array>
#include <string>

using namespace std;

// Create a tuple from the array and the index_sequence
template<typename Array, size_t... I>
auto a2t_(const Array& a, index_sequence<I...>)
{
    return make_tuple(a[I]...);
}

// Create an index sequence for the array, and pass it to the
// implementation function a2t_
template<typename T, size_t N>
auto a2t(const array<T, N>& a)
{
    return a2t_(a, make_index_sequence<N>());
}

// Call function F with the tuple members as separate arguments.
template<typename F, typename Tuple = tuple<T...>, size_t... I>
decltype(auto) apply_(F&& f, Tuple&& args, index_sequence<I...>)
{
    return forward<F>(f)(get<I>(forward<Tuple>(args))...);
}

// Create an index_sequence for the tuple, and pass it with the
// function object and the tuple to the implementation function apply_
template<typename F, typename Tuple = tuple<T...>>
decltype(auto) apply(F&& f, Tuple&& args)
{
    using Indices = make_index_sequence<tuple_size<decay_t<Tuple>>::value >;
    return apply_(forward<F>(f), forward<Tuple>(args), Indices());
}

int main()
{
    const array<string, 3> arr { "Hello", "from", "C++14" };

    //Create a tuple given a array
    auto tup = a2t(arr);

    // Extract the tuple elements
    apply([](const string& a, const string& b, const string& c) {cout << a << " " << b << " " << c << endl; }, tup);

    char c;
    cin >> c;
}

index_sequence をパラメーター パック用に設定するために index_sequence_for<T...> を使用していますが、これは make_index_sequence<sizeof...(T)> のエイリアスです。

要件

ヘッダー: <type_traits>

Namespace: std

関連項目

省略記号と可変個引数のテンプレート