用非静态成员函数作为线程启动函数

问题: 有没有办法让线程函数作为一个类的非静态成员函数?

http://topic.csdn.net/u/20100817/20/4513b936-8269-464f-9ca5-4cdbd146a40d.html

 

下面以CRT函数_beginthreadex作为分析对象

uintptr_t _beginthreadex( void *security, unsigned stack_size, unsigned ( *start_address )( void * ), void *arglist, unsigned initflag, unsigned *thrdaddr );

从函数签名我们知道_beginthreadex需要一个如下签名的函数作为线程启动函数

unsigned ( *start_address )( void * ), typedef unsigned (__stdcall * ThreadFunc )( void * );

 

有不少人说线程启动函数只能是普通函数或者静态成员函数,非静态成员函数是不能成为线程启动函数的.事实真的是这样吗?他们说非静态成员函数不能当线程启动函数那是因为他们对C++对象模型还不够熟悉,或者是希望大家能用常规的方式解决问题,其实非静态成员函数也是可以当作线程启动函数.要想让非静态成员函数作为线程启动函数,我们必须要深入了解一下非静态成员函数的本质.我们以以下这个类作为研究对象

class CThread { public: CThread(int i) :m_i(i) { } unsigned ThreadFunc() { for(int i = 0;i<10;i++) { std::cout<<i+m_i<<std::endl; Sleep(100); } return 0; }; protected: int m_i; };

大家都知道,对于非静态成员函数,都有一个隐含的this指针,这个this指针是怎么样传进来的呢?

其实对于任何一个类的成员函数 ReturnType Class::MemFunc(ParameterList...);

都可以看成是ReturnType MemFunc(Class * this,ParameterList...);所以对于unsigned Thread::ThreadFunc(),

实质上我们可以将其看成是 unsigned ThreadFunc(Thread* this); 这正好跟线程的启动函数兼容.我们可以通过强制转换将Thread::ThreadFunc转换成ThreadFunc类型并将其作为线程启动函数,并将Thread的对象指针作为_beginthreadex的第四个参数传进去即可.

现在的问题是,大家都知道,C++不支持将成员函数指针强制转换成其它类型的指针,直接写如下这样的代码将引起编译错误

ThreadFunc func = (ThreadFunc)&CThread::ThreadFunc;

有什么办法可以将&CThread::ThreadFunc转换成ThreadFunc类型呢?用C++内置的转换操作符是无法实现的,但是我们可以用其它办法实现,比如用sprintf,atoi等方法来进行转换,但是在这里我们有更简单的方法,我们可以用ReinterpretCast来进行转换,关于ReinterpretCast的实现细节,请参考  http://blog.csdn.net/SammyLan/archive/2010/04/08/5464202.aspx

现在所有的问题都解决了,接下来我们写一段代码来测试一下吧.

 

// Main.cpp : Defines the entry point for the console application. #include <windows.h> #include <process.h> #include <iostream> #include "ReinterpretCast.hxx" class CThread { public: CThread(int i) :m_i(i) { } unsigned ThreadFunc() { for(int i = 0;i<10;i++) { std::cout<<i+m_i<<std::endl; Sleep(100); } return 0; }; protected: int m_i; }; int main(int argc, char * argv[]) { typedef unsigned (__stdcall * ThreadFunc )( void * ); CThread thread(1000); HANDLE hThread = (HANDLE) _beginthreadex(NULL,0, ReinterpretCast<ThreadFunc>(&CThread::ThreadFunc),&thread,0,NULL); WaitForSingleObject(hThread,-1); return 0; }

 

下面是输出

0 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 请按任意键继续. . .

 

到目前为止,一切都很顺利,但是这代码在某些编译器下会出现crash,这是为什么呢?原来CThread::ThreadFunc并没有完全跟ThreadFunc兼容,从ThreadFunc的签名我们知道他的调用约定方式是__stdcall,而成员函数的默认调用方式是__thiscall,这两种调用方式对入栈和清理栈的处理方式是不兼容的,为了让他们完全兼容,我们必须要显式指定成员函数的调用约定方式为__stdcall,如下所示

unsigned __stdcall ThreadFunc()

 

BTW:这是在windows下设置调用约定方式的方法,对于linux,貌似需要通过attribute关键字来设置调用约定方式