首页 > 代码库 > STL中的仿函数

STL中的仿函数

仿函数(functors)在C++标准中采用的名称是函数对象(function objects)。仿函数主要用于STL中的算法中,虽然函数指针虽然也可以作为算法的参数,但是函数指针不能满足STL对抽象性的要求,也不能满足软件积木的要求--函数指针无法和STL其他组件搭配,产生更灵活变化。

仿函数本质就是类重载了一个operator(),创建一个行为类似函数的对象。例如下面就是一个仿函数的例

struct plus{
    int operator()(const int& x, const int& y) const { return x + y; }
};
然后就可以如下这样使用

int a=1, b=2;
cout<<plus(a,b);
这样其实创建了一个临时无名的对象,之后调用其重载函数()。
但是STL中的仿函数不是这个样子的,为了使仿函数拥有被函数配接其(function adapter)修饰,彼此像积木一样地串接。仿函数应该定义自己相应的类别(associative types)。就像迭代器一样,为了融入STL,必须定义自己的5个相应类别。这样做的目的是为了让配接器能够取出,获得反函数的某些信息。相应类别都是一下typedef定义的预处理,在编译时就完成了替代,对程序执行效率没有影响,也不带来任何额外的负担。

仿函数相应的类别主要用来表现函数参数类型和返回值类型。在<stl_function.h>定义了两个struct,分别代表一元仿函数和二元仿函数。

// C++ Standard 规定,每一個 Adaptable Unary Function 都必须继承此类别
template <class Arg, class Result>
struct unary_function {
    typedef Arg argument_type;
    typedef Result result_type;
};

// C++ Standard 規定,每一個 Adaptable Binary Function 都必须继承此类别
template <class Arg1, class Arg2, class Result>
struct binary_function {
    typedef Arg1 first_argument_type;
    typedef Arg2 second_argument_type;
    typedef Result result_type;
};

仿函数按照运算来分类,有以下3类:
1)算术类仿函数
    加:plus<T>
    减:minus<T>
    乘:multiplies<T>
    除:divides<T>
    模取:modulus<T>
    否定:negate<T>
2)关系运算类仿函数
    等于:equal_to<T>
    不等于:not_equal_to<T>
    大于:greater<T>
    大于等于:greater_equal<T>
    小于:less<T>
    小于等于:less_equal<T>
3)逻辑运算仿函数
    逻辑与:logical_and<T>
    逻辑或:logical_or<T>
    逻辑否:logical_no<T>