c++中的函数对象与函数指针学习

篇一、函数指针
函数指针：是指向函数的指针变量，在C编译时，每一个函数都有一个入口地址，那么这个指向这个函数的函数指针便指向这个地址。
函数指针的用途是很大的，主要有两个作用：用作调用函数和做函数的参数（经常用于函数回调中）。
函数指针的声明方法：

数据类型标志符 （指针变量名） （形参列表）；  //函数返回值类型  （*指针变量名） （函数形参列表）

一般函数的声明为: 
int func ( int x );
而一个函数指针的声明方法为：
int (*func) (int x);
前面的那个(*func)中括号是必要的，这会告诉编译器我们声明的是函数指针而不是声明一个具有返回型为指针的函数，后面的形参要视这个函数指针所指向的函数形参而定。 （func是一个函数指针，指向的函数是，返回值类型为int，参数为int）
然而这样声明我们有时觉得非常繁琐，于是typedef可以派上用场了，我们也可以这样声明：
typedef int (*PF) (int x);   //简化复杂的语法声明
PF pf;   //PF表示一个函数指针类型，那么变量pf就是函数指针，这和int a这样的语法雷同

这样pf便是一个函数指针，方便了许多。当要使用函数指针来调用函数时，func(x)或者  (*fucn)(x) 就可以了（原因是编译器会为函数指针隐式地解引用），当然，函数指针也可以指向被重载的函数，编译器会为我们区分这些重载的函数从而使函数指针指向正确的函数。

typedef void (*PFT) ( char ,int );
void bar(char ch, int i)
{
    cout<<"bar "<<ch<<' '<<i<<endl;
    return ;
}
PFT pft;
pft = bar;   //相当于pft = &bar;
pft('e',91); //相当于（*pft）（'e'，91）;

例子中函数指针pft指向了一个已经声明的函数bar()，然后通过pft来实现输出字符和整型的目的。

函数指针另一个作用便是作为函数的参数，我们可以在一个函数的形参列表中传入一个函数指针，然后便可以在这个函数中使用这个函数指针所指向的函数，这样便可以使程序变得更加清晰和简洁，而且这种用途技巧可以帮助我们解决很多棘手的问题，使用很小的代价就可获得足够大的利益（速度+复杂度）。

typedef void (*PFT) ( char ,int );
void bar(char ch, int i)
{
    cout<<"bar "<<ch<<' '<<i<<endl;
    return ;
}
void foo(char ch, int i, PFT pf)
{
    pf(ch,i);
    return ;
}
PFT pft;
pft = bar;
foo('e',12,pft);   //函数名作为参数传递时候，退化为函数指针，编译器起得作用

篇二、函数对象

前面是函数指针的应用，从一般的函数回调意义上来说，函数对象和函数指针是相同的，但是函数对象却具有许多函数指针不具有的有点，函数对象使程序设计更加灵活，而且能够实现函数的内联（inline）调用，使整个程序实现性能加速。（维基---两个优点：1.编译器可以内联执行函数对象的调用；2函数对象内部可以保持状态。）
函数对象：这里已经说明了这是一个对象，而且实际上只是这个对象具有的函数的某些功能，我们才称之为函数对象，意义很贴切，如果一个对象具有了某个函数的功能，我们变可以称之为函数对象。（维基---对象允许被当作普通函数来调用。）
如何使对象具有函数功能呢，很简单，只需要为这个对象的操作符()进行重载就可以了，如下：

class A{
    public:
    int operator()(int x){return x;}  //重载（）操作符
};
A a;
a(5);  //对象作为函数调用

这样a就成为一个函数对象，当我们执行a(5)时，实际上就是利用了重载符号()。
函数对象既然是一个“类对象”，那么我们当然可以在函数形参列表中调用它，它完全可以取代函数指针！（调用函数指针和调用函数对象的语法是完全一致的）如果说指针是C的标志，类是C++特有的，那么我们也可以说指针函数和函数对象之间的关系也是同前者一样的！（虽然有些严密）。当我们想在形参列表中调用某个函数时，可以先声明一个具有这种函数功能的函数对象，然后在形参中使用这个对象，他所作的功能和函数指针所作的功能是相同的，而且更加安全。

下面是一个例子：

class Func{
public:
    int operator() (int a, int b)
    {
        cout<<a<<'+'<<b<<'='<<a+b<<endl;
        return a;
    }
};
int addFunc(int a, int b, Func& func)
{
    func(a,b);
    return a;
}
Func func;
addFunc(1,3,func);

上述例子中首先定义了一个函数对象类，并重载了()操作符，目的是使前两个参数相加并输出，然后在addFunc中的形参列表中使用这个类对象，从而实现两数相加的功能。

如果运用泛型思维来考虑 （用模板形参T来替换实际的形参类型int、double等），可以定一个函数模板类，来实现一般类型的数据的相加：

class FuncT{
public:
    template<typename T>
    T operator() (T t1, T t2)
    {
        cout<<t1<<'+'<<t2<<'='<<t1+t2<<endl;
        return t1;
    }
};
template <typename T>
T addFuncT(T t1, T t2, FuncT& funct)
{
    funct(t1,t2);
    return t1;
}
FuncT funct;
addFuncT(2,4,funct);
addFuncT(1.4,2.3,funct);

大名鼎鼎的STL中便广泛的运用了这项技术，详细内容可参见候捷大师的一些泛型技术的书籍，不要以为函数对象的频繁调用会使程序性能大大折扣，大量事实和实验证明，正确使用函数对象的程序要比其他程序性能快很多！所以掌握并熟练运用函数对象才能为我们的程序加分，否则.......

如此看来，函数对象又为C++敞开了一道天窗，但随之而来的便是一些复杂的问题和陷阱，如何去蔽扬利还需要我们不断学习和探索。

STL是C++的标准模板库（standard template library），自然其中定义的都是模板。 相比于类和函数声明的显式接口（explicit interface），类模板和函数模板声明的接口属于隐式接口（implicit interface）。 因为模板参数应当满足的接口是由模板中表达式的合法性决定的，这一点给了模板很大的自由。 而函数对象和函数指针具有同样的调用语法，因此STL中这两者常常可以互换。更多关于隐式接口和显式接口的概念和区别，参见Effective C++: Item 41。

粉底部分为本人注释

主要参见以下两个博客：

http://www.cnblogs.com/lvpengms/archive/2011/02/21/1960078.html

http://harttle.com/2015/07/03/stl-function-objects-and-pointers.html

关于STL中的函数对象和函数指针的进一步深入学习使用，可以参看下面的网址：

http://www.cplusplus.com/reference/functional/

http://www.myexception.cn/cpp/1994728.html（没有英文基础，可以先看这个里面的函数介绍例子，然后再看上面参考文档）