Класс integer_sequence

Статья
12/13/2023

Представляет последовательность целых чисел. Можно использовать для получения и расширения пакетов параметров в типах variadic, таких как std::кортеж<T...> , которые передаются в качестве аргументов функции.

Синтаксис

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

Параметры

T
Тип значений. Это должен быть целочисленный тип: bool, char, char16_t, char32_t, wchar_t или целочисленный тип со знаком или без знака.

Вальс
Пакет параметров, не являющихся типами, представляющий последовательность значений целочисленного типа 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::tuple из std::array<T,N>, и способ использования integer_sequence для получения элементов кортежа.

В функции a2tindex_sequence является псевдонимом integer_sequence на основе целочисленного типа size_t. make_index_sequence — это псевдоним, который во время компиляции создает index_sequence, отсчитываемый от нуля, с тем же количеством элементов, как у массива, переданного вызывающим объектом. a2t передает index_sequence по значению в a2t_, где выражение a[I]... распаковывает I, а затем элементы передаются в make_tuple, который использует их как отдельные аргументы. Например, если последовательность содержит три элемента, то make_tuple вызывается как make_tuple(a[0], a[1], a[2]). Сами элементы массива, конечно, могут быть любого типа.

Функция apply принимает кортеж std::и создает integer_sequence кортеж с помощью вспомогательного tuple_size класса. Обратите внимание, что std::d ecay_t необходимо, так как tuple_size не работает с ссылочными типами. Функция 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)>

Requirements

Заголовок: <type_traits>

Пространство имен: std

См. также

Многоточие и шаблоны Variadic

Поделиться через