stl 仿函数(函数对象)

定义(stl源码剖析):

仿函数其实上就是一个"行为类似函数"的对象。

即主体是对象，只是使用起来像一个函数。

传递函数指针：

template<typename T>
bool compare_to(const T& x, const T &y) { return x > y;}

template<typename T>
void print_compare(T fun) {
    std::cout << fun(3, 5) << std::endl;
}

int main() {
    print_compare(compare_to<int>);
    return 0;
}

传递的是一个函数指针

传递仿函数:

template<typename T>
struct CompareTo : public std::binary_function<T, T, bool> {
    bool operator() (const T& x, const T &y) const { return x > y;}
 public:
    CompareTo() {}
};

template<typename T>
void print_compare(T fun) {
    std::cout << fun(3, 5) << std::endl;
}

int main() {
    print_compare(CompareTo<int>());
    return 0;
}

这样能看出来CompareTo的传入像是一个函数调用一样。

实际上并不是如此，其上面的函数指针传入逻辑是不一样的，

函数指针：传入的函数的地址，因此是直接调用函数

仿函数：实际是传入的是临时创建的CompareTo的临时变量，Compare<int>()调用的是构造函数，因此传入的是对象

后面的调用在print_compare的调用实际是调用CompareTo的operator()的函数，因此仿函数是行为看起来更像传入函数调用的对象