专用std：：交换Rvalue

Question

在标准（20.2.2[utility.swap]）中，std::交换是为左值引用定义的。我知道这是您想要交换两件事情的常见情况。但是，有时交换右值是正确和可取的（当临时对象包含引用时，如这里：交换临时引用元组）。

为什么重估没有超载？对重估进行无意义互换的风险是否超过了潜在的好处？

是否有合法的方法支持交换包含引用的rvalue std：：tuple对象？对于用户定义的类型，我将专门化swap以按值接受其参数，但对于std：：tuple这样的库类型，这样做似乎并不合适。

Answer 1

如果迭代器生成r值（例如临时值），则某些STL算法似乎需要交换r值。

swap是否应与r值一起使用是一个有效的讨论。我经常看到这个问题，因为对于“特殊”迭代器，它会生成一个r值，有时您希望在“交换”时做正确的事情。

我发现不处理这个问题的解决方法是首先为这些特殊的迭代器专门化std::iter_swap。我认为这解决了所有STL算法的问题。

namespace std{
void iter_swap(special_iterator it1, special_iterator it2){
   ... special swap of pointed values
}
}

我认为这是所有置换STL算法都遗漏和缺乏的基本定制点。

（当然，如果我们正在对STL进行黑客攻击，那么我们也可以使用名称空间std{模板

Answer 2

不如创建一个将右值强制转换为左值的实用函数：

#include <tuple>
#include <iostream>

template <class T>
T&
lvalue_cast(T&& t)
{
    return t;
}

int
main()
{
    int i = 1;
    int j = 2;
    swap(lvalue_cast(std::tie(i)), lvalue_cast(std::tie(j)));
    std::cout << i << '\n';
    std::cout << j << '\n';
}