c++ - 在 C++ 中解包嵌套元组

Question

std::tie提供了一种方便的方法来将 C++ 中的元组的内容解包到单独定义的变量中，如下面的示例所示

int a, b, c, d, e, f;

auto tup1 = std::make_tuple(1, 2, 3);
std::tie(a, b, c) = tup1;

但是，如果我们有一个像下面这样的嵌套元组

auto tup2 = std::make_tuple(1, 2, 3, std::make_tuple(4, 5, 6));

试图编译代码

std::tie(a, b, c, std::tie(d, e, f)) = tup2;

失败并出现错误

/tmp/tuple.cpp:10: error: invalid initialization of non-const reference of type ‘std::tuple<int&, int&, int&>&’ from an rvalue of type ‘std::tuple<int&, int&, int&>’
  std::tie(a, b, c, std::tie(d, e, f)) = tup2;
                            ^

有没有一种惯用的方法来解压缩 C++ 中的元组元组？

Answer 1

当您知道没有风险时，您可以通过以下辅助函数将右值引用转换为左值：

template <class T>
constexpr T &lvalue(T &&v) {
    return v;
}

然后你可以这样使用它：

std::tie(a, b, c, lvalue(std::tie(d, e, f))) = tup2;

在您的情况下，这样做确实没有问题，因为内部元组只需要在语句期间保持活动状态，并且（完全）是这种情况。