std::integer_sequence
definiert in Header <utility> | ||
template<class T, T... Ints> class integer_sequence; | (seit C++14) | |
Das Klassentemplate std::integer_sequence stellt eine Sequenz von Ganzzahlwerten zur Kompilationszeit dar. Wenn es als Argument eines FunktionsTemplates benutzt wird, kann der ParameterpackInts ermittelt werden und kann im Zusammenhang mit der Entfaltung des Packs benutzt werden.
Inhaltsverzeichnis |
[Bearbeiten] Templateparameter
| T | - | ein Ganzzahltyp zur Verwendung für die Elemente der Sequenz |
| ...Ints | - | ein typenloser Parameterpack, die die Sequenz darstellt |
[Bearbeiten] Klassentypen
| Klassentyp | Definition |
value_type | T |
[Bearbeiten] Methoden
size [statisch] | gibt die Anzahl von Elementen in Ints zurück (public static Elementfunktion) |
std::integer_sequence::size
staticconstexprstd::size_t size()noexcept; | ||
Die Method gibt die Anzahl von Elementen in Ints zurück. Dieses ist äquivalent zu sizeof...(Ints)
Parameter
(none)
Rückgabewert
Anzahl von Elementen in Ints
[Bearbeiten] Hilfstemplates
Ein Hilfstemplate std::index_sequence ist definiert für den häufig vorkommenden Fall, bei dem Tstd::size_t ist:
template<std::size_t... Ints> using index_sequence = std::integer_sequence<std::size_t, Ints...>; | ||
Hilfstemplates std::make_integer_sequence und std::make_index_sequence sind definiert für die einfache Erzeugung von std::integer_sequence und std::index_sequence mit 0, 1, 2, ..., N-1:
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 = std::make_integer_sequence<std::size_t, N>; | ||
Das Program ist nicht wohlgeformt, falls N negativ ist. Falls N Null ist, ist der erzeugte Type integer_sequence<T>.
Ein Hilfstemplate std::index_sequence_for ist definiert, um jeden typisierte Parameterpacken in eine Indexsequenz der selben Länge zu überführen:
template<class... T> using index_sequence_for = std::make_index_sequence<sizeof...(T)>; | ||
[Bearbeiten] Anmerkungen
Feature testing macro: __cpp_lib_integer_sequence
[Bearbeiten] Beispiele
Anmerkung: siehe auch mögliche Implementierung in std::apply für weitere Beispiele
#include <tuple>#include <iostream>#include <array>#include <utility> // debugging aidtemplate<typename T, T... ints>void print_sequence(std::integer_sequence<T, ints...> int_seq){std::cout<<"The sequence of size "<< int_seq.size()<<": ";((std::cout<< ints <<' '),...);std::cout<<'\n';} // 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(){ print_sequence(std::integer_sequence<unsigned, 9, 2, 5, 1, 9, 1, 6>{}); print_sequence(std::make_integer_sequence<int, 20>{}); print_sequence(std::make_index_sequence<10>{}); print_sequence(std::index_sequence_for<float, std::iostream, char>{}); 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'; }
Output:
The sequence of size 7: 9 2 5 1 9 1 6 The sequence of size 20: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 The sequence of size 10: 0 1 2 3 4 5 6 7 8 9 The sequence of size 3: 0 1 2 (1, 2, 3, 4)
