函数指针,故名思议,即是指向函数的指针,我们可以用一个指针来指示一个函数的位置。正如我们在函数中不能传递数组一样,我们虽然不能传递函数,但是可以传递函数的指针,废话不多说,我们先以一个例子来说普通函数指针与类函数指针:
指向一般函数的指针
函数指针的声明中就包括了函数的参数类型、顺序和返回值,只能把相匹配的函数地址赋值给函数指针。为了封装同类型的函数,可以把函数指针作为通用接口函数的参数,并通过函数指针来间接调用所封装的函数。
下面是一个指向函数的指针使用的例子。
代码如下:
#include <iostream.h>
/*指向函数的指针*/
typedef int (*pFun)(int, int); //这里typedef不用的话,下面的result中要写出函数的原型;</span>
int Max(int a, int b)
{
return a > b ? a : b;
}
int Min(int a, int b)
{
return a < b ? a : b;
}
/*通用接口函数,实现对其他函数的封装*/
int Result(pFun fun, int a, int b)
{
return (*fun)(a, b); //*fun 取指针内容
}
void main()
{
int a = 3;
int b = 4;
cout<<"Test function pointer: "<<endl;
cout<<"The maximum number between a and b is "<<Result(Max, a, b)<<endl;
cout<<"The minimum number between a and b is "<<Result(Min, a, b)<<endl;
}
2、指向类的成员函数的指针
类的静态成员函数采用与一般函数指针相同的调用方式,而受this指针的影响,类的非静态成员函数与一般函数指针是不兼容的。而且,不同类的this指针是不一样的,因此,指向不同类的非静态成员函数的指针也是不兼容的。指向类的非静态成员函数的指针,在声明时就需要添加类名。
下面是一个指向类的成员函数的指针的使用的例子,包括指向静态和非静态成员函数的指针的使用。
#include <iostream.h>
class CA;
/*指向类的非静态成员函数的指针*/
typedef int (CA::*pClassFun)(int, int);
/*指向一般函数的指针*/
typedef int (*pGeneralFun)(int, int);
class CA
{
public:
int Max(int a, int b)
{
return a > b ? a : b;
}
int Min(int a, int b)
{
return a < b ? a : b;
}
static int Sum(int a, int b)
{
return a + b;
}
/*类内部的接口函数,实现对类的非静态成员函数的封装*/
int Result(pClassFun fun, int a, int b)
{
return (this->*fun)(a, b);
}
};
/*类外部的接口函数,实现对类的非静态成员函数的封装*/
int Result(CA* pA, pClassFun fun, int a, int b)
{
return (pA->*fun)(a, b);
}
/*类外部的接口函数,实现对类的静态成员函数的封装*/
int GeneralResult(pGeneralFun fun, int a, int b)
{
return (*fun)(a, b);
}
void main()
{
CA ca;
int a = 3;
int b = 4;
cout<<"Test nonstatic member function pointer from member function:"<<endl;
cout<<"The maximum number between a and b is "<<ca.Result(CA::Max, a, b)<<endl;
cout<<"The minimum number between a and b is "<<ca.Result(CA::Min, a, b)<<endl;
cout<<endl;
cout<<"Test nonstatic member function pointer from external function:"<<endl;
cout<<"The maximum number between a and b is "<<Result(&ca, CA::Max, a, b)<<endl;
cout<<"The minimum number between a and b is "<<Result(&ca, CA::Min, a, b)<<endl;
cout<<endl;
cout<<"Test static member function pointer: "<<endl;
cout<<"The sum of a and b is "<<GeneralResult(CA::Sum, a, b)<<endl;
}
以上为普通函数指针与类成员指针调用的一个例子,原文出处
【1】
。
在做二叉树遍历的时候,我们遇到了这么一种形式:
<span style="white-space:pre"> </span>void preOrder(BinTreeNode<T> *subTree, void (BinaryTree<T>::*visit) (BinTreeNode<T> *p));
void inOrder(BinTreeNode<T> *subTree, void (BinaryTree<T>::*visit) (BinTreeNode<T> *p));
void postOrder(BinTreeNode<T> *subTree, void (BinaryTree<T>::*visit) (BinTreeNode<T> *p));
其中的BinaryTree为构建的一颗二叉树,BinTreeNode为定义的结构体,这里表示一个树节点。根据以上的介绍,我们将函数的指针作为一个参数直接写在了遍历函数中。按照固定语法格式来书写,
红色部分表明这是一个指向成员函数的指针。要传递的函数为:
void visits(BinTreeNode<T> *p){
do sth...
}
当我们将函数名按照以上的格式带入时,出现如下问题
【2】:
error C2664: 'PreOrder' : cannot convert parameter 2 from 'int (struct tagTreeNode *)' to 'int (__cdecl *)(struct tagTreeNode *)'
None of the functions with this name in scope match the target type
这个是因为成员函数和函数指针处理的编译模式 不一样
一个是thiscall,一个是__cdecl
解决方案:
</pre><pre code_snippet_id="1784244" snippet_file_name="blog_20160726_10_2838395" name="code" class="plain">
void (BinaryTree<T>::*Pointer)(BinTreeNode<T> *p);
Pointer = & BinaryTree<T>::visits;
out << "前序遍历:"; tree.preOrder(tree.root, Pointer);
out << "中序遍历:"; tree.inOrder(tree.root, Pointer);
out << "后序遍历:"; tree.postOrder(tree.root, Pointer);
我们重新申明一个成员函数的指针,并将其绑定到我们要调用的函数上面。在调用函数的时候,直接传入这个新建立的指针。
参考文献:
【1】http://www.cnblogs.com/xianyunhe/archive/2011/11/26/2264709.html
【2】http://blog.csdn.net/lilien1010/article/details/7883820