Question

我有一个constexpr auto my_tuple = std::make_tuple(a, b, c, d, e);。现在，我想在每个元素上都应用一个constexpr函数。我以为我可以这样：

template <typename... Types>
void constexpr apply_func_on_tuple(std::tuple<Types...> tpl) noexcept
{
    for (std::size_t i = 0; i < sizeof...(Types); ++i)
    {
        my_function(std::get<i>(tpl));
    }
}

但是它不起作用。在阅读this之后，我了解了为什么我不能这样做。还有其他方法可以在编译时完全实现我想要的功能吗？

Answer 1

您不能使用常规的for循环，但是可以编写一个像循环一样工作的constexpr函数：

template <typename T, auto ...I, typename F>
constexpr void static_for_low(F &&func, std::integer_sequence<T, I...>)
{
    (void(func(std::integral_constant<T, I>{})) , ...);
}

template <auto N, typename F>
constexpr void static_for(F &&func)
{
    static_for_low(func, std::make_integer_sequence<decltype(N), N>{});
}

然后您可以执行以下操作：

template <typename ...Types>
constexpr void apply_func_on_tuple(std::tuple<Types...> tpl) noexcept
{
    static_for<sizeof...(Types)>([&](auto index)
    {
        my_function(std::get<index.value>(tpl));
    });
}

如何将constexpr函数应用于std :: tuple中的每个元素？

1 个答案: