为什么这个非常简单的返回 std::move(线程句柄)失败

Question

#include <iostream>
#include <thread>
using namespace std;
thread&& launch(){
    thread launchee([](){
        this_thread::sleep_for(chrono::milliseconds(280));
        cout<<"HA!"<<endl;
    });
    return move(launchee);
}
int main(int argc, char **argv){
    thread mine(launch());
    mine.join();
}

用g++-4.6 -std=c++0x 1.cpp -o e1 -pthread编译

输出"终止调用而没有活动异常"，然后程序中止。

这应该有效，不是吗？

Answer 1

您希望按值返回线程，而不是按右值引用返回：

std::thread launch() {
    std::thread launchee([](){
        std::this_thread::sleep_for(std::chrono::milliseconds(280));
        std::cout<<"HA!"<<std::endl;
    });
    return launchee;
}

原因是std::move（和std::forward）只是从左值到右值引用的强制转换操作，但除非您使用它实际移动到其他对象中，否则原始对象将保持不变。在原始代码中，您随后引用本地对象并退出函数，然后函数内部的std::thread被销毁并调用terminate（根据std::thread协定，对于任何其他对象，它只会返回对已销毁对象的悬空引用）。