std::tie是如何工作的？

Question

我在使用std::tie时并没有花太多心思。它是有效的，所以我已经接受了：

auto test()
{
   int a, b;
   std::tie(a, b) = std::make_tuple(2, 3);
   // a is now 2, b is now 3
   return a + b; // 5
}

但是这种黑魔法是如何工作的呢？std::tie创建的临时如何改变a和b？我发现这更有趣，因为它是一个库功能，而不是一个语言功能，所以它肯定是我们可以自己实现和理解的东西。

Answer 1

这并没有以任何方式回答你的问题，但让我把它贴出来，因为C++17基本上已经准备好了(有编译器支持)，所以当你想知道过时的东西是如何工作的时候，可能也值得看看当前和未来的C++版本是如何工作的。

使用C++17，您几乎可以擦除std::tie以支持所谓的结构化绑定。它们做同样的事情(好吧，不一样，但它们有相同的净效果)，尽管您需要键入更少的字符，它不需要库支持，并且您还可以获取引用，如果这恰好是您想要的。

(请注意，在C++17中，构造函数进行参数演绎，因此make_tuple也变得有些多余了。)

int a, b;
std::tie(a, b) = std::make_tuple(2, 3);

// C++17
auto  [c, d] = std::make_tuple(4, 5);
auto  [e, f] = std::tuple(6, 7);
std::tuple t(8,9); auto& [g, h] = t; // not possible with std::tie