integer_sequence-Klasse

Artikel
10/12/2023

Stellt eine Ganzzahlsequenz dar. Kann verwendet werden, um Parameterpakete in variadischen Typen wie std::tuple<T...> zu delegieren und zu erweitern, die als Argumente an eine Funktion übergeben werden.

Syntax

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

Parameter

T
Der Typ von Werten; muss sich um einen integralen Typ handeln: „bool“, „char“, „char16_t“, „char32_t“, „wchar_t“ oder signierte oder nicht signierte Ganzzahltypen.

Vals
Ein typenloses Parameterpaket, das eine Sequenz von Werten des integralen Typs T darstellt.

Mitglieder

Name	Beschreibung
`static size_t size() noexcept`	Die Anzahl der Elemente in der Sequenz.
`typedef T value_type`	Der Typ jedes Elements in der Sequenz. Muss ein ganzzahliger Typ sein.

Hinweise

Ein Parameterpaket, das direkt an eine Funktion weitergegeben wird, kann ohne spezielle Bibliothekshilfsprogramme entpackt werden. Wenn ein Parameterpaket Bestandteil eines an eine Funktion weitergegebenen Typs ist und Sie Indizes für den Zugriff auf Elemente benötigen, besteht die einfachste Möglichkeit es zu entpacken darin, integer_sequence und die zugehörigen Typaliase make_integer_sequence, index_sequence, make_index_sequence und index_sequence_for zu verwenden.

Beispiel

Das folgende Beispiel beruht auf dem ursprünglichen Vorschlag N3658. Darin wird die Verwendung von integer_sequence zum Erstellen von std::tuple aus std::array<T,N> und die Verwendung von integer_sequence für den Abruf bei Tupel-Membern gezeigt.

In der Funktion a2t ist index_sequence ein Alias von integer_sequence auf Grundlage des integralen Typs size_t. make_index_sequence ist ein Alias, der zum Zeitpunkt der Kompilierung eine nullbasierte index_sequence mit der gleichen Anzahl an Elementen wie das Array erstellt, das durch den Aufrufer weitergegeben wird. a2t übergibt index_sequence nach Wert an a2t_, wo der Ausdruck a[I]... entpacktI wird. Dann werden die Elemente an make_tuple übergeben, wo sie als einzelne Argumente verwendet werden. Wenn Sie Sequenz beispielsweise drei Elemente enthält, wird make_tuple als „make_tuple(a[0], a[1], a[2])“ aufgerufen. Die Arrayelemente an sich können von einem beliebigen Typ sein.

Die Apply-Funktion akzeptiert ein std::tuple und erzeugt eine integer_sequence mithilfe der tuple_size Hilfsklasse. Beachten Sie, dass std::d ecay_t erforderlich ist, da tuple_size nicht mit Verweistypen funktioniert. Mithilfe der apply_-Funktion werden Tupel-Member entpackt und als getrennte Argumente an einen Funktionsaufruf weitergeleitet. In diesem Beispiel ist die Funktion ein einfacher Lambdaausdruck, der die Werte ausgibt.

#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;
}

Um ein index_sequence Parameterpaket zu erstellen, verwenden Sie index_sequence_for<T...> dies ist ein Alias für make_index_sequence<sizeof... (T)>

Anforderungen

Kopfzeile: <type_traits>

Namespace: std

Siehe auch

Ellipse und variadische Vorlagen

Freigeben über