只读变量不可赋值 c++ 模板函数

Question

我正在尝试编写自己的模板交换函数，但这段代码有问题：

template <class T>
void swap_universal(T &a, T &b) {
    T tmp = a;
    a = b;
    b = tmp;
}

在这两行：a = b 和 b = tmp 我收到错误 read only variable is not assignable。我正在使用 Xcode。

UPD：这是完整的代码：

#include <iostream>
#include <string>
#include <algorithm>
#include <vector>
#include <iterator>

using namespace std;

template <class T>
void swap_universal(T &&a, T &&b) {
    T tmp = a;
    a = b;
    b = tmp;
}

template <typename T>
void quick_Sort(const int &start, const int &end, const vector<T> &mas/*, const vector<T> arr*/) {
    int left = start, right = end;
    int middle = rand() % (end - start) + start;
    while (left < right) {
        while (mas[left] < middle)
        left++;
        while (mas[right] > middle)
            right--;
        if (left <= right) {
            swap_universal(mas[left], mas[right]);
            left++;
            right--;
        }
    }
    if (start < right)
        quick_Sort(start, right, mas);
    if (end > left)
        quick_Sort(left, end, mas);
}

int main(int argc, const char * argv[]) {
    vector<int> t;
    for (int i = 100; i >= 0; i--) {
        t.push_back(i);
    }
    quick_Sort(0, t.size() - 1, t);
}

如您所见，quick_Sort 函数内部调用了新的交换函数

Answer 1

我认为无需查看呼叫站点，我们就可以推断出发生了什么。

临时不能绑定到可变左值引用。它可以绑定到可变 r 值引用或 const 引用。

所以当调用你的函数时，这是一个无法编译的例子：

extern Foo make_a_new_foo();
Foo f;
swap_universal(f, make_a_new_foo());

const 引用对你没有好处，因为你想修改引用。所以你真正想要的是一个模板函数，它根据上下文推断 a 和 b 是右值引用还是左值引用。

幸运的是，当您在推导上下文中指定 r 值引用语法时，c++ 为您处理了这个魔法（在这种情况下，T 在推导上下文中被评估，因为它的类型取决于为 T 选择正确的类型）。

这将起作用：

template <class T, class U, typename = std::enable_if_t<std::is_same<std::decay_t<T>, std::decay_t<U>>::value>>
void swap_universal(T &&a, U &&b) {
    T tmp = a;
    a = b;
    b = tmp;
}