C++类成员函数的指针

作者：winterTTr  （原创，转载请注明作者）

 

这两天看到有人问道如何声明类成员函数指针的问题，以及如何使用。

这里以一个小例子，简单演示一下声明和使用办法。不做过多的解释，代码应该可以说明一切。

 

#include <iostream> using namespace std; class Node { public: Node(){} void print() { cout << "here" << endl; } }; typedef void ( Node::*mem_func_ptr )() ; int main() { Node n; mem_func_ptr p = &Node::print ; (n.*p)(); return 0; }

类成员函数的指针不同于单独的C中的指针函数，所以必须加上类的作用域限定，才能达到正确编译和使用。

 

同时，引申一下到STL中关于类成员指针的使用和for_each的配合问题

 

当我们对vector之类的container中的元素进行操作的时候，往往会考虑到使用for_each的通用算法

对于一般的非成员函数的使用时，我们可以直接使用函数本身也是没有问题的。当然，对于标准的STL使用中，建议使用ptr_fun将函数转换为函数对象（仿函数）来说用，举例如下：

#include <iostream> #include <vector> #include <algorithm> using namespace std; class Node { public: Node( int iData ):m_iData(iData){} void print() { cout << m_iData << endl; } int data() const { return m_iData; }; private: int m_iData; }; void print_node_data( Node & p ) { cout << p.data() << endl; }; int main() { vector<Node> vecNodeObject; vecNodeObject.push_back( Node(1) ); vecNodeObject.push_back( Node(2) ); vecNodeObject.push_back( Node(3) ); vecNodeObject.push_back( Node(4) ); for_each( vecNodeObject.begin() , vecNodeObject.end() , ptr_fun( print_node_data ) ); return 0; }

 

那么，对于成员函数的使用呢，STL考虑到了这点，有对应的adaptor将成员函数转换为函数对象，举例如下：

#include <iostream> #include <vector> #include <algorithm> using namespace std; class Node { public: Node( int iData ):m_iData(iData){} void print() { cout << m_iData << endl; } int data() const { return m_iData; }; private: int m_iData; }; int main() { vector<Node> vecNodeObject; vecNodeObject.push_back( Node(1) ); vecNodeObject.push_back( Node(2) ); vecNodeObject.push_back( Node(3) ); vecNodeObject.push_back( Node(4) ); for_each( vecNodeObject.begin() , vecNodeObject.end() , mem_fun_ref( &Node::print ) ); return 0; }

mem_fun_ref正是用于此处的，可以将成员函数适配为函数对象。

当然，如果你的container中的元素不是对象，而是对象指针的话（例如：vector<Node*>），那么使用mem_fun就可以了，这个就是专门处理指针类型的元素对象的成员函数调用的，看，STL想的还是很全的。

 

最后，贴上mem_fun的一个实现，可以看到，正是利用第一个例子中的原理进行封装，封装了成员函数指针，以及重载了()操作符实现仿函数对象的，STL还是有很多精彩的代码可以研究的

 

template <class _Ret, class _Tp> inline mem_fun_t<_Ret, _Tp> mem_fun(_Ret (_Tp::*__f)()) { return mem_fun_t<_Ret, _Tp>(__f); } template <class _Ret, class _Tp> class mem_fun_t : public unary_function<_Tp*, _Ret> { public: explicit mem_fun_t(_Ret (_Tp::*__pf)()) : _M_f(__pf) {} _Ret operator()(_Tp* __p) const { return (__p->*_M_f)(); } private: _Ret (_Tp::*_M_f)(); };

当然，真正的实现是基于模板的，mem_fun被作为一个函数调用，返回真正的mem_fun_t函数对象。

同时，真正的mem_fun_t对象的构造函数的参数，正是一个函数指针的声明（可以参考第一个例子对比看看应该就明白了），只不过没有使用typedef单独定义。

 

好了，有关成员函数的指针以及STL中对这个知识点的扩展使用，先说这么多。欢迎大家补充。