记录一下自己关于C++类的成员函数作为回调函数的理解:
最近在看游双的《linux高性能服务器编程》中的线程池代码:
template<typename T>
class threadpool {
public:
threadpool(int thread_number = 8, int max_requests = 1000) {
// 这里只展示部分关键代码,其他部分省略
pthread_create(m_threads + i, NULL, worker, this); // 创建若干线程,线程回调函数为worker
// 省略...
}
~threadpool();
bool append(T* request) {
// 省略
}
private:
static void* worker(void* arg) {
threadpool* pool = (threadpool*) arg;
pool->run();
return pool;
}
void run() {
// 略
}
private:
// 线程数量
int m_thread_number;
// 线程池数组, 大小为m_thread_number;
pthread_t *m_threads;
// 请求队列中最多允许的,等待请求的数量;
int m_max_requests;
// 请求队列
std::list<T*> m_workqueue;
// 互斥锁;
locker m_queuelocker;
// 信号量用来判断是否有任务需要处理
sem m_queuestat;
// 是否结束线程
bool m_stop;
};
在上述代码中,可以看到,thread_pool类在初始化,调用构造函数时,用pthread_create(m_threads + i, NULL, worker, this);
将类成员worker函数设置为了回调函数。
在该类中,worker被定义为了静态成员函数
在游双大佬的书中是这么解释的:
在C++程序中使用pthread_create函数时,该函数的第三个参数必须指向一个静态函数,而要在静态函数中使用类的动态成员变量(包括成员函数和成员变量),则只能通过如下两种方式来实现:
(1)通过类的静态变量来调用,比如单体模式中,静态函数可以通过类的全局唯一实例来访问动态成员函数
(2)将类的对象作为参数传递给该静态函数,然后在静态函数中引用这个对象,并调用其动态方法
游双大佬的书中的代码(也就是前面的代码)正是使用的第二种方法。
结合浏览网上的一些博客,写一写我对游双大佬这段话的理解:
在c++中,一般需要使用类进行函数的封装。但是在调用一般的类的成员函数时,使用类的成员调用时,需要传递this指针。
《深入探索C++对象模型》中提到成员函数时,当成员函数不是静态的,虚函数,那么我们有以下结论:
(1)&类名::函数名 获取的是成员函数的实际地址;
(2) 对于函数x来讲obj.x()编译器转化后表现为x(&obj),&obj作为this指针传入;
(3) 无法通过强制类型转换在类成员函数指针与其外形几乎一样的普通函数指针之间进行有效的转换。
所以,要在回调函数中传入一个类的普通成员函数时,this指针无处安放,使得回调函数比较复杂。
由上可以知道,对于一个类:
class myclass {
void func();
}
在编译器编译后,类的成员函数都会由func()变为func(myclass *this)的形式,也就是说会在第一个参数前插入指向对象本身的this指针。这此时就与普通的函数指针不同了,即回调函数中无法传入类的普通成员。
其实从内存角度想,也是不能将类的普通成员作为回调函数的,因为非静态成员(数据成员和函数成员)属于类的实例所有,所以只有在创建类的实例的时候才会分配内存,并通过实例去访问,而当实例的生命周期结束时,成员函数所占内存会被释放,调用函数将出现错误。而类的静态成员(数据成员和函数成员)为类本身所有,在类加载的时候就会分配内存,可以通过类名直接访问,不会随着类实例被delete而被释放;
好了,上面已经解释了我对于类的普通成员函数为什么不能作为回调函数的理解。
接下来,我来补充下游双大佬提到的通过类的静态变量来调用,比如单体模式中,静态函数可以通过类的全局唯一实例来访问动态成员函数的代码实现(由于单体模式中只有一个类对象,所以静态函数可以通过这个对象访问其他成员函数,而不用担心动态变量冲突的问题。)
挖个坑哈哈,后面再补上
最近在学习C++11时,发现类的成员函数可以通过绑定器(bind())来作为线程函数。
thread t(bind(&threadpool::worker(), this)); // 定义线程t,其线程函数位worker(),this为当前线程池对象的this指针