STL源码剖析：仿函数

最新推荐文章于 2024-10-18 21:13:04 发布

转载最新推荐文章于 2024-10-18 21:13:04 发布 · 318 阅读

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/chusiyong/p/11574279.html

本文介绍了C++中仿函数的概念及其在STL中的应用。解释了函数对象通过重载operator()来模仿普通函数的行为，并展示了unary_function和binary_function如何用于定义一元和二元函数对象。此外，还提供了多个实用的函数对象实例。

仿函数就是函数对象
函数对象：
- 重载了operator()的类对象
- 使用起来和普通函数一致，所以称为函数对象或是仿函数
STL中对于仿函数的参数进行了特殊处理，定义了两个特殊类，类里面只有类型定义
- 一元函数类，unary_function

template <class Arg, class Result>
struct unary_function
{
    typedef Arg argument_type;
    typedef Result result_type;
};

- 二元函数类，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;
}

- 例子

template <class T>
struct plus : public binary_function<T, T, T>
{
    T operator()(const T& x, const T& y)
    {
        return x + y;
    }
}

证同
- 任何人数值使用证同函数后，得到的都是自己

template <class T>
struct identity ：public : public unary_function<T, T>
{
    T& operator()(const T& x) const
    {
        return x;
    }
}

选择函数
- 接收一个pair，返回first或second元素

template <class Pair>
struct select1st : public unary_function<Pair, typedef pair::first_type>
{
    const typename Pair::first_type& operator()(const Pair& x) const
    {
        return x.first;
    }
}

template <class Pair>
struct select2nd : public unary_function<Pair, typedef pair::second_type>
{
    const typename Pair::second_type& operator()(const Pair& x) const
    {
        return x.second;
    }
};

投射函数
- 返回第一或是第二个参数

template <class Arg1, class Arg2>
struct project1st : public binary_function<Arg1, Arg2, Arg1>
{
    Arg1 operator()(const Arg1& x, const Arg2&) const
    {
        return x;
    }
};

template <class Arg1, class Arg2>
struct project2nd : public binary_function<Arg1, Arg2, Arg2>
{
    Arg2 operator()(const Arg1&, const Arg2& y) const
    {
        return y;
    }
};

转载于:https://www.cnblogs.com/chusiyong/p/11574279.html