应用可变模板，遍历tuple

#include <iostream>
#include <utility>
#include <tuple>
#include <type_traits>

template <class T, T... Ints>
struct integer_sequence {};

template <size_t N, class T, T... Ints>
struct integer_sequence_helper {
    typedef typename integer_sequence_helper<N - 1, T, N - 1, Ints...>::type type;
};

template <class T, T... Ints>
struct integer_sequence_helper<0, T, Ints...> {
    typedef integer_sequence<T, Ints...> type;
};

template <size_t N, class T>
using make_integer_sequence = typename integer_sequence_helper<N, T>::type;

template <class F, class Tuple, class T, T... I>
constexpr decltype(auto)
apply_impl(F&& f, Tuple&& t, integer_sequence<T, I...>)
{
    return f(std::get<I>(std::forward<Tuple>(t))...);
}

template <class F, class Tuple>
constexpr decltype(auto) apply(F&& f, Tuple&& t)
{
    return apply_impl(std::forward<F>(f), std::forward<Tuple>(t),
        make_integer_sequence<std::tuple_size_v<std::remove_reference_t<Tuple>>, size_t>{});
}

int main()
{
    auto func = [](int x, int y, int z) {
        std::cout << x << ", " << y << ", " << z << std::endl;
    };

    std::tuple<int, int, int> t{ 1,2,3 };

    apply(func, t);

    return 0;
}

使用 make_integer_sequence 可变模板产生一个整数序列，比如：当tuple的元素个数为3时，会产生{0,1,2}序列。再通过这个序列，使用get<N>函数依次获取到tuple的元素。最后将它们作为参数传入到函数对象f中。