using std :: move in std :: thread

Question

У меня возникла еще одна проблема с std::thread & на этот раз при применении std::move для обмена 2 значениями. Мой код говорит: -

#include <iostream> 
#include <thread> 
using namespace std; 
void swapno (int &&a, int &&b) 
{ 
    int temp=move(a); 
    a=move(b); 
    b=move(temp); 
} 
int main() 
{ 
    int x=5, y=7; 
    cout << "x = " << x << "\ty = " << y << "\n"; 
// swapno (move(x), move(y)); // this works fine 
    thread t (swapno, move(x), move(y)); 
    t.join(); 
    cout << "x = " << x << "\ty = " << y << "\n"; 
    return 0; 
} 

Выход: -

x = 5 y = 7 
x = 5 y = 7 

Теперь то, что случилось в этом методе? Почему такой код показывает такое поведение? Как это исправить?

Answer 1

Это потому, что threadconstructor вы звоните

копий/перемещает все аргументы (как объект функции п и все арг ...) на поточно-доступную память, как если бы с помощью функции:

template <class T> 
typename decay<T>::type decay_copy(T&& v) { 
    return std::forward<T>(v); 
} 

И std::decay удалит CV-классификаторы, которая включает в себя ссылку на г-значение.

Таким образом, когда std::thread копирования/перемещения аргументы в поточно-доступную память, она по существу двигаться построения его собственнойint s от тех, предоставленных вами, и потому move на int является просто копией, при выполнении swapno по своим значениям, вы делаете это на копиях.

Чтобы исправить это, используйте std::ref плюс swap:

std::thread t ([](int& a, int& b){std::swap(a, b);}, std::ref(x), std::ref(y)); 
t.join(); 

Live Demo

Answer 2

С точки зрения непрофессионала, конструктор потока принимает/rvalues ​​временные переменные для аргументов, переданных функции. Поэтому вы должны обернуть его с помощью reference_wrapper, который является значением, но обертывает базовую ссылку (что std :: ref делает).

Код ниже выполняет трюк с std :: swap из коробки. Использование std :: swap в качестве аргумента для потока (или std :: function) вызывает и неоднозначную перегрузку (что меня тоже удивило).

int main(int argc, char* argv[]) 
{ 
    int x = 5, y = 7; 
    std::cout << "x(" << x << ")" << " y(" << y <<")" << std::endl; 
    void (*pf)(int& x, int& y) = std::swap<int>; 
    std::thread t1(pf, std::ref<int>(x), std::ref<int>(y)); 
    t1.join(); 
    std::cout << "x(" << x << ")" << " y(" << y <<")" << std::endl; 
    return 0; 
}