c++ - std::move、std::forward、值类型和模板推导

Question

假设我有这段代码

template <typename T> void Swap(T&& a, T&& b) {
    T tmp = std::move(a);
    a = std::move(b);
    b = std::move(tmp);
}

int main()
{
    int a = 2;
    int b = 3;
}

据我了解this talk , 当打电话时 Swap(a, b) ，编译器应该推断出 T&& 的事实应该是 T&并转换它。但在这种情况下，GCC 会给我以下错误:

error: invalid initialization of non-const reference of type 'int&' from an rvalue of type 'std::remove_reference<int&>::type {aka int}' 
T tmp = std::move(a);

我要么必须调用 Swap使用 Swap(std::forward<int>(a), std::forward<int>(b))或 Swap(std::move(a), std::move(b)) ，或替换 Swap Swap(T& a, T& b) 签名.

为什么会这样？这里的正确用法是什么？

Answer 1

你需要这个:

template <typename T> void Swap(T&& a, T&& b)
{
    using U = typename std::remove_reference<T>::type;

    U tmp = std::move(a);
    a = std::move(b);
    b = std::move(tmp);
}

正如您在问题中暗示的那样，在您的示例中，T 被推导为 int&，并且初始化 int& tmp = std::move(a ); 格式错误。