c++之函数指针

1.函数指针介绍

函数指针是c++中比较灵活且重要的部分，对于软件的灵活度有很大的帮助。

函数指针指向的是函数而不是对象，和其它指针一样，函数指针指向某种特定的类型，函数的类型由它的返回类型和形参类型共同决定，与函数名字无关。

bool lengthCompare(const string &,const string &)

该函数的类型是bool (const string &,const string &)。想要声明一个指向函数的指针，只需将指针特换函数名即可。

当用做定义的时候const表示常量,当用作参数的修饰符的时候,表示该参
数在函数当中不允许进行修改,从而不会产生复制,这个特点有点类似于
var.var与const的共性是都不产生复制,var与const的差异在于var是允许
函数内部对参数做出修改并且影响调用者,而const不允许在函数体内做
出修改.

bool (*pf)(const string&,const string&);//未初始化

Note： *pf两端的括号必不可少，如果不写括号，则pf是一个返回值为bool的指针的函数。

//声明一个名为pf的函数，该函数返回值为bool*
bool *pf(const string &,const string&)

typedef简化函数指针的定义

首先我们先来定义三个函数指针：

bool(*pf1)(const string &,const string &);
bool(*pf2)(const string &,const string &);
bool(*pf3)(const string &,const string &);

有没有发现一个问题，每次定义都需要这么长，有没有好的办法呢，当然是有的，我们可以用到typedef：

typedef bool(*cmpFcn)(const string &,const string &);
//bool(*pf1)(const string &,const string &);
//bool(*pf2)(const string &,const string &);
//bool(*pf3)(const string &,const string &);
cmpFcn pf1;
cmpFcn pf2;
cmpFcn pf3;

指向函数的指针的初始化和赋值

函数指针的赋值

pf = lengthCompare;
pf = &lengthCompare;

因为在c/c++里函数名字就是地址，所以上下两者都等价，都可以给函数指针赋值。

通过指针调用函数

可以直接使用指向函数的指针调用函数，无需提前解引用：

bool b1 = pf("hello","goodbye");
bool b2 = (*pf)("hello","goodbye");
bool b3 = lengthCompare("hello","goodbye");
//三个等价调用

指向不同函数类型的指针之间不存在转换规则。

我们可以为函数指针赋值一个nullptr或者0的整型常量表达式，表示该指针没有指向任何一个函数。

bool lengthCompare(const string &s1,const string &s2)
{
return s1.size() == s2.size();
}

string::size_type sumLength(const string &s1,const string &s2)
{
return s1.size()+s2.size();
}

bool cstringCompare(char *s1,char *s2)
{
return strlen(s1) == strlen(s2);
}

pf1 = 0;
pf2 = lengthCompare;
//pf3 = sumLength;
//pf4 = cstringCompare;

如果函数返回类型不匹配（如上），或者形参不匹配，也会报错！

函数指针形参
虽然不能定义函数类型的形参，但是形参可以指向函数类型的指针。此时，形参看起来是函数类型，实际上确实当成指针使用：

#include<iostream>
#include<string>
using namespace std;
typedef bool(*cmpFcn)(const string &,const string &)
//bool(*pf1)(const string &, const string &);
//bool(*pf2)(const string &, const string &);
//bool(*pf3)(const string &, const string &);
bool lengthCompare(const string &s1,const string &s2)
{
return s1.size() == s2.size();
}
//第三个形参是函数类型，他会自动的转成之指向函数类型的指针
void useBigger(const string &s1,const string &s2,bool(*pf)(const string&,const string&))
{
cout<<pf(s1,s2)<<endl;
}

int main()
{
cmpFcn pf = lengthCompare;
useBigger("hi","func",pf);
system("pause");
return 0;
}

返回指向函数的指针
和数组类似，虽然不能返回一个函数，但是能返回指向函数类型的指针，然而我们必须把返回类型写成指针类型，编译器不会自动的将函数返回类型当成对应的指针类型处理。

#include<iostream>
#include<string>
#include<vector>

using namespace std;

int demo(int *p,int a)
{
return 12;
}
//ff是一个函数，有一个形参x，返回结果是一个函数指针int（*）(int *,int)
int (*ff(int x))(int *,int)
{
cout<<x<<endl;
return demo;
}

int main()
{
int a = 5;
cout<<ff(2)(&a,a)<<endl;
system("pause");
return 0;
}

同样，要想生成一个返回函数类型的指针，最简单的方法是使用类型别名。

typedef int (*PF)(int *,int)

PF是一个函数指针，指向函数的有两个形参。
于是可以这么写

//ff是一个函数，有一个形参x，返回结果是一个函数指针int(*)(int* ,int)

//int(*ff(int x))(int * , int)
//{
//cout<< x << endl;
//return demo;
//}

指向函数的重载

编译器通过指针类型决定选取哪个函数，指针类型必须与重载函数中的一个精确匹配。

#include<iostream>
#include<string>
#include<vector>
using namespace std;
void ff(vector<double> vec)
{
cout<<"ff(vector<double> vec)" <<endl;
}
void ff(unsingned int x)
{
cout << "ff(unsinged int x)"<<endl;
}
int main()
{
//void(*pf)(int x) = &ff;   报错
void (*pf)(unsigned int x) = &ff;
//double (*pf2)(vector<double>) = &ff;报错
void(*pf2)(vector<double>) = &ff;
system("pause");
return 0;
}