如何解压未知大小的元组？答案

【问题标题】：How to unpack tuple with unknown size?如何解压未知大小的元组？
【发布时间】：2020-05-11 14:55:26
【问题描述】：

给定，

template<typename T>
void foo(T t)
{
    std::tie(/*xxx*/)=t;
    auto &[/*yyy*/]=t;
}
int main()
{
    foo(forward_as_tuple(1,2,3));
    foo(forward_as_tuple(1,2,3,4,5));
}

我希望foo() 解包传递给自身的元组。可以使用auto 或std::tie() 进行分解声明，处理未知元组大小，如 xxx - yyy 吗？
如果是，如何？

我正在尝试另一种方法，也许所有元素都可以被推回该类型的向量，一旦它们得到。

std::vector<T> bar;
size_t baz=std::tuple_size<T>::value; //useless because it can't be used as:
for(int i=0; i<baz; i++)
    bar.push_back(std::get<i>(t)); //since i isn't constant

使用向量只是一个失败的坏主意。
还能怎么做？

我很快要做的是；我想在 for 循环中获取元组元素。这就是为什么我认为我需要以某种方式提取它们。

【问题讨论】：

相关问题：Convert std::tuple to std::array C++11, C++ Transform a std::tuple<A, A, A…> to a std::vector or std::deque.
这有什么好处？你想对解压后的引用做什么？
首先，为什么要处理未知大小和类型的元组？如果参数列表是同质的，那么它可能不是元组的用例。
@PiotrSkotnicki 我试图找到一种方法然后理解它。参数列表不是同质的。
@idclev463035818 我计划在递归函数调用中使用其中的一些，其他参数将显示哪些以及如何使用。

标签： c++ tuples c++17

【解决方案1】：

如何解压未知大小的元组？
auto &[/*yyy*/]=t;

你不能。

也许所有元素都可以被推回该类型的向量

使用std::apply:

std::vector<int> baz;
std::apply([&baz](auto... args) {
    (baz.push_back(args), ...);
}, t);

【讨论】：

你能给我看一个小例子吗？我尝试使用您的解决方案，但无法编译。它说expansion pattern 'int' contains no argument packs
int... 在这里不起作用。如果你想炫耀，它必须是auto... 或std::same_as<int> auto...。 :P
@HolyBlackCat 不错。我没有验证正确性。
我也无法用auto... 编译它。您能否验证它并展示它如何编译好？
@Xemdocia 当程序无法编译时，第一步是阅读错误信息。

【解决方案2】：

我很快就会尝试的是；我想在 for 循环中获取元组元素。

您无需解压缩元组即可对其进行迭代。这是我的做法：

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

template <auto N, typename F>
constexpr void constexpr_for(F &&func)
{
    if constexpr (N > 0)
    {
        constexpr_for_each(std::make_integer_sequence<decltype(N), N>{}, std::forward<F>(func));
    }
}

template <typename T>
void foo(T t)
{
    constexpr_for<std::tuple_size_v<T>>([&](auto index)
    {
        constexpr auto i = index.value;

        std::cout << std::get<i>(t) << '\n';
    });
}

【讨论】：

这很完美，但我无法理解它背后的逻辑。我还没有了解常量表达式。我会检查一下，谢谢。