关闭

C++并发实战4:thread object is movable,not copyable

标签: C++并发实战4thread objecnot copyable
1817人阅读 评论(2) 收藏 举报
分类:

       假设这样一个情形:假设函数A创建一个thread object返回给A的调用者,或者A将thread obejct转移给其它函数。thread object is movable but no copyable like std::unique_ptr or std::ifstream可以看出thread object是可以转移其所有权的。

void some_function();
void some_other_function();
std::thread t1(some_function); //创建thread object t1运行some_function()
std::thread t2=std::move(t1); //采用std::move移动语义将thread object t1移动到t2,此时t2接管运行some_function()的线程,而t1此时没有执行线程和其关联
t1=std::thread(some_other_function); //此处是rigth-value语义,先创建一个临时thread object执行some_other_function(),然后将临时的thread object赋值给t1
std::thread t3; //采用默认的thread构造方式创建,没有任何线程执行体和t3相关
t3=std::move(t2); //t2没有线程执行体了,t3关联的线程执行some_other_function()
t1=std::move(t3); //t1正在执行some_function()而t3赋值给t1,会导致std::terminated()会停止t1关联的线程,然后将some_other_function()线程执行体和t1关联,t3没有关联线程
         题外篇:注:在C++11中,标准库在<utility>中提供了一个有用的函数std::move,这个函数的名字具有迷惑性,因为实际上std::move并不能移动任何东西,它唯一的功能是将一个左值强制转化为右值引用,继而我们可以通过右值引用使用该值,以用于移动语义。从实现上讲,std::move基本等同于一个类型转换:static_cast<T&&>(lvalue); 值得一提的是,被转化的左值,其生命期并没有随着左右值的转化而改变。如果期望std::move转化的左值变量lvalue能立即被析构,那么肯定会失望了。

#include<iostream>
#include<utility>
using namespace std;
class test{
    public:
        test(int i=0):data(i){}
        test(const test& one){
            cout<<"copy constructor"<<endl;
            data=one.data;
        }
        test& operator=(const test& one){
            cout<<"operator="<<endl;
            data=one.data;
            return *this;
        }
        ~test(){
            cout<<"deconstructor"<<endl;
        }
    public:
        int data;
};
int main(){
    test one(10);
    cout<<"one "<<one.data<<endl;
    test two(std::move(one));
    cout<<"tow "<<two.data<<endl;
    return 0;
}

程序输出:

one 10
copy constructor          //std::move会调用拷贝构造函数
tow 10
deconstructor   
deconstructor      //出现两个析构函数,证明std::move没有移动任何东西,只是转换而已


1  thread object作为函数返回值,函数参数

#include<thread>
#include<iostream>
#include<utility>
using namespace std;
void fun(){
    cout<<"thread fun()"<<endl;
}
thread f(thread t){//thread object作为函数参数和返回值
    return t;
}
void g(){
    thread t(fun);
    //thread g=f(t);//thread(thread&) = delete;禁止拷贝构造,所以采用move语义
    thread g=f(move(t));
    if(g.joinable()){//检测joinable是有必要的
        cout<<"yes"<<endl;
        g.join();
    }
}
int main(){
    g();
    return 0;
}

   说明:由于升级了g++,不再使用boost::thread了,假设上面程序保存为test.cpp则编译:g++ -o test test.cpp -std=c++11 -lpthread

 程序输出:

yesthread fun()


2   thread object可以转移所有权一个用处就是,采用RAII手法用一个栈对象thread_guard可以保护thread object。当一个thread object创建后,thread_guard构造时将拿到thread的所有权,然后在thread_guard析构的时候调用thread::join()等待线程完成,且thread_object是禁止拷贝和复制的。这样一来没有其它对象或函数将无法再获得thread object的所有权,保证了thread_gurad的销毁时线程已经完成任务,不会发生超出thread_guard后仍引用thread的情形。可以用一个scoped_thread来描述thread_guar。这样的手法在mutex和mutex_guard互斥量的保护中也是同样的道理。

        scoped_thread采用引用保护机制的例子:

#include<iostream>
#include<thread>
#include<boost/noncopyable.hpp>
#include<unistd.h>
using namespace std;
class thread_gurad:boost::noncopyable{
    public:
        explicit thread_gurad(thread& t):t_(t)
        {
            if(!t_.joinable())
                cout<<"t_ can't joinable"<<endl;
            cout<<"thread_gurad"<<endl;
        }
        ~thread_gurad(){
            t_.join();
            cout<<"~thread_gurad"<<endl;
        }
    private:
        thread& t_;
};
void fun(){
    sleep(1);
}
int main(){
    thread t(fun);
    thread_gurad guard(t);
    return 0;
}
程序输出:

thread_gurad
~thread_gurad

          

   scoped_thread采用std::move()语义:

#include<thread>
#include<utility>
#include<stdexcept>
#include<stdio.h>
#include<unistd.h>
//#include<boost/thread.hpp>
using namespace std;
class scoped_thread{
    public:
        explicit scoped_thread(std::thread t)
            :t_(std::move(t))
        {
            printf("scoped_thread\n");
            if(!t_.joinable())
                throw std::logic_error("No thread");
        }
        ~scoped_thread()
        {
            t_.join();
            printf("~scoped_thread\n");
        }
        scoped_thread(const scoped_thread& )=delete;
        scoped_thread& operator=(const scoped_thread&)=delete;
    private:
        std::thread t_;
};
void do_something_in_current_thread(){}
class func{
    public:
        func(int i=0):data(i){}
        void operator()(){
            sleep(1);
        }
    public:
        int data;
};
void f(){
    int local=0;
    func my_fun(local);
    //scoped_thread t(thread(my_fun));//这样是错误的
    thread myThread(my_fun);
    scoped_thread t(move(myThread));
    printf("f() exit\n");
}
int main(){
    f();
    return 0;
}


程序输出:

scoped_thread
f() exit
~scoped_thread

3   由于thread object is movable,所以可以将其作为容器元素,如vector经常插入删除操作涉及到移动元素。

#include<iostream>
#include<thread>
#include<functional>
#include<algorithm>
#include<vector>
#include<stdio.h>
using namespace std;
class fun{
    public:
        explicit fun(int i=0):data(i){}
        void operator()(){
            printf("%d\n",data);//cout会出现乱序
        }
    private:
        int data;
};
int main(){
    std::vector<thread> threads;
    for(int i=0;i<10;i++)
        threads.push_back(thread(fun(i)));//
    for_each(threads.begin(),threads.end(),mem_fn(&thread::join));//std::mem_fn这里将一个类成员函数转换为普通函数来使用
    return 0;
}

程序输出1到10数字,每个数字占一行





0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:424190次
    • 积分:5990
    • 等级:
    • 排名:第4203名
    • 原创:187篇
    • 转载:7篇
    • 译文:1篇
    • 评论:80条
    博客专栏
    最新评论