std：：tie 是如何工作的？-解网

问：

我没有考虑太多就使用了。它有效，所以我刚刚接受了这一点：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::tieab

C++ C++11 元组

std::tie构造并返回引用的元组。
std::tuple<int>并且是 2 个完全不同的类，它们之间没有任何联系，只是它们是从同一个模板生成的，.std::tuple<int&>std::tuple
元组接受不同类型的元组（但数量相同），其中每个成员都是单独分配的 - 来自 CPPREFERENCE：operator=
```
template< class... UTypes >
tuple& operator=( const tuple<UTypes...>& other );
```
（3）对于所有 i，赋值给。std::get<i>(other)std::get<i>(*this)

下一步是摆脱那些只会妨碍你的函数，这样我们就可以将我们的代码转换为：

int a;
std::tuple<int&>{a} = std::tuple<int>{24};
return a; // 24

下一步是确切地看到这些结构内部发生了什么。为此，我创建了 2 种类型的替代基和替代基，为我们的操作剥离到最低限度：Tstd::tuple<int>Trstd::tuple<int&>

struct T { // substituent for std::tuple<int>
    int x;
};

struct Tr { // substituent for std::tuple<int&>
    int& xr;

    auto operator=(const T& other)
    {
       // std::get<I>(*this) = std::get<I>(other);
       xr = other.x;
    }
};

auto foo()
{
    int a;
    Tr{a} = T{24};

    return a; // 24
}

最后，我喜欢一起摆脱这些结构（好吧，它不是 100% 等价的，但它对我们来说足够接近，并且足够明确以允许它）：

auto foo()
{
    int a;

    { // block substituent for temporary variables

    // Tr{a}
    int& tr_xr = a;

    // T{24}
    int t_x = 24;

    // = (asignement)
    tr_xr = t_x;
    }

    return a; // 24
}

因此，基本上，初始化对 . 创建一个值为的数据成员，赋值将 24 分配给第一个结构中的数据成员引用。但是，由于该数据成员是绑定到的引用，因此基本上分配给。std::tie(a)astd::tuple<int>(24)24a24a

std：：tie 是如何工作的？

How does std::tie work?

评论

评论

评论