c++ - 使用 std::tie 的一个类轮交换

Question

在python中我们可以交换两个变量

>>> a , b = b , a

我们可以在 C++11 中进行类似的交换

void swap(int &a,int &b)
{
    std::tie(a,b) = std::make_tuple(b,a);
}

以上工作正常，在 O3 生成类似的程序集

void swap(int &a,int &b)
{
    int c = a;
    a = b;
    b = c;
}

但我的问题是它符合标准还是我遗漏了什么？还是侥幸之类的……

a = (a+b) - (b=a);

其中有序列点问题。

Answer 1

这很好。

对 std::tie 和 std::make_tuple 的调用可以以任何顺序发生，但它们不会修改 a 和b，只创建 std::tuple，分别引用和复制 a 和 b。只有在调用 operator= 时，才会通过引用分配进行任何修改。