Namespaces
Variants

std:: tuple_cat

From cppreference.net
Utilities library
Definiert im Header <tuple>
template < class ... Tuples >
std:: tuple < /* CTypes */ ... > tuple_cat ( Tuples && ... args ) ;
(seit C++11)
(bis C++14)
template < class ... Tuples >
constexpr std:: tuple < /* CTypes */ ... > tuple_cat ( Tuples && ... args ) ;
(seit C++14)
(bis C++23)
template < tuple - like... Tuples >
constexpr std:: tuple < /* CTypes */ ... > tuple_cat ( Tuples && ... args ) ;
(seit C++23)

Konstruiert ein Tupel, das eine Verkettung aller Tupel in args darstellt. Die Elementtypen /* CTypes */ des zurückgegebenen Tupels werden durch Verkettung der Elementtypen-Packs aller std::tuple (bis C++23) tuple-like (seit C++23) -Typen in Tuples in Reihenfolge gebildet.

Das Verhalten ist undefiniert, falls irgendein Typ in std:: decay_t < Tuples > ... keine Spezialisierung von std::tuple ist. Allerdings kann eine Implementierung Typen unterstützen (wie std::array und std::pair ), die dem tuple-ähnlichen Protokoll folgen.

(bis C++23)

Die Typen std:: decay_t < Tuples > ... sind eingeschränkt auf tuple-ähnliche Typen, d.h. jeder darin enthaltene Typ muss eine Spezialisierung von std::tuple oder ein anderer Typ sein (wie std::array und std::pair ), der tuple-like modelliert.

(seit C++23)

Wenn irgendein Typ in /* CTypes */ nicht aus dem Typ des entsprechenden Elements in der Sequenz der verketteten Elemente aus args konstruierbar ist, ist das Verhalten undefiniert (bis C++23) ist das Programm fehlerhaft (seit C++23) .

Inhaltsverzeichnis

Parameter

args - null oder mehrere Tupel zum Verketten

Rückgabewert

Ein std::tuple -Objekt, das aus allen Elementen aller Argument-Tupel zusammengesetzt ist, konstruiert aus std :: get < j > ( std:: forward < Ti > ( arg ) ) für jedes einzelne Element.

Beispiel

#include <iostream>
#include <string>
#include <tuple>
// Hilfsfunktion zur Ausgabe eines Tupels beliebiger Größe
template<class Tuple, std::size_t N>
struct TuplePrinter
{
    static void print(const Tuple& t)
    {
        TuplePrinter<Tuple, N - 1>::print(t);
        std::cout << ", " << std::get<N-1>(t);
    }
};
template<class Tuple>
struct TuplePrinter<Tuple, 1>
{
    static void print(const Tuple& t)
    {
        std::cout << std::get<0>(t);
    }
};
template<typename... Args, std::enable_if_t<sizeof...(Args) == 0, int> = 0>
void print(const std::tuple<Args...>& t)
{
    std::cout << "()\n";
}
template<typename... Args, std::enable_if_t<sizeof...(Args) != 0, int> = 0>
void print(const std::tuple<Args...>& t)
{
    std::cout << "(";
    TuplePrinter<decltype(t), sizeof...(Args)>::print(t);
    std::cout << ")\n";
}
// Ende der Hilfsfunktion
int main()
{
    std::tuple<int, std::string, float> t1(10, "Test", 3.14);
    int n = 7;
    auto t2 = std::tuple_cat(t1, std::make_tuple("Foo", "bar"), t1, std::tie(n));
    n = 42;
    print(t2);
}

Ausgabe:

(10, Test, 3.14, Foo, bar, 10, Test, 3.14, 42)

Siehe auch

(C++11)
erstellt ein tuple -Objekt des durch die Argumenttypen definierten Typs
(Funktions-Template)
(C++11)
erstellt ein tuple von Lvalue-Referenzen oder entpackt ein Tupel in einzelne Objekte
(Funktions-Template)
erstellt ein tuple von Forwarding-Referenzen
(Funktions-Template)